Copertina

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

Mostra altre versioni (1)

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

Descrizione completa

Salvato in:
Dettagli Bibliografici
Autore principale: Farmer, William M. (Autore)
Ente Autore: SpringerLink (Online service)
Natura: Elettronico eBook
Lingua:inglese
Pubblicazione: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023.
Edizione:1st ed. 2023.
Serie:Computer Science Foundations and Applied Logic,
Soggetti:
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.
Accesso online:https://doi.org/10.1007/978-3-031-21112-6
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Sistema in manutenzione

Il sistema di gestione della nostra biblioteca in questo momento è in manutenzione.

Le informazioni sulla disponibilità delle copie non sono disponibili. Ci scusiamo per l'inconveniente. Per assistenza puoi contattarci:

library@juniv.edu

Accesso online

https://doi.org/10.1007/978-3-031-21112-6

Documenti analoghi