Yazar
George Boolos
11 cilt bulundu.
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
George Boolos · Cambridge University Press
275 sayfa · 1993
Modality (Logic) / Proof theory / Probabilities
George Boolos · Cambridge University Press
190 sayfa · 1979
Modality (Logic) / Proof theory / Modality (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
George S. Boolos · University Press
262 sayfa · 1974
Recursive functions / Symbolic and mathematical Logic