 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 14  |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) raisonnement eingrenzen (Basisklassifikation (XBKL)) 31.10 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Introduction to proofs and proof strategies Fuchs, Shay. - Cambridge, United Kingdom : Cambridge University Press, 2023 |
|
| |||
 |
2. |
Logik-Skript 2 : Einführung in die Modallogik Brendel, Elke *1962-*. - Frankfurt : Klostermann, [2021] 
|
|
| |||
|
3. |
Justification logic : reasoning with reasons Artemov, S. N.. - Cambridge : Cambridge University Press, 2019
|
|
| |||
|
4. |
Logical dynamics of information and interaction Benthem, Johan van *1949-*. - Cambridge [u.a.] : Cambridge University Press, 2011
|
|
| |||
|
5. |
Analytische Logik : die Begründungsstruktur gültiger Schlüsse Welding, Steen O. *1936-2019*. - Berlin : Lit, 2009 |
|
| |||
|
6. |
Beweis und Reflexion : philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen Wille, Matthias *1976-*. - Paderborn : Mentis-Verl., 2008 |
|
| |||
|
7. |
Foundations of the formal sciences IV : the history of the concept of the formal sciences Löwe, Benedikt. - London : King's College Publ., 2006 |
|
| |||
|
8. |
Rippling : meta-level guidance for mathematical reasoning Bundy, Alan. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 2005 |
|
| |||
|
9. |
Change, choice and inference : a study of belief revision and nonmonotonic reasoning Rott, Hans. - 1. publ. - Oxford [u.a.] : Oxford Univ. Press, 2001 |
|
| |||
|
10. |
For the sake of the argument : Ramsey test conditionals, inductive inference and nonmonotonic reasoning Levi, Isaac *1930-2018*. - 1. publ. - New York : Cambridge Univ. Press, 1996 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 10 von 14 |
|
|
|
1 - 10 von 14 |
|
|||||||||||||||||||||||||