Поиск :
Личный кабинет :
Электронный каталог: Boolos, G. S. - Computability and logic
Boolos, G. S. - Computability and logic
Нет экз.
Электронные книги
Автор: Boolos, G. S.
Computability and logic
Издательство: Cambridge University Press, 2007 г.
ISBN 9780511366055
Автор: Boolos, G. S.
Computability and logic
Издательство: Cambridge University Press, 2007 г.
ISBN 9780511366055
На полку
Электронные книги
Boolos, G. S.
Computability and logic [Электронные книги] / G. S. Boolos, J. P. Burgess, R. C. Jeffrey. – 5th ed. – Cambridge [etc.]: Cambridge University Press, 2007. – 350 с. – Режим доступа : https://elib.hse.ru/Ebook/pdf.php?name=Ebook_9780511366055.pdf. – На англ. яз. – ISBN 9780511366055.
51
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Boolos, G. S.
Computability and logic [Электронные книги] / G. S. Boolos, J. P. Burgess, R. C. Jeffrey. – 5th ed. – Cambridge [etc.]: Cambridge University Press, 2007. – 350 с. – Режим доступа : https://elib.hse.ru/Ebook/pdf.php?name=Ebook_9780511366055.pdf. – На англ. яз. – ISBN 9780511366055.
51
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory