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) - Softcover
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.
Buy New
View this item
US$ 118.43
US$ 12.85 shipping from Italy to U.S.A.
Destination, rates & speedsOther Popular Editions of the Same Title
Search results for Categorical Logic and Type Theory (Volume 141) (Studies...
Stock Image
CATEG LOGIC TYPE THEORY SL141F
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 1b18fa390a4af65ec74e2dfbd9cbf93e
Quantity: Over 20 available
Stock Image
Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics)
Published by
Elsevier Science 2001-10-05, 2001
ISBN 10: 0444508538
ISBN 13: 9780444508539
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-ELS-9780444508539
Quantity: Over 20 available
Stock Image
Categorical Logic and Type Theory
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 780 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5784735
Quantity: 3 available
Stock Image
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9780444508539
Quantity: 1 available
Seller Image
Categorical Logic and Type Theory
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1615196-n
Quantity: Over 20 available
Stock Image
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2215580211806
Quantity: Over 20 available
Stock Image
Categorical Logic and Type Theory
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 780. Seller Inventory # 263144512
Quantity: 3 available
Seller Image
Categorical Logic and Type Theory
Published by
Elsevier Science & Technology, Elsevier Science, 2001
ISBN 10: 0444508538
ISBN 13: 9780444508539
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Englisch. Seller Inventory # 9780444508539
Quantity: 2 available
Seller Image
Categorical Logic and Type Theory
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 1615196
Quantity: Over 20 available
Stock Image
Categorical Logic and Type Theory: Volume 141
Published by
Elsevier Science & Technology, 2001
ISBN 10: 0444508538
ISBN 13: 9780444508539
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 1260. Seller Inventory # B9780444508539
Quantity: Over 20 available