Write to the booksellers8 books for « haken r »Edit
EPITYMBION ROMAN HAKEN.
Pragae, Soc. Arch. Bohemoslovenica, 1958.
144 p., 16 pls., portrait. Wrs. (Festschrift, to commemorate R. Haken, 1934-1958; 29 essays in German)
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
Cooperative Phenomena
Springer-Verlag - Springer Malicorne sur Sarthe, 72, Pays de la Loire, France 1973 Book condition, Etat : Très Bon hardcover, under dust-jacket grand In-8 1 vol. - 470 pages
86 figures 1st edition Contents, Chapitres : Preface, Foreword, Contents, xii, Text, 458 pages - Quasi-particles and their interactions - Superconductivity and superfluidity - Dielectric theory - Reduced density matrices - Phase transitions - Many-body effects - Synergetic systems - Biographical and scientific reminiscences fine copy
Eine Lebensbeschreibung nach Original Papieren.2 bde. zus. gebünden.
Leipzig, F. A. Brockhaus, 1824, in-8vo, XII + 346 + 223 S., frontispice, rousseurs éparses, Original-Broschüre.
(SLACES, NVVA)
Phone number : 41 (0)26 3223808
Unsere Lieben Dackel
Frankfurt, 1959, in-8, 67pp, Cartonnage éditeur illustré, Très bel exemplaire! 67pp
Der freche dackel haidjer aus der stierstrase neue geschichten von herrn schmidt und seinem dackel.
Gerhard Stalling. 1942. In-12. Cartonné. Etat d'usage, Tâchée, Dos satisfaisant, Papier jauni. 285 pages - ouvrage en allemand gothique - nombreux dessins en noir et blanc dans le texte.. . . . Classification Dewey : 430-Langues germaniques. Allemand
Ouvrage en allemand gothique. Classification Dewey : 430-Langues germaniques. Allemand
[COLLECTIF] Kenneth Appel, Wolfgang Haken, Emmanuel Halberstadt, Bernard Morin, Jean-Pierre Petit, E. Belaga, Bradley Efrom, Carl Morris, Gregory Chaitin, Reuben Hersch, Richard J. Griego, Nicholas Findler, Hans Berliner, Jérôme Feldman, Harry R. Lewis, Christos H. Papadimitriou, Larry Stockmeyer, Ashok Chandra, Martin Hellman, J.-M. Bouroche, G. Saporta.
Reference : 9285
LES PROGRES DES MATHEMATIQUES.
Paris, Belin (Pour la science), 1981. In-4, cartonnage illustré.
[9285]
