American Logic in the 1920s

DOI10.2307/421156zbMath0858.01025OpenAlexW2120488480MaRDI QIDQ4858803

Martin Davis

Publication date: 25 March 1997

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1d388e97a708825f1ea2f5e9f37b0e10fb03bc93

zbMATH Keywords

LewisPostChurchCurryLangford

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items (2)

My Life as a Logician ⋮ Alonzo church:his life, his work and some of his miracles

Cites Work

• Why Gödel didn't have church's thesis

This page was built for publication: American Logic in the 1920s