國立虎尾科技大學 |

登入

回首頁

Studies in weak arithmetics /

Cegielski, Patrick, (1954-)

Studies in weak arithmetics /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Studies in weak arithmetics // edited by Patrick Cegielski.
其他作者:	Cegielski, Patrick,
出版者:	Stanford, Calif. :CSLI Publications, : c2010.,
面頁冊數:	vii, 213 p. :ill. ; : 23 cm.;
標題:	Logic, Symbolic and mathematical. -
ISBN:	9781575866024 (pbk.) :

Studies in weak arithmetics /
Studies in weak arithmetics /edited by Patrick Cegielski. - Stanford, Calif. :CSLI Publications,c2010. - vii, 213 p. :ill. ;23 cm. - CSLI lecture notes ;no. 196. - CSLI lecture notes ;no. 196..

Includes bibliographical references.

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.

ISBN: 9781575866024 (pbk.) :NT1157

LCCN: 2009048021Subjects--Topical Terms:

527823
Logic, Symbolic and mathematical.

LC Class. No.: QA241 / .S824 2010

Dewey Class. No.: 512.7

Studies in weak arithmetics /
LDR:01394cam a2200217 a 4500 001 671348
005 20110629144345.0
008 110706s2010 caua b 000 0 eng
010 $a 2009048021
020 $a 9781575866024 (pbk.) : $c NT1157
020 $a 1575866021 (pbk.)
035 $a 2009048021
040 $a DLC $c DLC
041 0 # $a eng
050 0 0 $a QA241 $b .S824 2010
082 0 0 $a 512.7 $2 22
245 0 0 $a Studies in weak arithmetics / $c edited by Patrick Cegielski.
260 # $a Stanford, Calif. : $c c2010. $b CSLI Publications,
300 $a vii, 213 p. : $b ill. ; $c 23 cm.
490 1 $a CSLI lecture notes ; $v no. 196
504 $a Includes bibliographical references.
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 # 0 $a Logic, Symbolic and mathematical. $3 527823
650 # 0 $a Mathematics $x Philosophy. $3 575254
650 # 0 $a Number theory. $3 527883
700 1 # $a Cegielski, Patrick, $d 1954- $3 773456
830 0 $a CSLI lecture notes ; $v no. 196. $3 773457