Roman Murawski: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
link wew. |
m →Opublikowane książki: drobne redakcyjne |
||
Linia 22:
== Opublikowane książki ==
* ''Filozofia matematyki. Antologia tekstów klasycznych'', Wydawnictwo Naukowe UAM, Poznań 1986, ss. 324; drugie wydanie 1994; wydanie trzecie 2003.
* ''Rozwój symboliki logicznej'', Wydawnictwo Naukowe UAM, Poznań 1988, ss. 40.
* ''Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności, rozstrzygalności, twierdzenia Gödla'', Wydawnictwo Naukowe UAM, Poznań 1990, ss. 186; wyd. drugie 1991; wyd. trzecie 2000, wyd. czwarte 2010.
* ''Filozofia matematyki. Zarys dziejów'', Wydawnictwo Naukowe PWN, Warszawa 1995, ss. 239; wyd. drugie 2001; wyd. trzecie: Wydawnictwo Naukowe UAM, Poznań 2007.
* ''Mechanization of Reasoning in a Historical Perpective'', Editions Rodopi, Amsterdam/Atlanta, GA, 1995, ss. 267 (współautor W.Marciszewski).
* ''Euphony and Logos'', Editions Rodopi, Amsterdam/Atlanta, GA, 1997, ss. X+534 (współredaktor J.Pogonowski).
* ''Recursive Functions and Metamathematics. Problems of Completness and Decidability, Gödel's Theorems'', Kluwer Academic Publishers, Dordrecht/Boston/London 1999, ss. 404.
* ''Zählen. Grundlage der elementaren Arithmetik'', Verlag Franzbecker, Hildesheim/Berlin 2001, ss. 291 (współautor: Th Bedürftig).
* ''Współczesna filozofia matematyki'', Wydawnictwo Naukowe PWN, Warszawa 2002, ss 387.
* ''Wstęp do teorii mnogości'', Wydawnictwo Naukowe UAM, Poznań 2005, ss 200; wyd. drugie 2006 (współautor K. Świrydowicz).
* ''Podstawy logiki i teorii mnogości'', Wydawnictwo Naukowe UAM, Poznań 2006, ss 163 (współautor K. Świrydowicz).
* ''Essays in the Philosophy and History of Logic and Mathematics'', Editions Rodopi, Amsterdam-New York 2010, ss. 343.
* ''Philosophie der Mathematik'', Walter de Gruyter, Berlin 2010, ss. 322 (współautor Th. Bedürftig).
{{DEFAULTSORT:Murawski, Roman}}
| |||