Write to the booksellers4 books for « arnold e n burton j... »Edit
"Tous les reptiles et amphibiens d'Europe en couleur (Collection : ""Le multiguide nature"")"
Bordas. 1988. In-12. Relié. Etat d'usage, Couv. convenable, Dos satisfaisant, Intérieur frais. 271 pages augmentées de nombreuses illustrations en noir et blanc dans et hors texte. Quelques annotations au crayon dans le texte.. . . . Classification Dewey : 597.8-Amphibiens. Batraciens
"Illustrations de D.W. Ovenden. Collection : ""Le multiguide nature"" Classification Dewey : 597.8-Amphibiens. Batraciens"
TOUS LES REPTILES ET AMPHIBIENS D'EUROPE EN COULEURS.
ELSEVIER SEQUOIA. 1978. In-8. Relié. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 271 pages - Nombreuses photos et dessins en couleurs et en noir et blanc in et hors texte dont le 1er plat.. . . . Classification Dewey : 597.8-Amphibiens. Batraciens
Classification Dewey : 597.8-Amphibiens. Batraciens
LE MULTIGUIDE NATURE -TOUS LES REPTILES ET AMPHIBIENS D'EUROPE EN COULEURS.
ELSEVIER. 1978. In-8. Relié. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 271 pages augmentées de nombreux dessins en noir et blanc in texte et planches en couleurs.. . . . Classification Dewey : 597.8-Amphibiens. Batraciens
SOMMAIRE : la biologie des reptiles et des amphibiens - les reptiles, les amphibiens et l'homme - que faire en cas de morsure de serpent ? Les salamandres et les tritons - les grenouilles et les crapauds - les tortues terrestres, d'eau douce et marines - les lézards et les amphisbènes - les serpents - identification des oeufs d'amphibiens . Classification Dewey : 597.8-Amphibiens. Batraciens
Schmidt (H. Arnold), Schutte (K.) and Thiele (H.-J.), eds. - P.H.G. Aczel - W.W. Boone - W. Haken and V. Poenaru - W.K. Burton - H.B. Curry - J. Diller - W. Felscher - R. Harrop - L. Hodes and E. Speckler - H. Lauchli - W. Obserschelp - D. Prawitz and P.-E. Malmnas - D. Siefkes G. Takeuti and M. Yasugi - Alfred Tarski - A.S. Troelstra
Reference : Cyb-6273
(1968)
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
