Be Charmed by These Bewitching Books from 2025

Type Theory and Formal Proof > Editions

by Rob Nederpelt First published August 29th 2014

Sort by
Format
Language
Editions
Showing 1-8 of 8
Type Theory and Formal Proof: An Introduction
Type Theory and Formal Proof: An Introduction (Hardcover)
Published December 15th 2014 by Cambridge University Press
1, Hardcover, 466 pages
Author(s):
ISBN:
9781107036505 (ISBN10: 110703650X)
ASIN:
110703650X
Edition language:
English
Average rating:
4.68 (19 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Type Theory and Formal Proof: An Introduction
Type Theory and Formal Proof: An Introduction (Kindle Edition)
Published November 6th 2014 by Cambridge University Press
1, Kindle Edition, 713 pages
Author(s):
ISBN:
9781316051610 (ISBN10: 1316051617)
ASIN:
B00LB6BGDM
Edition language:
English
Average rating:
4.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Type Theory and Formal Proof: An Introduction
Type Theory and Formal Proof: An Introduction (Kindle Edition)
Published November 5th 2014 by Cambridge University Press
Kindle Edition, 490 pages
Author(s):
ISBN:
9781316056349 (ISBN10: 1316056341)
ASIN:
1316056341
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Type Theory and Formal Proof: An Introduction Hardcover December 15, 2014
Type Theory and Formal Proof: An Introduction Hardcover December 15, 2014 (Unknown Binding)
Published by cambridge university press; 1 edition (december 15, 2014)
Unknown Binding, 0 pages
Author(s):
ASIN:
B010TT4DHC
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Type Theory and Formal Proof: An Introduction by Rob Nederpelt (2014-12-15)
Type Theory and Formal Proof: An Introduction by Rob Nederpelt (2014-12-15)
Published January 1st 1735 by Cambridge University Press
Hardcover
Author(s):
ASIN:
B01K2ORSY4
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Type Theory and Formal Proof: An Introduction 1st edition by Nederpelt, Professor Rob, Geuvers, Professor Herman (2014) Hardcover
Type Theory and Formal Proof: An Introduction 1st edition by Nederpelt, Professor Rob, Geuvers, Professor Herman (2014) Hardcover
Published by Cambridge University Press
1, Hardcover, 0 pages
Author(s):
ASIN:
B011DB1EAE
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Type Theory and Formal Proof: An Introduction by Rob Nederpelt (December 15,2014)
Type Theory and Formal Proof: An Introduction by Rob Nederpelt (December 15,2014)
Published by Cambridge University Press (December 15,2014)
Unknown Binding, 0 pages
Author(s):
ASIN:
B015X55C9K
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Type Theory and Formal Proof: An Introduction
Type Theory and Formal Proof: An Introduction (Paperback)
Paperback, 0 pages
Author(s):
ASIN:
B01MA1KX70
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page