APA-Zitierstil (7. Ausg.)

Smith, J. (1978). On the relation between a type theoretic and a logical formulation of the theory of constructions. Univ., Dep. of Mathematics.

Chicago-Zitierstil (17. Ausg.)

Smith, Jan. On the Relation Between a Type Theoretic and a Logical Formulation of the Theory of Constructions. Göteborg: Univ., Dep. of Mathematics, 1978.

MLA-Zitierstil (9. Ausg.)

Smith, Jan. On the Relation Between a Type Theoretic and a Logical Formulation of the Theory of Constructions. Univ., Dep. of Mathematics, 1978.