|
|
||
|
|
|
MR125010
(23 #A2317)
02.72
Büchi, J. Richard Weak second-order arithmetic and finite automata. Z. Math. Logik Grundlagen Math. 6 1960 66–92. |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|