Search the collection

Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 1
Journals
Reports on mathematical logic.
Publisher:Warsaw, Polish Scientific Publishers, 1973-
Date:1973-
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 2
Books
Mathematical logic / by R.L. Goodstein.
Author / Creator:Goodstein, R. L. (Reuben Louis)
Publisher:[Leicester, England] : Leicester University Press, 1957.
Date:1957.
Call Numbers:T0066828
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 3
Books
Mathematical logic / Stephen Cole Kleene.
Author / Creator:Kleene, Stephen Cole.
Publisher:New York : Wiley, 1967.
Date:1967.
Call Numbers:T0254667
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 4
Books
Mathematical logic / by William Van Orman Quine.
Author / Creator:Quine, W. V. (Willard Van Orman)
Publisher:New York : W.W. Norton, 1940.
Date:1940.
Call Numbers:T0066827
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 5
Books
Introduction to mathematical logic / by Alonzo Church.
Author / Creator:Church, Alonzo, 1903-
Publisher:Princeton : Princeton University Press, 1956-
Date:1956-
Call Numbers:T0067061
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 6
Books
A survey of mathematical logic / Hao Wang.
Author / Creator:Wang, Hao, 1921-
Publisher:Peking : Science Press, [1962]
Date:[1962]
Call Numbers:T0167388 , T0167476 , T0167475
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 7
Books
Foundations of mathematical logic / Haskell B. Curry.
Author / Creator:Curry, Haskell B. (Haskell Brooks), 1900-1982.
Publisher:New York : McGraw-Hill, 1963.
Date:1963.
Call Numbers:T0167508
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 8
Books
Development of mathematical logic / by R. L. Goodstein.
Author / Creator:Goodstein, R. L. (Reuben Louis)
Publisher:London : Logos Press, 1971.
Date:1971.
Call Numbers:T0255372 , T0255471
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 9
Books
The development of mathematical logic / P. H. Nidditch.
Author / Creator:Nidditch, P. H.
Publisher:London : Routledge and K. Paul, 1962.
Date:1962.
Call Numbers:T0167469
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 10
Books
Mathematical logic and Hilbert's & symbol / [by] A. C. Leisenring.
Author / Creator:Leisenring, A. C.
Publisher:London : Macdonald Technical & Scientific, 1969.
Date:1969.
Call Numbers:T0167500
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 11
Books
Handbook of mathematical logic / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].
Publisher:Amsterdam ; New York : North-Holland Pub. Co., 1977.
Date:1977.
Call Numbers:T0255458
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 12
Books
What is mathematical logic? / J. N. Crossley, C. J. Ash, C. J. Brickhill, [et al.].
Author / Creator:Crossley, John N.
Publisher:London : Oxford University Press, 1972.
Date:1972.
Call Numbers:164/1
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 13
Books
Algebraic methods of mathematical logic / Ladislav Rieger ;translated by Michael Basch.
Author / Creator:Rieger, Ladislav, 1916-1963.
Publisher:Prague : Academia ; New York : Academic Press, 1967.
Date:1967.
Call Numbers:T0167504
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 14
Books
Dictionary of symbols of mathematical logic / edited by Robert Feys and Frederic B. Fitch.
Publisher:Amsterdam : North-Holland Pub. Co., 1969.
Date:1969.
Call Numbers:T0168146
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 15
Books
History of mathematical logic from Leibniz to Peano / [by] N. I. Styazhkin.
Author / Creator:Sti͡azhkin, N. I.
Publisher:Cambridge, Mass. : M.I.T. Press, [c1969]
Date:[c1969]
Call Numbers:T0167499 , T0167387
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 16
Books
Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 / Ed....
Author / Creator:International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem, Israel)
Publisher:Amsterdam : North-Holland Pub. Co., 1970.
Date:1970.
Call Numbers:T0255388
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 17
Books
The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning.
Author / Creator:Boole, George, 1815-1864.
Publisher:New York : Barnes & Noble, 1965.
Date:1965.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 18
Books
Foundations of logic and mathematics / Rudolf Carnap.
Author / Creator:Carnap, Rudolf, 1891-1970.
Publisher:Chicago, Ill. : University of Chicago Press, c1939.
Call Numbers:T0021068.
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 19
Books
Basic concepts of mathematics and logic / Michael C. Gemignani.
Author / Creator:Gemignani, Michael C.
Publisher:Reading, Mass. : Addison-Wesley Pub. Co., [1968]
Date:[1968]
Call Numbers:T0254751
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 20
Books
Multipladds : exercises in mathematical logic, book 1 / [by Ken Montgomery].
Author / Creator:Montgomery, Ken.
Publisher:Nunawading, Vic. : K. Montgomery, 1978, c1977.
Date:1978, c1977.
Call Numbers:511.3/5
For use in the Library

Showing 1 to 20 of 479 results

Export record to excel

Export this record

Export record to excel

Reports on mathematical logic.

Export this record

Export record to excel

Mathematical logic / by R.L. Goodstein.

Export this record

Export record to excel

Mathematical logic / Stephen Cole Kleene.

Export this record

Export record to excel

Mathematical logic / by William Van Orman Quine.

Export this record

Export record to excel

Introduction to mathematical logic / by Alonzo Church.

Export this record

Export record to excel

A survey of mathematical logic / Hao Wang.

Export this record

Export record to excel

Foundations of mathematical logic / Haskell B. Curry.

Export this record

Export record to excel

Development of mathematical logic / by R. L. Goodstein.

Export this record

Export record to excel

The development of mathematical logic / P. H. Nidditch.

Export this record

Export record to excel

Mathematical logic and Hilbert's & symbol / [by] A. C. Leisenring.

Export this record

Export record to excel

Handbook of mathematical logic / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].

Export this record

Export record to excel

What is mathematical logic? / J. N. Crossley, C. J. Ash, C. J. Brickhill, [et al.].

Export this record

Export record to excel

Algebraic methods of mathematical logic / Ladislav Rieger ;translated by Michael Basch.

Export this record

Export record to excel

Dictionary of symbols of mathematical logic / edited by Robert Feys and Frederic B. Fitch.

Export this record

Export record to excel

History of mathematical logic from Leibniz to Peano / [by] N. I. Styazhkin.

Export this record

Export record to excel

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 / Ed....

Export this record

Export record to excel

The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning.

Export this record

Export record to excel

Foundations of logic and mathematics / Rudolf Carnap.

Export this record

Export record to excel

Basic concepts of mathematics and logic / Michael C. Gemignani.

Export this record

Export record to excel

Multipladds : exercises in mathematical logic, book 1 / [by Ken Montgomery].

Refine your search