𝔖 Bobbio Scriptorium

✦ LIBER ✦

Weak Second-Order Arithmetic and Finite Automataby J. Richard Büchi;On a Decision Method in Restricted second Order Arithmeticby J. Richard Buchi

✍ Scribed by Review by: Robert McNaughton

Book ID: 124963487
Publisher: Association for Symbolic Logic
Year: 1963
Tongue: English
Weight: 481 KB
Volume: 28
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2271342

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress Volume 44 || Symposium on Decision Problems: On a Decision Method in Restricted Second Order Arithmetic

✍ Richard Büchi, J. 📂 Article 📅 1966 🏛 Elsevier 🌐 English ⚖ 455 KB