e99 Online Shopping Mall

Geometry.Net - the online learning center Help  
Home  - Scientists - Gentzen Gerhard (Books)

  1-13 of 13
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

click price to see details     click image to enlarge     click link to go to the store

 
1. The collected papers of Gerhard
$50.00
2. Gerhard Gentzen
$23.84
3. German Logicians: Immanuel Kant,
$65.81
4. People From the Province of Pomerania:
$29.48
5. Academics of the Charles University:
$19.99
6. People From Greifswald: Caspar
 
7. Recherches Sur La Deduction Logique
 
$5.95
8. Kolmogorov, Heyting and Gentzen
 
9. Die Gegenwartige Lage in der Mathematischen
 
$9.95
10. Patrones inferenciales.: An article
$60.07
11. Logic's Lost Genius (History of
$5.29
12. Natural Deduction: A Proof-Theoretical
 
13.

1. The collected papers of Gerhard Gentzen (Studies in logic and the foundations of mathematics)
by Gerhard Gentzen
 Hardcover: 338 Pages (1969)

Isbn: 072042254X
Canada | United Kingdom | Germany | France | Japan

2. Gerhard Gentzen
Paperback: 112 Pages (2010-08-10)
list price: US$51.00 -- used & new: US$50.00
(price subject to change: see help)
Asin: 6130804393
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
High Quality Content by WIKIPEDIA articles! GerhardKarl Erich Gentzen (November 24, 1909,Greifswald, Germany – August 4, 1945, Prague, Czechoslovakia)was a German mathematician and logician. He had his majorcontributions in the foundation of mathematics, proof theory, especiallyon natural deduction and sequent calculus. He died in 1945after the Second World War, because he was deprived of food afterbeing arrested in Prague. ... Read more


3. German Logicians: Immanuel Kant, Gottfried Leibniz, Georg Cantor, Gottlob Frege, Gerhard Gentzen, Christoph Gottfried Bardili
Paperback: 150 Pages (2010-09-15)
list price: US$23.84 -- used & new: US$23.84
(price subject to change: see help)
Asin: 115519960X
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
Chapters: Immanuel Kant, Gottfried Leibniz, Georg Cantor, Gottlob Frege, Gerhard Gentzen, Christoph Gottfried Bardili, Rudolf Hermann Lotze, Leopold Kronecker, Christoph Von Sigwart, Paul Lorenzen, Walter Dubislav, Heinrich Christoph Wilhelm Sigwart, Karl Von Prantl, Olaf Helmer, Leopold Löwenheim. Source: Wikipedia. Pages: 149. Not illustrated. Free updates online. Purchase includes a free trial membership in the publisher's book club where you can select from more than a million books without charge. Excerpt: Immanuel Kant (German pronunciation: ) (22 April 1724 12 February 1804) was an 18th-century German philosopher from the Prussian city of Königsberg. Kant was the last influential philosopher of modern Europe in the classic sequence of the theory of knowledge during the Enlightenment beginning with thinkers John Locke, George Berkeley, and David Hume. Kant created a new perspective in philosophy which had widespread influences on philosophy continuing through to the 21st century. He published important works on epistemology, as well as works relevant to religion, law, and history. One of his most prominent works is the Critique of Pure Reason, an investigation into the limitations and structure of reason itself. It encompasses an attack on traditional metaphysics and epistemology, and highlights Kant's own contribution to these areas. The other main works of his maturity are the Critique of Practical Reason, which concentrates on ethics, and the Critique of Judgment, which investigates aesthetics and teleology. Kant suggested that metaphysics can be reformed through epistemology. He suggested that by understanding the sources and limits of human knowledge we can ask fruitful metaphysical questions. He asked if an object can be known to have certain properties prior to the experience of that object. He concluded that all objects about which the mind can think must conform to its manner of thought. Therefore if the mind c...More: http://booksllc.net/?id=14631 ... Read more


4. People From the Province of Pomerania: Edward Sapir, Rudolf Virchow, Gerhard Gentzen, Carl Meinhof, Hermann Grassmann, Max Schmeling
Paperback: 602 Pages (2010-09-15)
list price: US$65.81 -- used & new: US$65.81
(price subject to change: see help)
Asin: 1155480562
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
Chapters: Edward Sapir, Rudolf Virchow, Gerhard Gentzen, Carl Meinhof, Hermann Grassmann, Max Schmeling, Frederick of Württemberg, Rudolf Clausius, Maria Feodorovna, Hans Fallada, Erich Von Dem Bach-Zelewski, Joachim Müncheberg, Otto Lilienthal, Ewald Friedrich Von Hertzberg, Leon Jessel, Alfred Döblin, Hans Kammler, Egon Krenz, Magnus Hirschfeld, Hans-Joachim Von Merkatz, Magnus Von Braun, Johann Gustav Droysen, Wolfhart Pannenberg, Johan Frederik Clemens, Hans Langsdorff, Werner Von Blomberg, Albrecht Von Roon, Hans-Jürgen Syberberg, Otto Liman Von Sanders, Anton Dohrn, Uwe Johnson, Karl Gützlaff, Hans Karl Von Winterfeldt, Theodor Billroth, Paul Dahlke, Alfred Ploetz, Oscar Hammerstein I, Julius Friedrich Cohnheim, Hans Heinrich Von Twardowski, Hans Delbrück, Eduard Von Bonin, Paul Rée, Kurt Kuhnke, Elsa Von Freytag-Loringhoven, Kurt Wolff, Ulrich Von Hassell, Herbert Hans Haupt, Werner Lorenz, Louis of Württemberg, Viktor Bauer, Friedrich Heinrich Albert Wangerin, Ulrich Beck, Friedrich Graf Von Wrangel, Fritz Gerlich, Carl Wilhelm Schmidt, Georg Wertheim, Lothar Bisky, Hans Hartwig Von Beseler, Dubislav Gneomar Von Natzmer, Werner Seelenbinder, Günter Schabowski, Johann Franz Buddeus, Ewald Von Kleist-Schmenzin, Herbert Nachbar, Gustav Pietsch, Peter Van Eyck, Hans Krüger, Günther Freiherr Von Maltzahn, Hans-Jürgen Stumpff, Johannes Poeppel, Paul Gottlieb Nipkow, Otto Hintze, Nicolaus Von Below, Fritz Kraemer, Ewald-Heinrich Von Kleist-Schmenzin, Hermann Burmeister, Moriz Seeler, Friedrich Von Spielhagen, Christian Graf Von Krockow, Friedrich Wilhelm Von Dossow, Georg Von Der Marwitz, Max Lenz, Gerhard Roßbach, Johann Christoph Adelung, Ernst Bernheim, Franz Mehring, Dita Parlo, Hans Modrow, Oscar Levy, Ewald Christian Von Kleist, Manfred Stolpe, Wolfgang Wegener, Margarete Neumann, Hans-Werner Grosse, Wolfgang Koeppen, Johann Karl Rodbertus, Albrecht Von Hagen, Ferdinand Von Arnim, Gustav Von Schönberg, Leberecht Maass...More: http://booksllc.net/?id=146714 ... Read more


5. Academics of the Charles University: Albert Einstein, Jan Hus, Ernst Mach, Ewald Hering, Gerhard Gentzen, Tomás Garrigue Masaryk, Alfred Weber
Paperback: 312 Pages (2010-09-14)
list price: US$38.79 -- used & new: US$29.48
(price subject to change: see help)
Asin: 1155689607
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
Purchase includes a free trial membership in the publisher's book club where you can select from more than a million books without charge. Chapters: Albert Einstein, Jan Hus, Ernst Mach, Ewald Hering, Gerhard Gentzen, Tomáš Garrigue Masaryk, Alfred Weber, Pavel Jozef Šafárik, Edvard Beneš, August Schleicher, Julius Von Sachs, Jan Sokol, Guido Goldschmiedt, Jaroslav Vacek, Jan Evangelista Purkyně, Jan Patočka, Jaroslav Skála, Johannes Vodnianus Campanus, Václav Dobruský, Anton Rintelen, Emanuel Rádl, Jan Jesenius, Edwin Klebs, Carl Stumpf, Tadeáš Hájek, Christian Von Ehrenfels, Erwin Finlay-Freundlich, Gabriel Anton, Alois Musil, Josef Kalousek, Josef Pfitzner, Lubor Niederle, Johann Nepomuk Ehrlich, František Mareš, Johann Friedrich Von Schulte, Franz Kiwisch Von Rotterau, Jindřich Zelený, Carl Ferdinand Von Arlt, Alfred Pribram, Oskar Lenz, Joseph Hasner, Hans Leopold Meyer, Moriz Winternitz, Heinrich Brunner, Anton Von Jaksch, Josef Von Löschner, Jan Janský, Günther Von Mannagetta Und Lërchenau Beck, Franz Dittrich, Julius Vincenz Von Krombholz, Johann Ritter Von Oppolzer, Konstantin Josef Jireček, Václav Treitz, Ladislav Josef Čelakovský, Jiří Matoušek, Franz Von Pitha, Richard Kretz, Johann Heinrich Loewe, Otto Benndorf, Karel Domin, Anton Wölfler, Anton Elschnig, Rudolf Von Jaksch, Heinrich Hilgenreiner, Anton Gindely, Joseph Gottfried Mikan, Jan Mukařovský, Alois Von Brinz, Arthur Mahler, Antonín Jan Jungmann, August Breisky, Ferdinand Hueppe, Samuel Friedrich Stein, Ernst Pringsheim, Sr., Václav Hampl, Ernst Pringsheim, Jr., Karl Kreibich, Alfred Woltmann, Eva Hajičová, Gustav Karl Laube, Gustav Becking, Emil Sax, František Neuwirt, Petr Sgall, Arthur Irving Andrews, Otto Kahler, Vojtěch Jarník, Vincenc Strouhal, Miroslav Katětov, Alfred Amonn, Jan Hajič, Jan Jesenský, Leopold Hasner Von Artha, Hans Petersson, Friedrich Adler, Karel Petr. Source: Wikipedia. Free updates online. Not illustrated. Excerpt: Albert Einstein (p...More: http://booksllc.net/?id=736 ... Read more


6. People From Greifswald: Caspar David Friedrich, Gerhard Gentzen, Robin Szolkowy, Hans Fallada, Magnus Von Braun, Toni Kroos, Kurt Wolff
Paperback: 104 Pages (2010-05-02)
list price: US$19.99 -- used & new: US$19.99
(price subject to change: see help)
Asin: 1155242645
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
Purchase includes free access to book updates online and a free trial membership in the publisher's book club where you can select from more than a million books without charge. Chapters: Caspar David Friedrich, Gerhard Gentzen, Robin Szolkowy, Hans Fallada, Magnus Von Braun, Toni Kroos, Kurt Wolff, Hans Hartwig Von Beseler, Herbert Nachbar, Max Lenz, Mite Kremnitz, Wolfgang Koeppen, Johann Karl Rodbertus, Sibylla Schwarz, Henri Fuchs, Friedrich Baethgen, Carl Gustav Rehnskiöld, Adolph Wilhelm Otto, Rudolf Schirmer, Otto Schirmer, Konrad Haenisch, Hugo Wilhelm Von Ziemssen, Karin Illgen. Excerpt:Adolph Wilhelm Otto (August 3, 1786 - January 14, 1845) was a German anatomist who was a native of Greifswald . In 1808 he earned his medical doctorate at the University of Greifswald , and subsequently worked as a prosector and physician in Carl August Wilhelm Berends ' clinic at the University of Frankfurt an der Oder . Later, he furthered his education on a scientific journey through Germany, the Netherlands, and France, where he studied comparative anatomy with Georges Cuvier (1769-1832). In 1813 he became a professor of anatomy and director of the anatomical museum at the University of Breslau . Otto specialized in the field of teratology , and performed extensive research involving the causes, development and classification of congenital malformations in plants and animals. In 1841 he published a popular atlas of teratology titled Monstrorum sexcentorum descriptio anatomica (600 Anatomic Descriptions of Monsters). He contributed articles to several journals and was a collaborator to Karl Gustav Carus ' Erläuterungstafeln zur vergleichenden Anatomie . In 1831, he was elected a foreign member of the Royal Swedish Academy of Sciences . References (URLs online) A hyperlinked version of this chapter is at Carl Gustav Rehnskiöld. Count Carl Gustav Rehnskiöld (6 August 1651 - 29 January 1722) was a Swedish Field Marshal under the command of King Charles XII of Sweden. De... ... Read more


7. Recherches Sur La Deduction Logique
by Gerhard GENTZEN
 Paperback: Pages (1955)

Asin: B000YQOIQ2
Canada | United Kingdom | Germany | France | Japan

8. Kolmogorov, Heyting and Gentzen on the intuitionistic logical constants *.: An article from: Crítica
by Gustavo Fernandez Diez
 Digital: 15 Pages (2000-12-01)
list price: US$5.95 -- used & new: US$5.95
(price subject to change: see help)
Asin: B0008JDCBC
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
This digital document is an article from Crítica, published by UNAM, Instituto de Investigaciones Filosoficas on December 1, 2000. The length of the article is 4254 words. The page length shown above is based on a typical 300-word page. The article is delivered in HTML format and is available in your Amazon.com Digital Locker immediately after purchase. You can view it with any web browser.

Citation Details
Title: Kolmogorov, Heyting and Gentzen on the intuitionistic logical constants *.
Author: Gustavo Fernandez Diez
Publication: Crítica (Refereed)
Date: December 1, 2000
Publisher: UNAM, Instituto de Investigaciones Filosoficas
Volume: 32Issue: 96Page: 43(15)

Distributed by Thomson Gale ... Read more


9. Die Gegenwartige Lage in der Mathematischen Grundlagenforschung [bound with] Neue Fassung des Widerspruchsfreiheitsbeweises fur die Reine Zahlentheorie. [Facsimile reprint of 1938- text in Fraktur]
by Gerhard Gentzen
 Hardcover: Pages (1969-01-01)

Asin: B0032NGODE
Canada | United Kingdom | Germany | France | Japan

10. Patrones inferenciales.: An article from: Crîtica
by Axel Arturo Barcelô Aspeitia
 Digital: 35 Pages (2008-12-01)
list price: US$9.95 -- used & new: US$9.95
(price subject to change: see help)
Asin: B002KPKCJM
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
This digital document is an article from Crîtica, published by UNAM, Instituto de Investigaciones Filosoficas on December 1, 2008. The length of the article is 10419 words. The page length shown above is based on a typical 300-word page. The article is delivered in HTML format and is available immediately after purchase. You can view it with any web browser.

Citation Details
Title: Patrones inferenciales.
Author: Axel Arturo Barcelô Aspeitia
Publication: Crîtica (Magazine/Journal)
Date: December 1, 2008
Publisher: UNAM, Instituto de Investigaciones Filosoficas
Volume: 40Issue: 120Page: 3(33)

Distributed by Gale, a part of Cengage Learning ... Read more


11. Logic's Lost Genius (History of Mathematics)
by Eckart Menzler-Trott
Hardcover: 442 Pages (2007-11-21)
list price: US$89.00 -- used & new: US$60.07
(price subject to change: see help)
Asin: 0821835505
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
Gerhard Gentzen (1909-1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called "proof theory" but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today.The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945.Particular emphasis in the book is put on the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for "German logic", and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time. The volume is completed by two deep substantial essays by Jan von Plato and Craig Smorynski on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Gödel; and its development up to the present day. Smorynski explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program.This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers.Co-published with the London Mathematical Society beginning with Volume 4. Members of the LMS may order directly from the AMS at the AMS member price. The LMS is registered with the Charity Commissioners. ... Read more


12. Natural Deduction: A Proof-Theoretical Study
by Dag Prawitz
Paperback: 128 Pages (2006-02-24)
list price: US$9.95 -- used & new: US$5.29
(price subject to change: see help)
Asin: 0486446557
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.
... Read more

13.
 

Canada | United Kingdom | Germany | France | Japan

  1-13 of 13
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

Prices listed on this site are subject to change without notice.
Questions on ordering or shipping? click here for help.

site stats