On the Proof-theoretic Foundation of General Definition Theory
Artikel i vetenskaplig tidskrift, 2006

Författare

Lars Hallnäs

Data- och informationsteknik, Datavetenskap, Datavetenskap, Interaction Design Collegium (Chalmers)

Synthese

Vol. 148

Ämneskategorier

Annan matematik