Roman Murawski
No biography available.
Works (8)
Funkcje rekurencyjne i elementy metamatematyki
Mechanization of reasoning in a historical perspective
Rozwój symboliki logicznej
Filozofia matematyki i logiki w Polsce międzywojennej
Recursive Functions and Metamathematics
Essays in the philosophy and history of logic and mathematics
Euphony and logos
Recursive functions and metamathematics