No books found in this genre yet.
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