‎"WRIGHT, GEORG HENRIK von.‎
‎Logical Studies.‎

‎Trendelenburg A. The logical studies of Adolf Trendelenburg. In two parts. Part‎

‎Trendelenburg A. The logical studies of Adolf Trendelenburg. In two parts. Part one. In Russian (ask us if in doubt)/Trendelenburg A. Logicheskie issledovaniya Adolfa Trendelenburga. V 2-kh chastyakh. Chast pervaya.. Peter E. Korsha. M. K. T. Soldatenkova. 1868. XII 361 2 p. SKUalb956b3e0d3dfba756.‎

‎Trendelenburg A. Adolf Trendelenburg's logical studies. In two parts. In Russian‎

‎Trendelenburg A. Adolf Trendelenburg's logical studies. In two parts. In Russian (ask us if in doubt)/Trendelenburg A. Logicheskie issledovaniya Adol'fa Trendelenburga. V dvukh chastyakh. Short description: In Russian (ask us if in doubt).Translation by E. Korsh. Edition by K. Soldatenkov M.: Grachev and Co. 1868. XII 361 + 4 352s. We have thousands of titles and often several copies of each title may be available. Please feel free to contact us for a detailed description of the copies available. SKUalbe2903c52da403d00‎

‎Trendelburg A. The logical studies of Adolf Trendelburg. In 2 parts. Complete se‎

‎Trendelburg A. The logical studies of Adolf Trendelburg. In 2 parts. Complete set. In Russian (ask us if in doubt)/Trendelburg A. Logicheskie issledovaniya Adolfa Trendelburga. V 2-kh chastyakh. Polnyy komplekt.Translation by E. Krosh. M. Grachev and K. Editions by Soldatenkov. 1868. 362s. We have thousands of titles and often several copies of each title may be available. Please feel free to contact us for a detailed description of the copies available. SKUalb4e0f2865f3ff651d‎

‎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‎