Analytic and synthetic judgements in type theory

Per Martin-Löf

pp. 87-99


This document is unfortunately not available for download at the moment.

Not implemented yet !