LOGIC IN THE 1930s: TYPE THEORY AND MODEL THEORY
GEORG SCHIEMER and ERICH H. RECKVolume:
19
Language:
english
Journal:
The Bulletin of Symbolic Logic
DOI:
10.2307/23595459
Date:
December, 2013
File:
PDF, 3.89 MB
english, 2013