![book Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics](/covers/files_170/1698000/bac4413d6cf95acca53a22c04e3dd633-d.jpg)
Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
pdf
- Author: Jan von Plato (auth.)
- Language: English
- Year: 2017
![book Springer Handbook of Model-Based Science](/covers/files_170/1698000/53dfbadc308bf4295e3afc752ad7f365-d.jpg)
- Author: Lorenzo Magnani Tommaso Bertolotti (eds.)
- Language: English
- Year: 2017
![book Die Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis](/covers/files_170/1678000/e24cd1e1cbcc3038ee904fb48270b0a0-d.jpg)
Die Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis
pdf
- Author: Dirk W. Hoffmann (auth.)
- Language: German
- Year: 2017
![book Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung](/covers/files_170/1677000/32c0eb228cab8db0fb207f59f1bc41fd-d.jpg)
- Author: Rudolf Berghammer (auth.)
- Language: German
- Year: 2017
![book Rohit Parikh on Logic, Language and Society](/covers/files_170/1676000/3392eb0c669a8921c531668a6cad46c9-d.jpg)
- Author: Can Başkent Lawrence S. Moss Ramaswamy Ramanujam (eds.)
- Language: English
- Year: 2017
![book Mathematische Logik](/covers/files_170/1676000/b9e6ade16079591872168ce302861bcf-d.jpg)
- Author: Martin Ziegler
- Language: German
- Year: 2017
![book Martin Davis on Computability, Computational Logic, and Mathematical Foundations](/covers/files_170/1675000/0ac8b03d2ed22179c4295a9b7ea892ff-d.jpg)
- Author: Eugenio G. Omodeo Alberto Policriti (eds.)
- Language: English
- Year: 2016
![book Causal Nets, Interventionism, and Mechanisms: Philosophical Foundations and Applications](/covers/files_170/1625000/6e0e319b727d3cada49e7ace5e7ad162-d.jpg)
- Author: Alexander Gebharter (auth.)
- Language: English
- Year: 2017
![book Intuitionistic Fuzzy Logics](/covers/files_170/1625000/6503d14b49a5ed76608db72793718885-d.jpg)
- Author: Krassimir T. Atanassov (auth.)
- Language: English
- Year: 2017
![book Meaning in Dialogue: An Interactive Approach to Logic and Reasoning](/covers/files_170/1625000/9218346f62e03bea87cac5bfa8ccc2ce-d.jpg)
- Author: James Trafford (auth.)
- Language: English
- Year: 2017