Studies in Logic and the Foundations of Mathematics

· · · · · · ·
Latest release: June 28, 2014
Mathematical Analysis · Applied · Computer Science
Series
119
Books

About this ebook series

Recursive Model Theory
Recursive Model Theory

Titles

Bundles

Intuitionistic Logic Model Theory and Forcing
Lev D. Beklemishev
Education
RUB 10,605.00
Constructive Order Types
Lev D. Beklemishev
Education
RUB 10,605.00
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Lev D. Beklemishev
Education
RUB 10,605.00
Handbook of Mathematical Logic
J. Barwise
Computers & technology
4.2
RUB 6,942.00
Selected Papers on Automath
R.P. Nederpelt
Education
RUB 2,814.00
Logic, Methodology and Philosophy of Science IX
D. Prawitz
Education
RUB 2,814.00