𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The ω-Consistency of Number Theory Via Herbrand's Theorem

✍ Scribed by W. D. Goldfarb and T. M. Scanlon


Book ID
124972920
Publisher
Association for Symbolic Logic
Year
1974
Tongue
English
Weight
597 KB
Volume
39
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


On the erdos-wintner theorem of probabil
✍ Harold N. Shapiro 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 452 KB

We would like to take this opportunity to express continuing respect and affection for our colleague, Harold Grad, on the occasion of his sixtieth birthday. Perhaps it is not inappropriate to apologize for the fact that this humble offering comes from the other side (the wrong side?) of the mathemat