Matches in Library of Congress for { <http://lccn.loc.gov/2009048021> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2009048021 contributor B11450683.
- 2009048021 created "c2010.".
- 2009048021 date "2010".
- 2009048021 date "c2010.".
- 2009048021 dateCopyrighted "c2010.".
- 2009048021 description "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.".
- 2009048021 extent "p. cm.".
- 2009048021 identifier "1575866021 (alk. paper)".
- 2009048021 identifier "9781575866024 (alk. paper)".
- 2009048021 isPartOf "CSLI lecture notes ; no. 196".
- 2009048021 issued "2010".
- 2009048021 issued "c2010.".
- 2009048021 language "eng".
- 2009048021 publisher "Stanford, Calif. : CSLI Publications,".
- 2009048021 subject "512.7 22".
- 2009048021 subject "Logic, Symbolic and mathematical.".
- 2009048021 subject "Mathematics Philosophy.".
- 2009048021 subject "Number theory.".
- 2009048021 subject "QA241 .S824 2010".
- 2009048021 tableOfContents "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.".
- 2009048021 title "Studies in weak arithmetics / edited by Patrick Cegielski.".
- 2009048021 type "text".