| 000 | 00610naa a2200145Ia 4500 | ||
|---|---|---|---|
| 003 | ES-SlBCS | ||
| 005 | 20210601152615.0 | ||
| 008 | 140519s1969 xxu||||| |||| 00| 0 eng d | ||
| 041 | _aeng | ||
| 100 | 1 |
_aBüchi, J. Richard _9348625 |
|
| 245 | 0 | 0 |
_aOn a Decision Method in Restricted Second Order Arithmetic _cJ. Richard Büchi |
| 650 | 4 |
_aLógica Matemática _991957 |
|
| 773 | 0 |
_tLogic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski _dStanford, California : Stanford University, 1969 _g, págs. 1-12 _wVA27042 |
|
| 942 | _cAC | ||
| 999 |
_c777948 _d777948 |
||