๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Old John Neptune and Other Maine Indian Shamans

โœ Scribed by F. G. Speck


Book ID
111798483
Publisher
American Anthropological Association
Year
1947
Tongue
English
Weight
315 KB
Volume
49
Category
Article
ISSN
0002-7294

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Other Proofs of Old Results
โœ Henryk Kotlarski ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 375 KB

We transform the proof of the second incompleteness theorem given in [3] to a proof-theoretic version, avoiding the use of the arithmetized completeness theorem. We give also new proofs of old results: T h e Arithmetical Hierarchy Theorem and Tarski's Theorem on undefinability of truth; the proofs i