4 books in this genre
Decidability and Boolean representations
Stanley Burris
Classical Decision Problem
Egon Börger
Funkcje rekurencyjne i elementy metamatematyki
Roman Murawski
Thinking about acting
John J. Pollock
