Autor
Mendelson, Elliott, 1931-
7
Russell, Bertrand, 1872-1970
7
Church, Alonzo, 1903-1995
6
Kučera, Antonín, 1971-
6
Asser, Günter, 1926-2015
5
Feferman, Solomon, 1928-2016
5
Frege, Gottlob, 1848-1925
5
Hilbert, David, 1862-1943
5
Hodges, Wilfrid, 1941-
5
Smullyan, Raymond M., 1919-2017
5
Whitehead, Alfred North, 1861-1947
5
Barwise, Jon, 1942-2000
4
Gabbay, Dov M., 1945-
4
Gödel, Kurt, 1906-1978
4
Hořejš, Jiří, 1933-2001
4
Kleene, Stephen Cole, 1909-1994
4
Sochor, Antonín, 1942-2008
4
Tarski, Alfred, 1902-1983
4
Von Plato, Jan, 1951-
4
Švejdar, Vítězslav, 1954-
4
Ackermann, Wilhelm Friedrich, 1896-1962
3
Barendregt, Henk 1947-
3
Bernays, Paul, 1888-1977
3
Bizám, György, 1922-2007
3
Coufal, Jan
3
Doxiadīs, Apostolos, 1953-
3
Enderton, Herbert B., 1936-2010
3
Flum, Jörg, 1944-
3
Fuchs, Eduard, 1942-
3
Hindley, J. Roger, 1939-
3
Kabakov, F. A., 1927-2008
3
Kac, Mark, 1914-1984
3
Klůfa, Jindřich, 1949-
3
Materna, Pavel, 1930-
3
Minc, Grigorij Jefimovič, 1939-2014
3
Papadatos, Alekos, 1959-
3
Papadimitriou, Christos Ch., 1949-
3
Paseka, Jan, 1962-
3
Shelah, Saharon, 1945-
3
Ulam, Stanislaw M., 1909-1984
3
Adjan, Sergej Ivanovič, 1931-
2
Ajzerman, Mark Aronovič, 1913-1992
2
Andrews, P. B. 1937-
2
Bell, J. L. 1945-
2
Benthem, J. F. A. K. van, 1949-
2
Boolos, George, 1940-1996
2
Budiansky, Stephen, 1957-
2
Cintula, Petr, 1978-
2
Cooper, S. B. 1943-2015
2
Cori, René
2
více ...