 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 137  |
| ||
 |
Ihre Aktion | bezogen auf Beweistheorie |
||
| |
| |
| |
|
|
|
|
 |
1. |
The Story of Proof : Logic and the History of Mathematics Stillwell, John *1942-*. - Princeton, NJ : Princeton University Press, [2022] 
|
|
| |||
 |
2. |
La prova non-ontologica : per una teoria del nulla e del "non" Bottiroli, Giovanni *1951-*. - Milano : Mimesis, [2020] |
|
| |||
|
3. |
Proof theory and algebra in logic Ono, Hiroakira. - Singapore : Springer, [2019]
|
|
| |||
|
4. |
Proof and computation : digitization in mathematics, computer science, and philosophy Mainzer, Klaus *1947-*. - New Jersey : World Scientific, [2018]
|
|
| |||
|
5. |
Reverse mathematics : proofs from the inside out Stillwell, John *1942-*. - Princeton : Princeton University Press, [2018]
|
|
| |||
|
6. |
Truth and proof in the long run : essays on trial-and-error logics Kaså, Martin. - Gothenborg : University of Gothenburg, Acta Universitatis Gothoburgensis, [2017] |
|
| |||
|
7. |
An introduction to proof through real analysis Madden, Daniel J. *1948-*. - Hoboken, NJ : Wiley, 2017
|
|
| |||
|
8. |
The burdens of proof : discriminatory power, weight of evidence, and tenacity of belief Nance, Dale A.. - Cambridge : Cambridge University press, March 2016
|
|
| |||
|
9. |
Al risveglio dal sogno : la pratica della dimostrazione automatica Franchella, Miriam. - Prima edizione. - Milano : Edizioni Unicopli, ottobre 2016 |
|
| |||
|
10. |
Burden of proof, presumption and argumentation Walton, Douglas N. *1942-2020*. - Cambridge : Cambridge University Press, 2014
|
|
| |||
| ||||||||||||||
| ||||||||||||||
| ||||||||||||||
|
1 - 10 von 137 |
|
|
|
1 - 10 von 137 |
|
||||||||