|
#1
Computability and Logic, 5th EditionGeorge S. Boolos, John P. Burgess, Richard C. JeffreyКатегория: Математика, Прикладная математика
2.23 Mb
#2
Computability and Logic, 4th editionGeorge S. Boolos, John P. Burgess, Richard C. Jeffrey,Категория: Математика, Прикладная математика
17.12 Mb
#9
To Be is to be a Value of a Variable (or to be Some Values of Some Variables)Boolos GeorgeКатегория: fiction
1.60 Mb
#11
Bulos Dzh., Dzheffri R. (_G.S.Boolos,R.C.Jeffrey_) Vychislimost# i logika (Mir, 1994)(ru)(L)(T)(198s)_MAml_.djvu
9.81 Mb
#12
Bulos Dzh., Dzheffri R. (_G.S.Boolos,R.C.Jeffrey_) Vychislimost# i logika (Mir, 1994)(ru)(K)(T)(397s)_MAml_.djvu
3.81 Mb
#18
Computability and LogicGeorge S. Boolos, John P. Burgess, Richard C. JeffreyКатегория: Mathematical logic
2.23 Mb
#19
Computability and LogicGeorge S. Boolos, Richard C. JeffreyКатегория: 1911252-Дискретная математика, логика - коллекция книг
2.50 Mb
|
|