Limit Search Results
Author
SpringerLink (Online service)
(48)
Gabbay, Dov M. author.
(4)
Schlechta, Karl. author.
(4)
Carnielli, Walter. author.
(2)
Gupta, Amitabha. editor.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
50 Results Found Subscribe to search results
00DEFAULT
Print
49. 
Cover image for A Modern Perspective on Type Theory From its Origins until Today
A Modern Perspective on Type Theory From its Origins until Today
Author 
Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2335-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Sembolik mantık el kitabı
Sembolik mantık el kitabı
Author 
Grünberg, Teo.
Preferred Shelf Number 
BC 135 G969 2000 V.2
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
Select an Action