If you made any changes in Pure these will be visible here soon.

Research Output 2012 2019

Type Theory
Classical Logic
Set Theory
Quantification
Philosophy
Philosophy of Mathematics
Foundations of Mathematics
Constructivist
Axiom
Isomorphism
2017

ОСНОВАНИЯ МАТЕМАТИКИ: ТЕОРИЯ МНОЖЕСТВ VS. ТЕОРИИ ТИПОВ

Ламберов, Л. Д., 2017, In : Философия науки. 1 (72), p. 41-60 20 p.

Research output: Contribution to journalArticleResearchpeer-review

Type Theory
Set Theory
Homotopy Theory
Homotopy Type
2016

История и философия науки и техники: словарь или справочник

Анкин, Д. В., Бакеева, Е. В., Бездворная, М. В., Биричева, Е. В., Бряник, Н. В., Волков, А. В., Горинский, А. С., Гришаева, Е. И., Давлетшин, И. Ш., Даниленко, Л. Е., Джинджолия, Б. И., Долгих, А. Ю., Дуплинская, Ю. М., Дьячкова, А. В., Заболотских, К. И., Зарубина, Т. А., Каваева, Е. А., Кислов, А. Г., Кляшторный, А. С., Колмакова, А. В. & 31 othersКомаров, А. Ю., Костюк, И. Ю., Котелевский, Д. В., Крюкова, П. Г., Ламберов, Л. Д., Лойфман, И. Я., Луньков, А. С., Маяцкий, М. А., Мирошников, Ю. И., Ольховиков, Г. К., Пивоваров, Д. В., Плотников, В. И., Попцов, Д. А., Самойлов, И. В., Севастеенко, А. В., Смолина, Н. С., Стародубцева, Е. П., Сухарева, В. А., Тарабанов, Н. А., Токмянина, С. В., Томюк, О. Н., Тютюнников, А. А., Фархитдинова, О. М., Халтурин, Ю. Л., Хамзина, Л. Р., Черемных, Н. М., Шитиков, М. М., Шуталева, А. В., Яковлев, К. В., Томюк, О. Н. (ed.) & Бряник, Н. В. (ed.), 2016, Екатеринбург: Издательско-полиграфическое предприятие «Макс-Инфо». 328 p.

Research output: Book/ReportAnthologyResearchpeer-review

ПРОБЛЕМА ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ: ОТ СЕМАНТИКИ К СООТВЕТСТВИЮ КАРРИ-ГОВАРДА: статья в сборнике статей

Ламберов, Л. Д. & Кляшторный, А. С., 2014, ЧЕЛОВЕК В ТЕХНОСРЕДЕ: КОНВЕРГЕНТНЫЕ ТЕХНОЛОГИИ, ГЛОБАЛЬНЫЕ СЕТИ, ИНТЕРНЕТ ВЕЩЕЙ: статья в сборнике статей. Вологда: Вологодский государственный педагогический институт, Vol. 1. p. 71-76 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Ontological
Observer
Methodological Problems
Formal Semantics
Programming Languages
Conception
Linguistic Meaning
Metaphysics
Theory of Truth
Anti-realism
Deflationary Theories
Deflationism
Contextuality
Theory of Reference
Disposition

ДЕФЛЯЦИОНИЗМ И НЕКОНСЕРВАТИВНОСТЬ: ПРОБЛЕМА РЕЛЕВАНТНОСТИ?

Ламберов, Л. Д., 2012, In : Философия науки. 3 (54), p. 45-52 8 p.

Research output: Contribution to journalArticleResearchpeer-review

Deflationism
Theory of Truth
Deflationary Theories