-
1
How to prove it : a structured approach
Cambridge [England] ; New York : Cambridge University, 1994Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
2
The language of logic; a programed text
New York, Random House 1968Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
3
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:?> -
4
Essays in memory of Imre Lakatos
Dordrecht ; Boston : D. Reidel Pub. Co., 1976Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
5
Logical forms : an introduction to philosophical logic
Oxford, UK ; Cambridge, Mass. : B. Blackwell, 1991Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
6
Proceedings of the Second Scandinavian Logic Symposium
Amsterdam : North-Holland Pub. Co., 1971Format: Conference Proceeding Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
7
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:?> -
8
A mathematical introduction to logic
New York, Academic Press 1972Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
9
A profile of mathematical logic.
Reading, Mass., Addison-Wesley Pub. Co. 1970Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
10
-
11
The ways of paradox, and other essays
Cambridge, Massachusetts : Harvard University Press, 1976
Revised and enlarged edition.Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
12
Mathematical logic
New York : Springer-Verlag, 1994
2nd ed.Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
13
Elements of mathematical logic
New York : Macmillan 1964
[Second edition].Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
14
Mathematical logic: a first course
New York, W.A. Benjamin, 1969Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
15
Philosophical grammar : part I, the proposition, and its sense, part II, On logic and mathematics
Berkeley : University of California Press, 1974Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
16
Mathematical intuitionism : introduction to proof theory
Providence, R.I. : American Mathematical Society, 1988Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
17
The logic design of transistor digital computers
Englewood Cliffs, N.J., Prentice-Hall, 1963Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
18
Constructibility and mathematical existence
Oxford : New York : Clarendon Press ; Oxford University Press, 1990Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
19
Computability, complexity, logic
Amsterdam ; New York : New York, N.Y., U.S.A. North-Holland ; Distributors for the U.S.A. and Canada : Elsevier Science Pub. Co., 1989Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
20
Introduction to model theory and to the metamathematics of algebra
Amsterdam : North-Holland, 1965
2nd ed.Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>