Yazar
george s boolos
4 cilt bulundu.
Cilt sonuçları
Computability and logic
George Boolos, Richard C. Jeffrey, George S. Boolos, John P. Burgess · University Press
304 sayfa · 1974
Computable functions / Logic, Symbolic and mathematical / Recursive functions / Symbolic and mathematical Logic / Mathematical foundations
Computability and logic
George S. Boolos, John P. Burgess, Richard C. Jeffrey · Cambridge University Press
364 sayfa · 2007
Recursive functions / Symbolic and mathematical Logic / Computable functions / Logic, symbolic and mathematical / Qa9.59 .b66 2007
Computability and logic
George S. Boolos · University Press
262 sayfa · 1974
Recursive functions / Symbolic and mathematical Logic