Limit Search Results
Author
Language
Subject
Material Type
Library
44 Results Found Subscribe to search results
00000000000000000000000000000000000000000000DEFAULT
Print
Author 
Takeuti, Gaisi, 1926-
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Negri, Sara. von Plato, Jan. Ranta, Aarne.
Preferred Shelf Number 
ONLINE
Electronic Access 
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Buss, Samuel R.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Rademaker, Alexandre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bimbo, Katalin, 1963- author.
Preferred Shelf Number 
ONLINE(356904.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Pohlers, Wolfram. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Akiyama, Jin. author. Kano, Mikio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Kohlenbach, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Supowit, Kenneth J. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520324.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521139.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521127.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521191.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521295.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518985.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519040.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519146.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Berkovitz, Leonard David, 1924- Medhin, Negash G.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Verstegen, Ian.
Preferred Shelf Number 
ONLINE
Electronic Access 
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Reiter, Edna E. (Edna Elizabeth) Johnson, Clayton Matthew.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Cupillari, Antonella. ScienceDirect (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Waldhausen, Friedhelm, 1938- Jahren, Bjørn, 1945- Rognes, John.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Landini, Gregory. Palgrave Connect (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Chemla, Karine.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Krantz, Steven G. (Steven George), 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Gibilisco, Stan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Negri, Sara. von Plato, Jan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Lerman, Manuel.
Preferred Shelf Number 
ONLINE
Electronic Access 
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Cook, Stephen. Nguyen, Phuong.
Preferred Shelf Number 
ONLINE
Electronic Access 
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.
Preferred Shelf Number 
ONLINE
Electronic Access 
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Rossi, Richard J., 1956-
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Sørensen, Morten Heine. Urzyczyn, Paweł.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Azzouni, Jody.
Preferred Shelf Number 
ONLINE
Electronic Access 
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Cupillari, Antonella.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Preferred Shelf Number 
ONLINE
Electronic Access 
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Rodgers, Nancy, 1941-
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Szabo, M. E.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Craig, William, 1918-
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies: