On the Proof-theoretic Foundation of General Definition Theory
Journal article, 2006
Author
Lars Hallnäs
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Synthese
Vol. 148 3
Subject Categories
Other Mathematics