1972
Non-finite axiomatizability of the second order arithmetic
Publication
Publication
Bulletin de l'Académie Polonaise des Sciences p. 347- 348
Additional Metadata | |
---|---|
P.A.N. | |
Bulletin de l'Académie Polonaise des Sciences | |
Apt, K. (1972). Non-finite axiomatizability of the second order arithmetic. Bulletin de l'Académie Polonaise des Sciences, 347–348. |