Search the collection

Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 21
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 22
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 23
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 24
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 25
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 26
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 27
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 28
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 29
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 30
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
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 31
Books
Proceedings of the International Colloquium in the Philosophy of Science, London, 1965 / [organised jointly by the British Society for the Philosophy of Science and the London School of Economics and...
Author / Creator:International Colloquium in the Philosophy of Science (1965 : Bedford College)
Publisher:Amsterdam : North-Holland, 1967-1970.
Date:1967-1970.
Call Numbers:T0261942 , T0261941 , T0261943 , T0261944
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 32
Books
Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968. / Edited by A. Kino, J. Myhill and R. E. Vesley.
Author / Creator:Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
Publisher:Amsterdam : North-Holland Pub. Co., 1970.
Date:1970.
Call Numbers:T0255382
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 33
Books
Combinatory logic / by Haskell B. Curry [and] Robert Feys ; With two sections by William Craig.
Author / Creator:Curry, Haskell B. (Haskell Brooks), 1900-1982.
Publisher:Amsterdam : North-Holland Pub. Co., 1958-72.
Date:1958-72.
Call Numbers:T0066824 , T0066825
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 34
ebooks
A dictionary of logic / Thomas Macaulay Ferguson.
Author / Creator:Ferguson, Thomas Macaulay, author.
Publisher:[Oxford] : Oxford University Press, 2016.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 35
Books
Truth, possibility, and probability : new logical foundations of probability and statistical inference / Rolando Chuaqui.
Author / Creator:Chuaqui, R.
Publisher:Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1991.
Date:1991.
Call Numbers:T0392963
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 36
Books
Proceedings of the second Scandinavian logic symposium / Edited by J. E. Fenstad.
Author / Creator:Scandinavian Logic Symposium (2d : 1970 : University of Oslo)
Publisher:Amsterdam : North-Holland Pub. Co., 1971.
Date:1971.
Call Numbers:T0255499
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 37
Books
Logic, methodology and philosophy of science : proceedings of the 1964 International Congress [for Logic, Methodology and Philosophy of Science, held at the Hebrew University of Jerusalem, Israel, Aug...
Author / Creator:Bar-Hillel, Yehoshua,.
Publisher:Amsterdam : North-Holland, 1972.
Date:1972.
Call Numbers:T0255496
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 38
Books
Foundations of set theory / [By] Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey ;with the collaboration of Dirk van Dalen.
Author / Creator:Fraenkel, Abraham Adolf, 1891-1965.
Publisher:Amsterdam : Noord-Hollandsche U.M., 1973.
Edition:2nd rev. ed.
Date:1973.
Call Numbers:T0255497
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 39
Books
Topoi, the categorial analysis of logic / Robert Goldblatt.
Author / Creator:Goldblatt, Robert.
Publisher:Amsterdam ; New York ; North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1983.
Edition:Rev. ed.
Date:1983.
Call Numbers:T0392418
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 40
Books
Logical dilemmas : the life and work of Kurt Gödel / John W. Dawson, Jr.
Author / Creator:Dawson, John W. (John William), 1944-
Publisher:Wellesley, Mass. : A K Peters, c1997.
Call Numbers:N191/63
For use in the Library

Showing 21 to 40 of 317 results

Search the collection

Export record to excel

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

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

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

Axiomatic set theory / Paul Bernays ; with a historical introduction by 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

Abstract set theory / 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

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.

Export this record

Export record to excel

Proceedings of the International Colloquium in the Philosophy of Science, London, 1965 / [organised jointly by the British Society for the Philosophy of Science and the London School of Economics and...

Export this record

Export record to excel

Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968. / Edited by A. Kino, J. Myhill and R. E. Vesley.

Export this record

Export record to excel

Combinatory logic / by Haskell B. Curry [and] Robert Feys ; With two sections by William Craig.

Export this record

Export record to excel

A dictionary of logic / Thomas Macaulay Ferguson.

Export this record

Export record to excel

Truth, possibility, and probability : new logical foundations of probability and statistical inference / Rolando Chuaqui.

Export this record

Export record to excel

Proceedings of the second Scandinavian logic symposium / Edited by J. E. Fenstad.

Export this record

Export record to excel

Logic, methodology and philosophy of science : proceedings of the 1964 International Congress [for Logic, Methodology and Philosophy of Science, held at the Hebrew University of Jerusalem, Israel, Aug...

Export this record

Export record to excel

Foundations of set theory / [By] Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey ;with the collaboration of Dirk van Dalen.

Export this record

Export record to excel

Topoi, the categorial analysis of logic / Robert Goldblatt.

Export this record

Export record to excel

Logical dilemmas : the life and work of Kurt Gödel / John W. Dawson, Jr.

Refine your search