Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order lo...

Volledige beschrijving

Bibliografische gegevens

Hoofdauteur:	Farmer, William M. (Auteur)
Coauteur:	SpringerLink (Online service)
Formaat:	Elektronisch E-boek
Taal:	Engels
Gepubliceerd in:	Cham : Springer Nature Switzerland : Imprint: Birkhäuser, 2025.
Editie:	2nd ed. 2025.
Reeks:	Computer Science Foundations and Applied Logic,
Onderwerpen:	Computer science. Set theory. Mathematical logic. Computational complexity. Reasoning. Computer Science Logic and Foundations of Programming. Set Theory. Mathematical Logic and Foundations. Computational Complexity. Formal Reasoning.
Online toegang:	https://doi.org/10.1007/978-3-031-85352-4
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!