Deducibility and decidability
Auteur :
Gill, R. R. Rockingham
Éditeur :
Taylor & Francis Ltd
ISBN :
9780415754965
Date de publication :
24 avr. 2014
Dimensions :
21,6 x 13,8 cm
Poids :
204 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.