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 Academic Publ. 1999
Schriftenreihe:Synthese <Dordrecht> / Library 286
Schlagworte:
Recursive functions > Decidability (Mathematical logic) > Gödel's theorem > Decidability Mathematical logic > Gödelscher Unvollständigkeitssatz > Rekursive Funktion > Metamathematik
Online Zugang:Cover
Inhaltstext
Publisher description
Table of contents only
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:XII, 391 S
graph. Darst
ISBN:0792359046
0-7923-5904-6