ISBN: 9780792365440
[ED: Buch], [PU: Springer Netherlands], Neuware - hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-Novem… Meer...
booklooker.de |
ISBN: 9780792365440
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum with… Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
ISBN: 9780792365440
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum with… Meer...
Springer.com Nr. 978-0-7923-6544-0. Verzendingskosten:Worldwide free shipping, , zzgl. Versandkosten. (EUR 0.00) Details... |
2000, ISBN: 9780792365440
gebonden uitgave
[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. hiS volume in the Synthese Library Series is t… Meer...
booklooker.de |
2000, ISBN: 0792365445
2000 Gebundene Ausgabe Mathematische Grundlagen, Geschichte der Mathematik, Wissenschaftsphilosophie und -theorie, Philosophie: Logik, historyofmathematics; ProofTheory, mit Schutzumsch… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9780792365440
[ED: Buch], [PU: Springer Netherlands], Neuware - hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-Novem… Meer...
ISBN: 9780792365440
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum with… Meer...
ISBN: 9780792365440
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum with… Meer...
2000, ISBN: 9780792365440
gebonden uitgave
[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. hiS volume in the Synthese Library Series is t… Meer...
2000, ISBN: 0792365445
2000 Gebundene Ausgabe Mathematische Grundlagen, Geschichte der Mathematik, Wissenschaftsphilosophie und -theorie, Philosophie: Logik, historyofmathematics; ProofTheory, mit Schutzumsch… Meer...
Bibliografische gegevens van het best passende boek
Gedetalleerde informatie over het boek. - Proof Theory by Vincent F. Hendricks Hardcover | Indigo Chapters
EAN (ISBN-13): 9780792365440
ISBN (ISBN-10): 0792365445
Gebonden uitgave
pocket book
Verschijningsjaar: 2000
Uitgever: Vincent F. Hendricks
276 Bladzijden
Gewicht: 0,578 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-05-12T08:54:20+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-06T02:52:03+01:00 (Amsterdam)
ISBN/EAN: 0792365445
ISBN - alternatieve schrijfwijzen:
0-7923-6544-5, 978-0-7923-6544-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: pedersen, göldner klaus, stig jorgensen, vincent, hendricks, jörgensen, frovin, jørgensen, klaus held
Titel van het boek: synthese kluwer, proof theory, significance theory, logic methodology and philosophy science, history and theory studies the philosophy history, the philosophical history
Gegevens van de uitgever
Auteur: Vincent F. Hendricks; Stig Andur Pedersen; Klaus Frovin Jørgensen
Titel: Synthese Library; Proof Theory - History and Philosophical Significance
Uitgeverij: Springer; Springer Netherland
257 Bladzijden
Verschijningsjaar: 2000-09-30
Dordrecht; NL
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 257 p.
BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; history of mathematics; proof; proof theory; Logic; Mathematical Logic and Foundations; History of Mathematical Sciences; Philosophy of Science; Mathematik: Logik; Mathematische Grundlagen; Geschichte der Mathematik; Wissenschaftsphilosophie und -theorie; BC
1. Review of Proof Theory.- Highlights in Proof Theory.- 2. The Background of Hilbert’s Proof Theory.- The Empiricist Roots of Hilbert’s Axiomatic Approach.- The Calm Before the Storm: Hilbert’s Early Views on Foundations.- Toward Finitist Proof Theory.- 3. Brouwer and Weyl on Proof Theory and Philosophy of Mathematics.- The Development of Brouwer’s Intuitionism.- Did Brouwer’s Intuitionistic Analysis Satisfy its own Epistemological Standards?.- The Significance of Weyl’s Das Kontinuum.- Herman Weyl on the Concept of Continuum.- 4. Modern Views and Results from Proof Theory.- Relationships between Constructive, Predicative and Classical Systems of Analysis.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9780486320670 Proof Theory (Gaisi Takeuti)
< naar Archief...