Roman Murawski: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
Nie podano opisu zmian |
Nie podano opisu zmian |
||
Linia 28:
* ''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, wyd. czwarte 2012.
* ''Mechanization of Reasoning in a Historical Perpective'', Editions Rodopi, Amsterdam/Atlanta, GA, 1995, ss. 267 (współautor W.Marciszewski).
| |||