Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg

相似書籍

• Zwingende Beweise : zur subversiven Despotie der Mathematik
  由: Nickel, Gregor
• Wunder, Beweise und Tatsachen : zur Geschichte der Rationalität
  由: Daston, Lorraine
  出版: (2001)
• Wahrheit und Beweisbarkeit : Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung
  由: Gethmann, Carl Friedrich
• Methoden und Programme
  出版: (2016)
• Programm einer Geschichtsschreibung
  由: Meier, Christian