Search
Now showing items 1-10 of 275
Symbolic Logic, Part I: Elementary
(Macmillan, 1896)
Logic: Deductive and Inductive
(Dodo Press, 1914)
Professor Carveth Read (1848-1931) was a 19th and 20th century British philosopher and logician. He was Professor of Philosophy at University College London. His works include: The Theory of Logic (1878), Logic: Deductive ...
Systems of Logic Based on Ordinals
(London Mathematical Society, 1938)
Alan Turing's PhD Thesis
Математика: Поиск истины
(Мир, 1988)
Translation of: Morris Kline, Mathematics and the search for knowledge, 1985
Книга известного американского математика, популяризатора науки Мориса Клайна ярко и увлекательно рассказывает о роли математики в сложном ...
Исследования по неклассическим логикам и теории множеств
(Наука, 1979)
Сборник продолжает цикл сборников:
(1972) Исследования по математической лингвистике, математической логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования ...
Элементы математической логики
(МГУ, 1984)
Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды к установки автора на предмет изложения. Особое внимание уделяется теории логико-математических языков и семантике ...
Введение в математическую логику
(ИЛ, 1960)
Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. ...
Введение в математическую логику
(ЛГУ, 1959)
Математическая логика
(Наука, 1975)