Logic from Russell to Church
From MaRDI portal
Publication:2433859
zbMath1177.03001MaRDI QIDQ2433859
No author found.
Publication date: 31 October 2006
Published in: Handbook of the History of Logic (Search for Journal in Brave)
paradoxesTarskitruthHilbertproof theoryRussellFregeself-referenceBrouwerGödellambda-calculusGentzenMeinongLeśniewskiPostSkolemChurchHeytingCurryHerbrand
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
This page was built for publication: Logic from Russell to Church