Einführung in die mathematische Logik. Teil <<III=3>>, Prädikatenlogik höherer Stufe /

Autor Asser, Günter, 1926-2015
Vydáno 1981

Logik : eine Untersuchung der Prinzipen der Erkenntnis und der Methoden. Wissenschaftlicher Forschung : Drei Bände. I. Band, Allgemeine Logik und Erkenntnistheorie /

Autor Wundt, Wilhelm, 1832-1920
Vydáno 1919

Neue Grundlagen der Logik, Arithmetik und Mengenlehre /

Autor König, Julius
Vydáno 1914

Logik : eine Untersuchung der Prinzipen der Erkenntnis und der Methoden. Wissenschaftlicher Forschung : Drei Bände. II. Band, Logik der exakten Wissenschaften /

Autor Wundt, Wilhelm, 1832-1920
Vydáno 1920

Einführung in die mathematische Logik : Klassische Prädikatenlogik /

Autor Hermes, Hans, 1912-2003
Vydáno 1969

Grundzüge der mathematischen Logik /

Autor Scholz, Heinrich, 1884-1956, Hasenjaeger, Gisbert, 1919-2006
Vydáno 1961

Einführung in die Grundlagen der Mathematik : Theorie der Berechenbarkeit mathematische Logik Mengenlehre /

Autor Deutsch, Michael, 1944-
Vydáno 1999

Grundzüge der theoretischen Logik /

Autor Hilbert, David, 1862-1943, Ackermann, Wilhelm Friedrich, 1896-1962
Vydáno 1928

Einführung in die mathematische Logik. Teil <<I=1>>, Aussagenkalkül /

Autor Asser, Günter, 1926-2015
Vydáno 1959

Die Grundlagen der Arithmetik : eine logisch mathematische Untersuchung über den Begriff der Zahl /

Autor Frege, Gottlob, 1848-1925
Vydáno 1988

Elements of finite model theory /

Autor Libkin, Leonid, 1965-
Vydáno 2004

Paradoxien des Unendlichen /

Autor Bolzano, Bernard, 1781-1848
Vydáno 1851

Principia Mathematica : Vorwort und Einleitungen /

Autor Whitehead, Alfred North, 1861-1947, Russell, Bertrand, 1872-1970
Vydáno 1986