Nessun libro trovato in questo genere ancora.
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