TY  - BOOK
AU  - Cegielski,Patrick
TI  - Studies in weak arithmetics
PY  - 2010///
CY  - Stanford, Calif.
PB  - CSLI Publications
KW  - Number theory
KW  - Mathematics
KW  - Philosophy
KW  - Logic, Symbolic and mathematical
N1  - 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
ER  -