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!
Beschreibung
Beschreibung:XII, 391 S.
ISBN:0792359046
0-7923-5904-6