Titre : SENTENCES UNDECIDABLE IN FORMALIZED ARITHMETIC. AN EXPOSITION OF THE THEORY OF KURT GOEDEL.


AMSTERDAM
NORTH-HOLLAND
1964
01 VOL.,125 P. : RF 25 ; 22 CM
(STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)


NLD .

Exemplaires

Powered by Koha

//]]>
LocalisationCoteSituation
Centre de recherche en informatique   EM AI CC0216