7 574 résultats
1970réf. 51903The Hague, Martinus Nijhoff, 1970. A Study of the Plato and Platonici Texts in the Writings of Saint Thomas XXIII, 487 S. (25 cm) Leinen / gebundene Ausgabe
réf. 1391498283.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
réf. 1391563018.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
réf. 0428450768.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
réf. 0428022189.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1953réf. R103952Romae (Rome), Pontificia Universitas Urbaniana de Propaganda Fide 1953 xi + 137pp., 25cm., softcover, text in Latin, stamp at verso of title page, Academic dissertation (Thesis ad lauream in sacra theologia assequendam venerabili facultati theologiae porrecta), good condition, R103952
1951réf. 32889Paris Payot 1951 In-8 Bibliothèque Historique - Traduction et Avant-Propos de Théo varlet
réf. ria9783319421193_inpHardcover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarra hardcover
réf. ria9783319825021_inpPaperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarra paperback
2017réf. 67391Springer 2017. Hardcover. Very Good. 24 x 16.5 cm. Octavo. 315pp. Bound in glossy yellow boards. Top corner is bumped. Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by Gödel's incompleteness results especially the second one about the unprovability of consistency of elementary arithmetic. After these successes Gentzen dedicated the rest of his short life to the main problem of Hilbert's proof theory the question of the consistency of analysis. He was arrested in the summer of 1945 with other professors of the German University of Prague and died soon afterward of starvation in a prison cell. Attempts at locating his lost manuscripts failed at the time but several decades later two slim folders of shorthand notes were found. In this volume Jan von Plato gives an overview of Gentzen's life and scientific achievements based on detailed archival and systematic studies and essential for placing the translations of shorthand manuscripts that follow in the right setting. The materials in this book are singular in the way they show the birth and development of Gentzen's central ideas and results sometimes in a well-developed form and other times as flashes into the anatomy of the workings of a unique mind. Springer hardcover
2017réf. x-3319421190Springer Verlag 2017. Hardcover. New. 328 pages. 9.50x6.50x1.25 inches. Springer Verlag hardcover
1966réf. 15971CBFrankfurt, Suhrkamp, 1966. Oktav. 144 Seiten. Original kartoniertes Leinen mit Schutzumschlag. Die Versandkosten für Kunstwerke und mehrbändige Werke können von den Standard-Versandkosten abweichen. Umschlag mit Knickspuren, zahlreiche Anstreichungen des Philosophen Hans Joachim Krämer.
1999réf. 1242213Amsterdam ; Atlanta, GA : Rodopi, 1999. 148 S. ; 22 cm kart.
2004réf. 6043538Hamburg, Meiner 2004. 8°. ca. 3000 pp. Original Leinwand. Grünes Leinen. Tadellos. Druckfrisch.
1980xv + 127pp., 23cm., publisher's hardcover with gilt lettering at spine, very good, F105267
1980Former scholar's name on ffep (David Furley) with his blindstamp to fep. Pencil marginalia by Furley on a few pages. ; Contents: Gregory Vlastos: The role of Observation in Plato's Conception of Astronomy; Alexander P. D. Mourelatos: Plato's "Real Astronomy" Republic VII. 527D-531D; Robert G. Turnbull: The Later Platonic Concept of Scientific Explanation; Ian Mueller: Ascending to Problems: Astronomy and Harmonics in Republic VII. ; 127 pages; Collective contribution of four essays to the restoration of Plato's place in the history of scientific thought.
1984réf. 009014Paris Garnier- Flammarion 1984 In-12 Collection " GF -Texte intégral " . Traduction , notices et notes par E. Chambry . Littérature , Antiquité . Une pliure en couverture . - 442 p. , 400 gr.
réf. 13430Flammarion, GF, 1975, 442 p., poche, pli de lecture sur le dos, état correct.
1966réf. RO60030679Garnier-Flammarion, Collection GF, N°129. 1966. In-12. Broché. Bon état, Couv. légèrement passée, Dos satisfaisant, Intérieur bon état. 442 pages. Premier plat illustré en couleur.. . . . Classification Dewey : 880-Littératures helléniques. Littérature grecque
réf. 95104Freiburg i. Br., Alber 2020. 358 Seiten. Hardcover/Pappeinband
2001réf. 95931Freiburg i. Br., Alber 2001. 410 Seiten. Hardcover/Pappeinband
2001réf. 96223Freiburg i. Br., Alber 2001. 410 Seiten. Hardcover/Pappeinband
réf. 1104903962.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 1142193969.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
