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), Computing Science, Interaction Design Collegium (Chalmers)

Synthese

Vol. 148 3

Subject Categories

Other Mathematics

More information

Created

10/8/2017