Liknande böcker

Automated Deduction in Geometry : 8th International Workshop, ADG 2010,...
Bok av Pascal. Schreck
Mathematische Grundlagen Der Ingenieurinformatik
Bok av Pahl
An introduction to non-classical logic
Bok av Graham Priest
Lectures on the Curry
Bok av Morten Heine Sorensen och Pawel Urzyczyn
Truthlikeness
Bok av Ilkka Niiniluoto
Dependence Logic: A New Approach to Independence Friendly Logic : a new...
Bok av J. Väänänen
A Course in Mathematical Logic
Bok av J. L. Bell
Combinatorial Algorithms
Bok av S. Arumugam

Logical Reasoning with Diagrams

Bok av Jon. Barwise