Поиск :
Личный кабинет :
Электронный каталог: Cori, R. - Propositional calculus, Boolean algebras, predicate calculus
Cori, R. - Propositional calculus, Boolean algebras, predicate calculus
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
1 из 1
Книга
Автор: Cori, R.
Mathematical logic. Pt.1: Propositional calculus, Boolean algebras, predicate calculus
2004 г.
ISBN 0-19-850048-3
Автор: Cori, R.
Mathematical logic. Pt.1: Propositional calculus, Boolean algebras, predicate calculus
2004 г.
ISBN 0-19-850048-3
Многотомник
Cori, R.
Mathematical logic: a course with exercises / R. Cori, D. Lascar; Translated by D. H. Pelletier. – Oxford: Oxford University Press. – На англ. яз. - ISBN 0-19-850051-3.
Книга
51 C79
Cori, R.
Pt.1 : Propositional calculus, Boolean algebras, predicate calculus / R. Cori, D. Lascar; Translated by D. H. Pelletier. – 2004. – 338 с. – На англ. яз. - ISBN 0-19-850048-3.
51
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : поля, кольца, группы. Общая алгебра = fields, rings, groups. Algebra [512]
19191 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 C79
Cori, R.
Mathematical logic: a course with exercises / R. Cori, D. Lascar; Translated by D. H. Pelletier. – Oxford: Oxford University Press. – На англ. яз. - ISBN 0-19-850051-3.
Книга
51 C79
Cori, R.
Pt.1 : Propositional calculus, Boolean algebras, predicate calculus / R. Cori, D. Lascar; Translated by D. H. Pelletier. – 2004. – 338 с. – На англ. яз. - ISBN 0-19-850048-3.
51
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : поля, кольца, группы. Общая алгебра = fields, rings, groups. Algebra [512]
19191 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 C79