A simple type theory without Platonic domains
From MaRDI portal
Publication:795812
DOI10.1007/BF00707427zbMath0543.03002MaRDI QIDQ795812
Publication date: 1984
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Cites Work
This page was built for publication: A simple type theory without Platonic domains