|
|
|
|
|
1 - 10 von 11 |
|
|
Ihre Aktion |
suchen [und] sys \mat 320.600
|
|
|
|
|
|
1. |
An introduction to mathematical proofs / Loehr, Nicholas A.. - Boca Raton : CRC Press, Taylor & Francis Group, 2022
|
|
|
|
2. |
Proof theory : sequent calculi and related formalisms / Bimbó, Katalin *1963-*. - Boca Raton, Fla. [u.a.] : CRC Press, Taylor & Francis, 2015
|
|
|
|
3. |
Handbook of mathematical induction : theory and applications / Gunderson, David S.. - Boca Raton, Fla. [u.a.] : CRC Press, Chapman & Hall, 2011
|
|
|
|
4. |
Interactive theorem proving and program development : Coq'art: the calculus of inductive constructions / Bertot, Yves. - Berlin : Springer, 2004
|
|
|
|
5. |
Lawlikeness, analogy, and inductive logic / Pietarinen, Juhani. - Amsterdam : North-Holland Publ. Comp., 1972
|
|
|
|
6. |
Studies in inductive logic and probability / Carnap, Rudolf *1891-1970*. - Berkeley [u.a.] : Univ. of Calif. Press, 1971-
|
|
|
|
7. |
Induktive Logik : Grundlagen und Voraussetzungen / Essler, Wilhelm Karl. - Freiburg : Alber, 1970
|
|
|
|
8. |
Rules of acceptance and inductive logic / Hilpinen, Risto. - Amsterdam : North-Holland Publ. Co., 1968
|
|
|
|
9. |
Proceedings of the International ... / Vol. 2, The problem of inductive logic / Lakatos, Imre. - 1968
|
|
|
|
10. |
Wahrscheinlichkeit und logischer Spielraum : eine Untersuchung zur induktiven Logik / Vetter, Hermann *1933-*. - Tübingen : Mohr, 1967
|
|
|
|
|
|
|
1 - 10 von 11 |
|
|
|
|
1 - 10 von 11 |
|
|