It looks like you're offline.
Donate
♥
English (en)
العربية (ar)
Čeština (cs)
Deutsch (de)
English (en)
Español (es)
Français (fr)
हिंदी (hi)
Hrvatski (hr)
Italiano (it)
Português (pt)
Română (ro)
Sardu (sc)
తెలుగు (te)
Українська (uk)
中文 (zh)
Page Status
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
All
All
Title
Author
Text
Subject
Lists
Advanced
Log In
Sign Up
My Open Library
Log In
Sign Up
Browse
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Contribute
Add a Book
Recent Community Edits
Resources
Help & Support
Developer Center
Librarians Portal
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Last edited anonymously
April 29, 2008 |
History
Edit
Rob Nederpelt
2 works
Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Trending
Random
Details
Grid
— Show
only ebooks
?
Type Theory and Formal Proof: An Introduction
by
Rob Nederpelt
and
Herman Geuvers
First published in 2014
—
3 editions
Locate
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
My Reading Lists:
Create a new list
Create a new list
×
Close
Name:
Description:
Create new list
Cancel
Modern Perspective on Type Theory: From Its Origins until Today
by
F. D. Kamareddine
,
T. Laan
, and
Rob Nederpelt
First published in 2010
—
1 edition
Locate
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
My Reading Lists:
Create a new list
Subjects
Logic, symbolic and mathematical
,
COMPUTERS / Programming Languages / General
,
Type theory
Add to List
My Reading Lists:
Create a new list
ID Numbers
OLID: OL2945138A
Links
outside Open Library
No links yet.
Add one
?
Download catalog record:
RDF
/
JSON
Most Editions
