Mathematical logic and computation

"Every branch of mathematics has its subject matter, and one of the distinguishing features of logic is that so many of its fundamental objects of study are rooted in language. The subject deals with terms, expressions, formulas, theorems, and proofs. When we speak about these notions informall...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Avigad, Jeremy (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, New York, NY, Port Melbourne Cambridge University Press 2023
Schlagworte:	Logic, Symbolic and mathematical > Aussagenlogik > Sequenzenkalkül > Rekursionstheorie > Berechenbarkeit > Gödelscher Unvollständigkeitssatz > Typisierter Lambda-Kalkül > Arithmetik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!