Patrick Cégielski - książki

	Studies in Weak Arithmetics, Volume 3: Volume 3 ISBN: 9781575869537 / Angielski / Miękka / 2017 / 256 str. ISBN: 9781575869537/Angielski/Miękka/2017/256 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) Patrick Cegielski; Ali Enayat; Roman Kossak The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. This third volume in the weak arithmetics collection contains nine substantive papers based on lectures delivered during the two last meetings of the conference series Journees sur les Arithmetiques, held in 2014 at the University of Gothenburg, Sweden, and in 2015 at the City University of New York Graduate Center. The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretica...

	cena: 153,09

	Conception de systèmes d'exploitation le cas Linux: Le cas Linux ISBN: 9782212114799 / Francuski / Miękka / 2004 / 700 str. ISBN: 9782212114799/Francuski/Miękka/2004/700 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Patrick Cegielski

	cena: 219,00

	Studies in Weak Arithmetics, Volume 1, 1 ISBN: 9781575866024 / Angielski / Miękka / 2009 / 221 str. ISBN: 9781575866024/Angielski/Miękka/2009/221 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) Patrick Cegielski The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. In this volume, after a general presentation of weak arithmetics, the following topics are studied: the properties of integers of a real closed field equipped with exponentiation; conservation results for the induction schema restricted to first-order formulas with a finite number of alternations of quantifiers; a survey on a class of tools called pebble games; the fact that the reals e and pi have approximations... The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoret...

	cena: 155,13

Kategorie główne