Godel's theorems : a workbook on formalization
Huber-Dyson, Verena
Godel's theorems : a workbook on formalization - - Stuttgart B.G. Teubner Verlagsgesellschaft, 1991 - 292 p. 20 cm - .
3-8154-2023-710
Godel's theorem
517.1 Hub
Godel's theorems : a workbook on formalization - - Stuttgart B.G. Teubner Verlagsgesellschaft, 1991 - 292 p. 20 cm - .
3-8154-2023-710
Godel's theorem
517.1 Hub