| 000 | 01477nam a2200241 a 4500 | ||
|---|---|---|---|
| 001 | 000722516 | ||
| 003 | AM-YeHGA | ||
| 005 | 20210831170111.0 | ||
| 008 | 100319s2010 ||| r 000 0 eng d | ||
| 020 | _z978-1-57586-602-4 (alk. paper) | ||
| 020 | _a1-57586-602-1 (alk. paper) | ||
| 040 |
_aAM-YeHGA _cAM-YeHGA |
||
| 041 | 0 | _aeng | |
| 245 | 0 | 0 |
_aStudies in weak arithmetics / _cEd. by Patrick Cegielski. |
| 260 |
_aStanford, Calif. : _bCSLI Publications, _c2010. |
||
| 300 | _avii, 213 p. | ||
| 440 | 0 |
_aCSLI lecture notes ; _vNo. 196 |
|
| 505 | 0 | _aOn the arithmetization of real fields with exponentiation / by Sedki Boughattas and Jean-Pierre Ressayre ; On conservation results for parameter-free N-induction / by A. Cordon-Rranco, A. Fernandez-Margarit, and F.F. Lara-Martin ; Pebble games for logics with counting and rank / by Anuj Dawar and Bjarki Holm ; Rudimentary of two famous reals / by Henri-Alex Esbelin ; Decision problems for recognizable languages of infinite pictures / by Olivier Finkel ; A total functional programming language computing APRA / by David Michel and Pierre Valarcher ; Statements of ill-founded infinity in set theory / by Eugenio Omodeo, Alberto Policriti, and Alexandru Tomescu ; On some matching problems in trace monoids / by Karine Shahbazyan and Yuri Shoukourian. | |
| 650 | 1 | 4 | _aNumber theory. |
| 650 | 1 | 4 |
_aMathematics _xPhilosophy. |
| 650 | 1 | 4 | _aLogic, Symbolic and mathematical. |
| 700 | 1 |
_aCegielski, Patrick, _d1954- _4edt |
|
| 999 |
_c268610 _d268610 |
||