Categorical Logic and Type Theory

B. Jacobs (Autor)

Buch | Softcover

778 Seiten

2001
Elsevier Science Ltd (Verlag)
9780444508539 (ISBN)

Artikel merken

Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

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.

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.

Erscheint lt. Verlag	10.5.2001
Reihe/Serie	Studies in Logic and the Foundations of Mathematics
Verlagsort	Oxford
Sprache	englisch
Maße	156 x 234 mm
Gewicht	1200 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Geometrie / Topologie
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
	Naturwissenschaften
ISBN-13	9780444508539 / 9780444508539
Zustand	Neuware