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

Descripció completa

Dades bibliogràfiques

Autor principal:	Farmer, William M. (Autor)
Autor corporatiu:	SpringerLink (Online service)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cham : Springer International Publishing : Imprint: Birkhäuser, 2023.
Edició:	1st ed. 2023.
Col·lecció:	Computer Science Foundations and Applied Logic,
Matèries:	Computer science. Mathematical logic. Computational complexity. Reasoning. Set theory. Computer Science Logic and Foundations of Programming. Mathematical Logic and Foundations. Computational Complexity. Formal Reasoning. Set Theory.
Accés en línia:	https://doi.org/10.1007/978-3-031-21112-6
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!