Some unpublished papers of Jean van Heijenoort

DOI10.1016/0315-0860(88)90067-5zbMath0652.01026OpenAlexW1998443275MaRDI QIDQ1106823

Irving H. Anellis

Publication date: 1988

Published in: Historia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0315-0860(88)90067-5

zbMATH Keywords

falsifiability-tree method

Mathematics Subject Classification ID

Development of contemporary mathematics (01A65) History of mathematical logic and foundations (03-03)

Related Items (3)

Guest editor's introduction: JvH100 ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective ⋮ Jean van Heijenoort's contributions to proof theory and its history

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some unpublished papers of Jean van Heijenoort