𝔖 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

No coin nor oath required. For personal study only.