Logic in the 1930s: type theory and model theory
Work
Year: 2013
Type: article
Abstract: In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the t... more
Source: Bulletin of Symbolic Logic
Authors Georg Schiemer, Erich H. Reck
Cites: 70
Cited by: 9
Related to: 10
FWCI: 5.528
Citation percentile (by year/subfield): 96.23
Subfield: History and Philosophy of Science
Field: Arts and Humanities
Domain: Social Sciences
Open Access status: green