5 books for « troelstra s h »Edit

‎Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover, 1966 (Logique mathématique) , Studies in Logic and the Foundations of Mathematics (Saturated intuitionistic theories - Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - On recursively unsolvable problems in topology and their classification - Constructive thermodynamics - A deduction theorem for inferential predicate - Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - Equational maps - Some forms of models of proportional calculi - Lenghts of formulas and elimination of quantifiers I - A decision procedure for the weak second order theory of linear order - Strukturzahlen in endlichen Relationssystemen - A survey of some connections between classical intuitionistic and minimal logic - Zur Semantik der intuitionischen Aussagenlogik - Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - Reflection principles of subsystems of analysis -Equational logic and equational theories of algebras - The use of Brouwer's principle in intuitionistic topology)‎

‎North-Holland Publishing Company , Studies in Logic and the Foundations of Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1968 Book condition, Etat : Bon hardcover, editor's yellow printed binding, no dust-jacket grand In-8 1 vol. - 309 pages‎

‎ 1st edition, 1968 Contents, Chapitres : Contents, Preface, xi, Text, 298 pages - P.H.G. Aczel : Saturated intuitionistic theories - W.W. Boone : Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - W.W. Boone, W. Haken and V. Poenaru : On recursively unsolvable problems in topology and their classification - W.K. Burton : Constructive thermodynamics - H.B. Curry : A deduction theorem for inferential predicate - J. Diller : Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - W. Felscher : Equational maps - R. Harrop : Some forms of models of proportional calculi - L. Hodes and E. Speckler : Lenghts of formulas and elimination of quantifiers I - H. Lauchli : A decision procedure for the weak second order theory of linear order - W. Obserschelp : Strukturzahlen in endlichen Relationssystemen - D. Prawitz and P.-E. Malmnas : A survey of some connections between classical intuitionistic and minimal logic - K. Schütte : Zur Semantik der intuitionischen Aussagenlogik - D. Siefkes : Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - G. Takeuti and M. Yasugi : Reflection principles of subsystems of analysis - A. Tarski : Equational logic and equational theories of algebras - A.S. Troelstra : The use of Brouwer's principle in intuitionistic topology the editor's binding is fine but without dust-jacket, inside is good, adhesives tracks on the end-paper (first and last pages), the former owner had underlined very few lines at red ink with rules, on about 20 lines, the text remains clean, it's still a good copy in the first edition, 1968, no other markings‎

‎Choice Sequences: A Chapter of Instuitionistic Mathematics (Oxford Logic Guides)‎

‎Clarendon press 1977 in8. 1977. Cartonné jaquette.‎

4 Images

‎Bon état intérieur propre dos insolé avec sa jaquette‎

‎Geen enkel beeld - mystieke weg, deprojectie en individuatie bij San Juan de la Cruz‎

‎Assen/Amsterdam, Van Gorcum 1977 [vii +] 199pp.‎

‎Stof en methode der catechese in Nederland vóór de reformatie‎

‎Groningen, Wolters 1903 xii + 356pp., 24cm.‎

‎Fortunatus en zijn zonen. Een oud verhaal, naverteld door N. Van Hichtum.‎

‎.: 2. Amsterdam, Van Holkema & Warendorf, s.d. (1910), kleine in-4°, 20 x 16 cm, 199 pp, op iedere pagina geïllustreerd, ills. afgedrukt in lei-grijze kleur. Genaaid, originele stijve kaft. Onafgesneden exemplaar. Eerste en laatste bladzijden met enige roestvlekken. Omslag iets onfris.‎