Solvable cases of the decision problem

Autor: Ackermann, Wilhelm
Impresum 1954

Izdanje: 1. izd

Grundzüge der theoretischen Logik

Autor: Hilbert, David, Ackermann, Wilhelm
Impresum 1928

Izdanje: 1. izd

Grundzüge der theoretischen Logik

Autor: Hilbert, David
Impresum 1928

From Frege to Gödel : a source book in mathematical logic, 1879-1931

Autor: Frege, Gottlob, Peano, Giuseppe, Dedekind, Richard, Burali -Forti, Cesare, Cantor, Georg, Padoa, Alessandro, Russell, Bertrand, Hilbert, David, Zermelo, Ernst, Richard, Jules, König, Julius, Whitehead, Alfred North, Wiener, Norbert, Löwenheim, Leopold, Skolem, Thoralf, Post, Emil-Leon, Fraenkel, Abraham A., Brouwer, Luitzen Egbertus Jan, Neumann, John von, Schönfinkel, Moses, Kolmogorov, Andrei Nikolaevich, Finsler, Paul, Weyl, Hermann, Bernays, Paul, Ackermann, Wilhelm, Herbrand, Jacques, Gödel, Kurt
Impresum 1999