Deutsch Englisch

Startseite UB



Weitere Kataloge

Speichern

Trefferanalyse

Abmelden

 
 
 
 


Elektronische Medien


Thematische Suche


Online-Fernleihe


Neuerwerbungen

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