Studies in weak arithmetics / Ed. by Patrick Cegielski.
Material type:
TextLanguage: English Series: CSLI lecture notes ; No. 196Publication details: Stanford, Calif. : CSLI Publications, 2010Description: vii, 213 pISBN: 1-57586-602-1 (alk. paper)Subject(s): Number theory | Mathematics -- Philosophy | Logic, Symbolic and mathematical| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | General | И II/114328 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0149196 |
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.
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.