Universal instantiation: A study of the role of context in logic

DOI10.1023/A:1005380919258zbMath0965.03003MaRDI QIDQ1590518

Christopher Gauker

Publication date: 1997

Published in: Erkenntnis (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

This page was built for publication: Universal instantiation: A study of the role of context in logic