Logic in the 1930s: Type Theory and Model Theory
Schiemer, Georg, Reck, Erich H.Volume:
19
Language:
english
Journal:
Bulletin of Symbolic Logic
DOI:
10.1017/S1079898600010568
Date:
September, 2013
File:
PDF, 378 KB
english, 2013