Sentences Undecidable in Formalized Arithmetic
Andrzej MostowskiCatégories:
Année:
1952
Editeur::
North-Holland Publishing Company
Langue:
english
Pages:
120
ISBN 10:
0720422205
ISBN 13:
9780720422207
Collection:
Studies in Logic and the Foundations of Mathematics 10
Fichier:
PDF, 4.48 MB
IPFS:
,
english, 1952