A note on the ordinal analysis of KPM Wilfried Buchholz; On the geometry of U-rank 2 types Steven Buechler and Ludomir Newelski; Definability and global degree theory S. Barry Cooper; About the irreflexivity hypothesis for free left distributive magmas Patrick Dehornoy; On 1-complete filters Hans-Dieter Donder; Labelled deductive systems - a position paper D. M. Gabbay; Temporal expressive completeness in the presence of gaps D. M. Gabbay, I. M. Hodkinson and M. A. Reynolds; New foundations for mathematical theories Jaakko Hintikka; Absoluteness for projective sets Haim Judah; A division algorithm for the free left distributive algebra Richard Laver; Gentzen-type systems and resolution rule. Part II. Predicate logic Grigori Mints; An intuitionistic theory of lawlike, choice and lawless sequences Joan Rand Moschovakis; Sense and denotation as algorithm and value Yiannis N. Moschovakis; A transfinite version of Puiseux's theorem, with applications to real closed fields M. H. Mourgues and J.-P. Ressayre; On similarities of complete theories T. G. Mustafin; Decidability questions for theories of modules Françoise Point; On CH + 2aleph1 ( )22 for < 2 Saharon Shelah; On the structure of gamma degrees Alan P. Silver.
A note on the ordinal analysis of KPM Wilfried Buchholz; On the geometry of U-rank 2 types Steven Buechler and Ludomir Newelski; Definability and global degree theory S. Barry Cooper; About the irreflexivity hypothesis for free left distributive magmas Patrick Dehornoy; On 1-complete filters Hans-Dieter Donder; Labelled deductive systems - a position paper D. M. Gabbay; Temporal expressive completeness in the presence of gaps D. M. Gabbay, I. M. Hodkinson and M. A. Reynolds; New foundations for mathematical theories Jaakko Hintikka; Absoluteness for projective sets Haim Judah; A division algorithm for the free left distributive algebra Richard Laver; Gentzen-type systems and resolution rule. Part II. Predicate logic Grigori Mints; An intuitionistic theory of lawlike, choice and lawless sequences Joan Rand Moschovakis; Sense and denotation as algorithm and value Yiannis N. Moschovakis; A transfinite version of Puiseux's theorem, with applications to real closed fields M. H. Mourgues and J.-P. Ressayre; On similarities of complete theories T. G. Mustafin; Decidability questions for theories of modules Françoise Point; On CH + 2aleph1 ( )22 for < 2 Saharon Shelah; On the structure of gamma degrees Alan P. Silver.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
