Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems
pdf
- Author: Roman Murawski (auth.)
- Language: English
- Year: 1999
- Author: Dr.-Ing. Karl-Borries Bark (auth.)
- Language: German
- Year: 1999
- Author: James E. McGrath (Eds.)
- Language: English
- Year: 1985
- Author: Makoto Katsumori (auth.)
- Language: English
- Year: 2011