SFX by Ex Libris Inc.

Contains information about title and source of a journal
Källa:	On the relation between a type theoretic and a logical formulation of the theory of constructions Smith, Jan
	år:1978

Vill du beställa en artikelkopia?

© 2024 SFX by Ex Libris Inc. | Cookie Policy
CrossRef Aktiverad

On the relation between a type theoretic and a logical formulation of the theory of constructions Smith, Jan