Languages
Odintsov, Sergei.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
Larisa Maksimova on implication, interpolation, and definability
by:
Odintsov, Sergei.; SpringerLink (Online service)
(Electronic resources)
Subjects
Philosophy- Logic.
Philosophy- Logics and Meanings of Programs.
Philosophy- Analytic Philosophy.
Philosophy.
Logic.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Philosophy- Arithmetic and Logic Structures.
Philosophy- Mathematical Logic and Foundations.
Analytic Philosophy.
Arithmetic and Logic Structures.