Incomplete Symbols and the Theory of Logical Types

DOI10.1007/978-94-007-3030-4_31zbMath1319.03001OpenAlexW24310476MaRDI QIDQ5255980

Graham Stevens

Publication date: 22 June 2015

Published in: Probabilities, Laws, and Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-3030-4_31

Mathematics Subject Classification ID

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

This page was built for publication: Incomplete Symbols and the Theory of Logical Types