Type Theory and Formal Proof > Editions
by Rob Nederpelt First published August 29th 2014
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)
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)
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)
Published
by cambridge university press; 1 edition (december 15, 2014)
Unknown Binding, 0 pages
Author(s):
ASIN:
B010TT4DHC
Average rating:
0.0
(0 ratings)
Published January 1st 1735
by Cambridge University Press
Hardcover
Author(s):
ASIN:
B01K2ORSY4
Average rating:
0.0
(0 ratings)
Published
by Cambridge University Press
1, Hardcover, 0 pages
Author(s):
ASIN:
B011DB1EAE
Edition language:
English
Average rating:
0.0
(0 ratings)
Published
by Cambridge University Press (December 15,2014)
Unknown Binding, 0 pages
Author(s):
ASIN:
B015X55C9K
Average rating:
0.0
(0 ratings)
Paperback, 0 pages
Author(s):
ASIN:
B01MA1KX70
Edition language:
English
Average rating:
0.0
(0 ratings)
