Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren
Schindler, Ralf (Hrsg.). Ways of Proof Theory. De Gruyter, 2010.
eng

Ways of Proof Theory

  • De Gruyter
  • 2010
  • Gebunden
  • 496 Seiten
  • ISBN 9783110324525
Herausgeber: Ralf Schindler

In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.

in Kürze