• logic" (Beiträge zur Lehre von der Definition und vom Beweis vom Standpunkt der mathematischen Logik aus). In 1928 he became a private lecturer in philosophy...
    6 KB (462 words) - 23:15, 8 July 2024
  • Walter de Gruyter, 1999. Einführung in die Logik. Berlin: Walter de Gruyter, 1997. Descartes' metaphysischer Beweis für den Dualismus, Freiburg: Verlag Karl...
    2 KB (210 words) - 06:41, 12 April 2024
  • Thumbnail for Bernard Bolzano
    Mathematik (1810), Der binomische Lehrsatz (1816) and Rein analytischer Beweis (1817). These works presented "...a sample of a new way of developing analysis"...
    37 KB (4,676 words) - 02:57, 6 September 2024
  • Vol. 27 No. 3, 2018, pp. 329–350. Bromand, Joachim. "Gödels ontologischer Beweis und andere modallogische Gottesbeweise", in J. Bromand und G. Kreis (Hg...
    33 KB (4,366 words) - 17:16, 10 November 2024
  • beweise". Philosophisches Archiv. 1 (3): 96–99. Johann Gebhard Maaß (1792). "Beweis einiger (nicht identischen) mathematischen Sätze aus bloßen Verstandesbegriffen"...
    6 KB (455 words) - 22:36, 3 November 2024
  • 1890 to 1905, Ernst Schröder published Vorlesungen über die Algebra der Logik in three volumes. This work summarized and extended the work of Boole, De...
    69 KB (8,343 words) - 20:55, 5 December 2024
  • Thumbnail for Andrzej Grzegorczyk
    (1971): Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik. Archiv für Mathematische Logik und Grundlagenforschung...
    36 KB (2,886 words) - 01:44, 24 November 2024
  • Thumbnail for Heinrich Rickert
    1895 5. Review of Robert Hugo Hertzsch, Der ontogenetisch-phylogenetische Beweis für das Dasein eines persönlichen Gottes, in Deutsche Litteraturzeitung...
    25 KB (2,616 words) - 02:12, 7 November 2024
  • ISBN 978-0-12-386980-7. Hasenjaeger, G. (1953). "Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe". Journal...
    15 KB (1,587 words) - 13:34, 30 September 2024