-
1
Computability and logic
Chichester, West Sussex, England : New York : E. Horwood ; Halsted Press, 1987Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
2
Formale Logik
Freiburg : K. Alber, 1956Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
3
A systems view of man
Boulder, Colo. : Westview Press, 1981Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
4
Introduction to mathematical logic
Princeton, New Jersey : Princeton University Press, 1956Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
5
Gödel remembered : Salzburg 10-12 July 1983
Napoli [Naples] : Bibliopolis, 1987Format: Conference Proceeding Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
6
Between logic and intuition : essays in honor of Charles Parsons
Cambridge : Cambridge University Press, 2000Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
7
General lattice theory
Basel ; Boston : Birkhäuser Verlag, 1998
2nd ed. /Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
8
A course in mathematical logic
New York : Springer Verlag, 1977Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
9
Dictionary of logical terms and symbols
New York : Van Nostrand Reinhold, 1978Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
10
Handbook of logic and language
Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, 1997Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
11
Mathematical logic : a course with exercises
Oxford ; New York : Oxford University Press, 2000Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
12
Introduction to mathematical logic,
New York, Kraus Reprint Corp., 1965Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
13
Mathematical logic : applications and theory
Philadelphia : Saunders College Pub., 1990Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
14
Internal logic : foundations of mathematics from Kronecker to Hilbert
Dordrecht ; Boston : Kluwer Academic Publishers, 2002Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
15
Hyperproof
Stanford, Calif. : CSLI Publications, 1994Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
16
Methods of logic.
New York, Holt 1950Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
17
In the light of logic
New York : Oxford University Press, 1998Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
18
An introduction to symbolic logic
New York : Dover Publications, 1953
2nd ed. (rev.).Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
19
Set theory, logic, and their limitations
Cambridge ; New York : Cambridge University Press, 1996Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
20
Classical and nonclassical logics : an introduction to the mathematics of propositions
Princeton, N.J. : Princeton University Press, 2005Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>