Vor Ort
Merkzettel Warenkorb
Produktbild: Categorical Logic and Type Theory

Categorical Logic and Type Theory

Aus der Reihe Studies in Logic and the Foundations of Mathematics

123,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.05.2001

Verlag

Elsevier Science & Technology

Seitenzahl

780

Maße (L/B/H)

24,3/16,5/5,3 cm

Gewicht

1244 g

Sprache

Englisch

ISBN

978-0-444-50853-9

Beschreibung

Rezension

"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

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.05.2001

Verlag

Elsevier Science & Technology

Seitenzahl

780

Maße (L/B/H)

24,3/16,5/5,3 cm

Gewicht

1244 g

Sprache

Englisch

ISBN

978-0-444-50853-9

EU-Ansprechpartner

Kolibri 360 GmbH
Ettore-Bugatti-Straße 6-14
51149 Köln
DE
produktsicherheit@kolibri360.de

Herstelleradresse

Elsevier Science & Technology
125 London Wall
EC2Y 5AS London
GB
tradeorders@elsevier.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Categorical Logic and Type Theory

  • 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.