Horror for Newbies

Categorical Logic and Type Theory (Volume 141) > Editions

by Bart Jacobs First published December 1st 1998

Sort by
Format
Language
Editions
Showing 1-8 of 8
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Published January 28th 1999 by Elsevier Science
First Edition, Hardcover, 778 pages
Author(s):
ISBN:
9780444501707 (ISBN10: 0444501703)
ASIN:
0444501703
Edition language:
English
Average rating:
4.64 (14 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Published May 24th 2001 by Elsevier Science
Reprint, Paperback, 778 pages
Author(s):
ISBN:
9780444508539 (ISBN10: 0444508538)
ASIN:
0444508538
Edition language:
English
Average rating:
4.75 (4 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Categorical Logic and Type Theory
Categorical Logic and Type Theory (Paperback)
Published May 31st 2011 by Elsevier Science
Paperback, 784 pages
Author(s):
ISBN:
9780444539427 (ISBN10: 0444539425)
ASIN:
0444539425
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
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) by B. Jacobs (2001-10-05)
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) by B. Jacobs (2001-10-05)
Published by Elsevier Science
Hardcover, 0 pages
Author(s):
ASIN:
B01K0UKK2W
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
Categorical Logic and Type Theory
Categorical Logic and Type Theory (Kindle Edition)
Published January 14th 1999 by Elsevier Science & Technology
Kindle Edition, 0 pages
Author(s):
ISBN:
9780080528700 (ISBN10: 0080528708)
ASIN:
0080528708
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
Categorical Logic and Type Theory, Volume v (Studies in Logic and the Foundations of Mathematics) Reprint edition by Jacobs, B. (2001) Hardcover
Categorical Logic and Type Theory, Volume v (Studies in Logic and the Foundations of Mathematics) Reprint edition by Jacobs, B. (2001) Hardcover
Published by Elsevier Science
Reprint, Hardcover, 0 pages
Author(s):
ASIN:
B010WFF6TC
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
[Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics)] [Author: Jacobs, B.] [October, 2001]
[Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics)] [Author: Jacobs, B.] [October, 2001]
Published by Elsevier Science
Paperback, 0 pages
Author(s):
ASIN:
B00FBZ5J8C
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
Categorical Logic and Type Theory
Categorical Logic and Type Theory (Kindle Edition)
Published May 1st 2001 by Elsevier Science & Technology
Kindle Edition, 780 pages
Author(s):
ISBN:
9780080929781 (ISBN10: 0080929788)
ASIN:
0080929788
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