-
1
What is mathematical logic?
London ; New York : Oxford University Press, 1972Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
2
An algebraic introduction to mathematical logic
New York : Springer-Verlag, 1975Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
3
Recursive functions.
New York, Academic Press, 1967
3d, rev. ed.Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
4
An introduction to modal logic : the Lemmon notes
Oxford : B. Blackwell, 1977Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
5
Forever undecided : a puzzle guide to Gödel
New York, N.Y. : Knopf, 1987
1st ed.Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
6
Foundations of constructive analysis.
New York, McGraw-Hill 1967Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
7
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
Urbana, Ill. : Natick, Mass. : Association for Symbolic Logic ; A K Peters, 2002Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
8
Recursion theory for metamathematics
New York : Oxford University Press, 1993Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
9
Theory of sets
New York : Dover Publications, 1950
1st American ed.Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
10
Proceedings of the Tarski Symposium.
Providence, Published for the Association for Symbolic Logic by American Mathematical Society, 1974Format: Conference Proceeding Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
11
Parts and places : the structures of spatial representation
Cambridge, Mass. : MIT Press, 1999Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
12
First course in mathematical logic
New York, Blaisdell Pub. Co. 1964
[1st ed.].Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
13
Collective rationality : equilibrium in cooperative games
Oxford ; New York : Oxford University Press, 2010Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
14
On numbers and games
London ; New York : Academic Press, 1976Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
15
Extension theory
Providence, R.I. : [Place of publication not identified] : American Mathematical Society ; London Mathematical Society, 2000Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
16
The best of all possible worlds : mathematics and destiny
Chicago : University of Chicago Press, 2006Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
17
Foundations of set theory.
Amsterdam, Noord-Hollandsche U.M., 1973
2d rev. ed.Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
18
From the calculus to set theory, 1630-1910 : an introductory history
London : Duckworth, 1980Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
19
The advent of the algorithm : the idea that rules the world
New York : Harcourt, 2000
First edition.Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
20
The theory of sets and transfinite arithmetic.
Philadelphia, Saunders, 1965Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>