Items related to Categorical Logic and Type Theory (Volume 141) (Studies...
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141) - Hardcover
Synopsis
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
"synopsis" may belong to another edition of this title.
Review
...The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items...
Zentralblatt für Mathematik, vol.905
R.A.G. Seely
This book will be the standard reference in its field for some time to come.
The Bulletin of Symbolic Logic, Vol. 6
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Categorical Logic and Type Theory (Volume 141) (Studies...
Stock Image
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
Published by
Elsevier Science, Elsevier Science, 1999
ISBN 10: 0444501703
ISBN 13: 9780444501707
Used
Hardcover
Seller: Cloud Runner Books, Minneapolis, MN, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Dust Jacket Condition: None. Very Good. Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) by B. Jacobs. Elsevier Science, 1999. 760pp. Language: English. Note: Ex library book with the usual stamps, stickers, and marks. Seller Inventory # 00008059
Quantity: 1 available