Limit Search Results
Author
SpringerLink (Online service)
(79)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(100)
Mathematics.
(61)
Logic.
(30)
Logic, Symbolic and mathematical -- Congresses.
(21)
Computer science.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
282 Results Found Subscribe to search results
000000000000DEFAULT
Print
73. 
Cover image for Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
Author 
Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864765
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Author 
International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854230
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981
Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981
Author 
Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864178
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
Author 
L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands) Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966. Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864949
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Fundamentals of generalized recursion theory
Fundamentals of generalized recursion theory
Author 
Fitting, Melvin, 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444861719
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Author 
Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Set theory an introduction to independence proofs
Set theory an introduction to independence proofs
Author 
Kunen, Kenneth.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854018
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Author 
Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853455
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Word problems II the Oxford book
Word problems II the Oxford book
Author 
Adi͡an, S. I. Boone, W. W. (William W.) Higman, G. (Graham)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853431
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
Author 
Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853783
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Foundational studies selected works. Volume II
Foundational studies selected works. Volume II
Author 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851031
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Foundational studies selected works. Volume I
Foundational studies selected works. Volume I
Author 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851024
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action