William M. Farmer 
Simple Type Theory [PDF ebook] 
A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Ajutor

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-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church’s formulation of simple type theory known as Church’s type theory. Unlike traditional pre...

Citeste mai mult
€70.78
Metode de plata
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format PDF ● ISBN 9783031211126 ● Editura Springer International Publishing ● Publicat 2023 ● Descărcabil 3 ori ● Valută EUR ● ID 8806019 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

49.673 Ebooks din această categorie