Roman Murawski

Identifiers

Open LibraryOL796630A

Top Subjects

Mathematics (5)
Philosophy (5)
Logic (5)
History (4)
Symbolic and mathematical Logic (3)
Recursive functions (2)
Decidability (Mathematical logic) (2)

Books by Roman Murawski

Total count: 16

Filozofia matematykiantologia tekstów klasycznych

1986-01-01
Rozwój symboliki logicznejWyd. 1.

Wydawn. Nauk. Uniwersytetu im. Adama Mickiewicza w Poznaniu1988-01-01
Funkcje rekurencyjne i elementy metamatematykiproblemy zupełności, rozstrzygalności, twierdzenia GödlaWyd. 1.

Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu1990-01-01
Recursive functions and metamathematicsproblems of completeness and decidability, Gödel's theorems

Kluwer Academic1999-01-01
Recursive Functions and MetamathematicsProblems of Completeness and Decidability, Gödel's Theorems

Springer Netherlands1999-01-01
Bibliografia katechetyczna, 1945-1995

Wydawn. Akademii Teologii Katolickiej1999-01-01
Essays in the philosophy and history of logic and mathematics

Rodopi2010-01-01
Philosophie der Mathematik

De Gruyter, Inc.2010-01-01
Filozofia matematyki i logiki w Polsce międzywojennejThe philosophy of mathematics and logic in the 1920s and 1930s in Poland = Philosophie der Mathematik und Logik in Polen zwischen den beiden WeltkriegenWydanie pierwsze.

Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika2011-01-01
Logos and máthēmastudies in the philosophy of mathematics and history of logic

Peter Lang2011-01-01
Logos and MáthēmaStudies in the Philosophy of Mathematics and History of Logic

Lang GmbH, Internationaler Verlag der Wissenschaften, Peter2012-01-01
Logos and MathemaStudies in the Philosophy of Mathematics and History of Logic

Lang Publishing, Incorporated, Peter2012-01-01
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland

Springer Basel2014-01-01
Philosophie der Mathematik

De Gruyter, Inc.2015-01-01
Philosophy of Mathematics

de Gruyter GmbH, Walter2018-01-01
Lógos and Máthēma 2Studies in the Philosophy of Logic and Mathematics

Lang GmbH, Internationaler Verlag der Wissenschaften, Peter2020-01-01