Բեռնվում է…
Studies in weak arithmetics /
Պահպանված է:
| Այլ հեղինակներ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
Stanford, Calif. :
CSLI Publications,
2010.
|
| Շարք: | CSLI lecture notes ;
No. 196 |
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| LEADER | 01523nam a2200253 a 4500 | ||
|---|---|---|---|
| 001 | 000722516 | ||
| 003 | AM-YeHGA | ||
| 005 | 20210831170111.0 | ||
| 008 | 100319s2010 ||| r 000 0 eng d | ||
| 020 | |z 978-1-57586-602-4 (alk. paper) | ||
| 020 | |a 1-57586-602-1 (alk. paper) | ||
| 040 | |a AM-YEHGA |c AM-YeHGA | ||
| 041 | 0 | |a eng | |
| 245 | 0 | 0 | |a Studies in weak arithmetics / |c Ed. by Patrick Cegielski. |
| 260 | |a Stanford, Calif. : |b CSLI Publications, |c 2010. | ||
| 300 | |a vii, 213 p. | ||
| 440 | 0 | |a CSLI lecture notes ; |v No. 196 | |
| 505 | 0 | |a On 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 | |a Number theory. |
| 650 | 1 | 4 | |a Mathematics |x Philosophy. |
| 650 | 1 | 4 | |a Logic, Symbolic and mathematical. |
| 700 | 1 | |a Cegielski, Patrick, |d 1954- |4 edt | |
| 999 | |c 268610 | ||
| 952 | |g 2000.00 |j 127 |o И II/114328 |p FL0149196 | ||