Mathesis Universalis, Computability and Proof Stefania Centrone
Titel: Mathesis Universalis, Computability and Proof, Einband: Taschenbuch, Autor: Stefania Centrone, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 384, Maße: 235x155x21 mm, Gewicht: 581 g, Verkäufer: buch-mimpf, Schlagworte: Analytic Philosophy mathematics Bolzano philosophy Calculus Ratiocinator Characteristica universalis Concept of Mathematics and Classification Constructive Mathematics Craig's interpolation theorem Curry-Howard correspondence Foundations of mathematics Gottfried Wilhelm Leibniz History of Mathematics philosophy Mathesis universalis Ordinal Analysis Proof Theory logic Turing Machine Philosophy intensional type theory mathesis metamathematics philosophy of mathematics reverse mathematics.
Jetzt bei Ebay:
