Intuitionistic Type Theory

Copertina anteriore
Bibliopolis, 1984 - 91 pagine

Dall'interno del libro

Cosa dicono le persone - Scrivi una recensione

Nessuna recensione trovata nei soliti posti.

Sommario

Introductory remarks
1
Explanations of the forms of judgement
7
Rules of equality
14
Copyright

9 sezioni non visualizzate

Parole e frasi comuni

Informazioni bibliografiche