Introduction to Metalogic: With an Appendix on Type-Theoretical Extensional and Intensional Logic

✍ Scribed by Imre Ruzsa

Publisher: Áron publishers
Year: 1997
Tongue: English
Leaves: 189
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Introduction to Metalogic: With an Appen

📁 Introduction to Metalogic: With an Appendix on Type-Theoretical Extensional and Intensional Logic

✍ Imre Ruzsa 📂 Library 📅 1997 🏛 Áron Publishers, Hungary 🌐 English

Intensional Logic in Extensional Languag

📁 Intensional Logic in Extensional Language

📂 Fiction

Extensional Constructs in Intensional Ty

📁 Extensional Constructs in Intensional Type Theory

✍ Martin Hofmann PhD (auth.) 📂 Library 📅 1997 🏛 Springer-Verlag London 🌐 English

<p><B>Extensional Constructs in Intensional Type Theory</B> presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theorie

Intensional logic and the metaphysics of

📁 Intensional logic and the metaphysics of intentionality

✍ Edward N. Zalta 📂 Library 📅 1988 🏛 The MIT Press 🌐 English

Concerning Carnap's Definition of 'Exten

📁 Concerning Carnap's Definition of 'Extensional' and 'Intensional'

📂 Fiction

Intensional Logic

📁 Intensional Logic

📂 Fiction