Search the collection

Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 1
Books
Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964 / Andrzej Mostowski.
Author / Creator:Mostowski, Andrzej.
Publisher:Oxford : Blackwell, 1966.
Date:1966.
Call Numbers:T0167524
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 2
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 3
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 4
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 5
Books
The foundations of mathematics : a study in the philosophy of science / Evert W. Beth.
Author / Creator:Beth, Evert Willem.
Publisher:Amsterdam : North-Holland, 1959.
Date:1959.
Call Numbers:T0255160
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
Jan Lukasiewicz : selected works / edited by L. Borkowski.
Author / Creator:Łukasiewicz, Jan.
Publisher:Amsterdam ; London : North-Holland ; Warsaw : Polish scientific publishers, 1970.
Date:1970.
Call Numbers:T0257025
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
Constructive order types. / [By] John N. Crossley.
Author / Creator:Crossley, John N.
Publisher:Amsterdam ; London : North-Holland Pub. Co., 1969.
Date:1969.
Call Numbers:T0167498
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
The collected papers of Gerhard Gentzen / Edited by M.E. Szabo.
Author / Creator:Gentzen, Gerhard.
Publisher:Amsterdam : North-Holland Pub. Co., 1969.
Date:1969.
Call Numbers:T0168045
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
Intuitionism : an introduction. / [by] A. Heyting.
Author / Creator:Heyting, A. (Arend), 1898-
Publisher:Amsterdam : North-Holland Pub. Co., 1956.
Date:1956.
Call Numbers:T0020946
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
Foundations of set theory / by Abraham A. Fraenkel and Yehoshua Bar-Hillel.
Author / Creator:Fraenkel, Abraham Adolf, 1891-1965.
Publisher:Amsterdam : North-Holland Pub. Co., 1958.
Date:1958.
Call Numbers:T0021012
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
Intuitionistic logic, model theory and forcing / Melvin Fitting.
Author / Creator:Fitting, Melvin, 1942-
Publisher:Amsterdam : North-Holland Pub. Co., 1969.
Date:1969.
Call Numbers:T0167525
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
Toward a systematic pragmatics.
Author / Creator:Martin, R. M. (Richard Milton), 1916-
Publisher:Amsterdam, North-Holland Pub. Co., 1959.
Date:1959.
Call Numbers:T0067057
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
Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967 / edited by B. Van Rootselaar and J...
Author / Creator:International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands)
Publisher:Amsterdam : North-Holland Pub. Co., 1968.
Date:1968.
Call Numbers:T0167497
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
Aristotle's modal syllogisms / Storrs McCall.
Author / Creator:McCall, Storrs.
Publisher:Amsterdam : North-Holland, 1963.
Date:1963.
Call Numbers:T0168150
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
The theory of models : proceedings / edited by J. W. Addison, Leon Henkin [and] Alfred Tarski.
Author / Creator:International Symposium on the Theory of Models (1963 : Berkeley, Calif.)
Publisher:Amsterdam : North-Holland Pub. Co., 1965.
Date:1965.
Call Numbers:T0167493
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
Axiomatic set theory / Paul Bernays ; with a historical introduction by Abraham A. Fraenkel.
Author / Creator:Bernays, Paul, 1888-
Publisher:Amsterdam : North-Holland, 1958.
Date:1958.
Call Numbers:T0023704
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
Lincos : design of a language for cosmic intercourse. Part 1 / Hans Freudenthal.
Author / Creator:Freudenthal, Hans, 1905-
Publisher:Amsterdam : North-Holland Pub. Co., 1960.
Date:1960.
Call Numbers:T0248351
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 18
Books
Abstract set theory / Abraham A. Fraenkel.
Author / Creator:Fraenkel, Abraham Adolf, 1891-1965.
Publisher:Amsterdam : North-Holland Pub. Co., 1961.
Edition:2nd completely rev. ed.
Date:1961.
Call Numbers:T0256296
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
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 20
Books
Logic Colloquium '69 : proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969 / edited by R. O. Gandy and C. M. E. [sic] Yates.
Author / Creator:Summer School and Colloquium in Mathematical Logic (1969 : Manchester, England)
Publisher:Amsterdam : North-Holland, 1971.
Date:1971.
Call Numbers:T0167523
For use in the Library

Showing 1 to 20 of 317 results

Search the collection

Export record to excel

Export this record

Export record to excel

Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964 / Andrzej Mostowski.

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

A survey of mathematical logic / Hao Wang.

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

The foundations of mathematics : a study in the philosophy of science / Evert W. Beth.

Export this record

Export record to excel

Jan Lukasiewicz : selected works / edited by L. Borkowski.

Export this record

Export record to excel

Constructive order types. / [By] John N. Crossley.

Export this record

Export record to excel

The collected papers of Gerhard Gentzen / Edited by M.E. Szabo.

Export this record

Export record to excel

Intuitionism : an introduction. / [by] A. Heyting.

Export this record

Export record to excel

Foundations of set theory / by Abraham A. Fraenkel and Yehoshua Bar-Hillel.

Export this record

Export record to excel

Intuitionistic logic, model theory and forcing / Melvin Fitting.

Export this record

Export record to excel

Toward a systematic pragmatics.

Export this record

Export record to excel

Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967 / edited by B. Van Rootselaar and J...

Export this record

Export record to excel

Aristotle's modal syllogisms / Storrs McCall.

Export this record

Export record to excel

The theory of models : proceedings / edited by J. W. Addison, Leon Henkin [and] Alfred Tarski.

Export this record

Export record to excel

Axiomatic set theory / Paul Bernays ; with a historical introduction by Abraham A. Fraenkel.

Export this record

Export record to excel

Lincos : design of a language for cosmic intercourse. Part 1 / Hans Freudenthal.

Export this record

Export record to excel

Abstract set theory / Abraham A. Fraenkel.

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

Logic Colloquium '69 : proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969 / edited by R. O. Gandy and C. M. E. [sic] Yates.

Refine your search