Limit Search Results
Author
SpringerLink (Online service)
(72)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(98)
Mathematics.
(60)
Logic.
(29)
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
250 Results Found Subscribe to search results
000000000000DEFAULT
Print
73. 
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:
74. 
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:
75. 
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:
76. 
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:
77. 
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:
78. 
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:
79. 
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:
80. 
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:
81. 
Cover image for Algebra of proofs
Algebra of proofs
Author 
Szabo, M. E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422863
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
Author 
Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851789
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Generalized recursion theory II proceedings of the 1977 Oslo Symposium
Generalized recursion theory II proceedings of the 1977 Oslo Symposium
Author 
Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851635
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
Author 
Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action