Wyróżnienie w Konkursie Stowarzyszenia Wydawców Szkół Wyższych na Najlepszy Podręcznik i Skrypt Akademicki 2014, 18. Międzynarodowe Targi Książki w Krakowie Roman Murawski Filozofia informatyki.Antologia Wydawnictwo Naukowe UAM, Poznań, 2014. 200 stron Spis treści Wstęp Rozdział I: Informatyka jako dyscyplina     Newell, H.A. Simon - Informatyka jako nauka empiryczna; D.E. Knuth -     Informatyka i jej związek z matematyką; S.S. Shapiro - Informatyka:     badanie procedur; F.P. Brooks, Jr., - Informatyk jako wytwórca     narzędzi; P.J. Denning - Co to jest informatyka?; J. Hartmanis, H. Lin -     Czym jest informatyka? Rozdział II: Co to jest komputer?     J.R. Searle - Czy mózg jest komputerem cyfrowym?; P.J. Hayes - Co to     jest komputer? Dyskusja elektroniczna Rozdział III: Czym jest algorytm?     A.M. Turing - O liczbach obliczalnych, wraz z zastosowaniem do     Entscheidungsproblem; Carol E. Cleland - O procedurach efektywnych;     A. Syropoulos - Hiperobliczenia Rozdział IV: Natura programu komputerowego     T.R. Colburn - Oprogramowanie, abstrakcja i ontologia; J. H. Moor - Trzy     paradygmaty informatyki; Peter Suber - Co to jest oprogramowanie? Rozdział V: Weryfikowalność programów     B.C. Smith - Granice poprawności w komputerach; J.H. Fetzer -     Filozoficzne aspekty weryfikacji programów; R.A. DeMillo, R.J. Lipton,     A.J. Perlis - Procesy społeczne a dowody twierdzeń i programy Rozdział VI: Filozofia sztucznej inteligencji     A.M. Turing - Maszyny liczące a inteligencja; J.R. Searle - Umysły, mózgi     i programy Rozdział VII: Epistemologia informatyki     A.H. Eden - Trzy paradygmaty informatyki Rozdział VIII: Teza Churcha-Turinga     R. Murawski, J. Woleński - Status tezy Churcha