Deducibility and decidability
Auteur :
Gill, R. R. Rockingham
Éditeur :
Taylor & Francis Ltd
ISBN :
9780415000338
Date de publication :
26 avr. 1990
Dimensions :
21,6 x 13,8 cm
Poids :
470 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
The works of Gödel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner.