Showing
1 - 1
results of
1
for search '
Nederpelt, Rob
'
Skip to content
Login
Menu
0
items
(Full)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Language
Inglés
Español
Francés
Galego
Search terms
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Search
Advanced
Author
Nederpelt, Rob
Skip recommendations
Showing
1 - 1
results of
1
for search '
Nederpelt, Rob
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Search Tools:
Suscríbete a esta búsqueda
1
Loading…
A Modern Perspective on Type Theory From its Origins until Today /
by
Kamareddine, F.D
,
Laan, T.
,
Nederpelt, Rob
Published 2005
Call Number:
Loading…
Located:
Loading…
Texto Completo
Electronic
eBook
QR Code
Related Subjects
Computer science-Mathematics
Logic
Mathematical Logic and Foundations
Mathematical logic
Mathematics of Computing
