Weitere Beispiele werden automatisch zu den Stichwörtern zugeordnet - wir garantieren ihre Korrektheit nicht.
There is a quotation from his paper, Remarks on Nicod's Axiom and on "Generalizing Deduction", page 180.
Nicod's axiom is an axiom in propositional calculus that can be used as a sole wff in a two-axiom formalization of zeroth-order logic.
The referring paper by Łukasiewicz Remarks on Nicod's Axiom and on "Generalizing Deduction" was reviewed by H. A. Pogorzelski in the Journal of Symbolic Logic in 1965.
eTutor Englisch-Kurs
Suchhistorie
Podcasts
Diki-Plugins
Über das Diki-Wörterbuch
Vorschlag melden
Wörterbuch für Mathematik