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
Computers & technology
$275.00$220.00
Constructive Order Types
Lev D. Beklemishev
Computers & technology
$275.00$220.00
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Lev D. Beklemishev
Computers & technology
$275.00$220.00
Handbook of Mathematical Logic
J. Barwise
Computers & technology
4.2
$180.00$144.00
Selected Papers on Automath
R.P. Nederpelt
Science & math
$72.95$58.36
Logic, Methodology and Philosophy of Science IX
D. Prawitz
Science & math
$72.95$58.36