Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems

Recursive functions and metamathematics problems of completeness and decidability, Gödel's theorems

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Murawski, Roman (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Dordrecht u.a. Kluwer Acad. Press 1999
Schriftenreihe:Synthese library 286
Schlagworte:
Recursieve functies > Theorema van Gödel > Decidability (Mathematical logic) > Gödel's theorem > Recursive functions > Entscheidbarkeit > Mathematische Logik > Rekursive Funktion > Gödelscher Unvollständigkeitssatz
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!