Cantitate/Preț
Produs
Total produse
Vezi coșul
Categorical Logic and Type Theory de B. Jacobs

Categorical Logic and Type Theory: Studies in Logic and the Foundations of Mathematics, cartea 141

Autor B. Jacobs
en Limba Engleză Paperback – 9 mai 2001
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.
Citește tot Restrânge

Din seria Studies in Logic and the Foundations of Mathematics

Preț: 59036 lei

Preț vechi: 85588 lei
-31% Nou

Puncte Express: 886
Preț estimativ în valută:
11296€ • 11826$ • 9347£

Carte tipărită la comandă

Livrare economică 29 martie-12 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780444508539
ISBN-10: 0444508538
Pagini: 778
Dimensiuni: 156 x 234 x 39 mm
Greutate: 1.07 kg
Editura: ELSEVIER SCIENCE
Seria Studies in Logic and the Foundations of Mathematics

Cuprins

Chapter Headings only. Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.

Recenzii

"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.905R.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