Intuitionistic type theory

Riferimento: 9788870881059

Editore: Bibliopolis
Autore: Martin Löf Per
Collana: Studies in proof theory.Lecture notes
In commercio dal: 04 Aprile 2007
Pagine: 92 p., Libro
EAN: 9788870881059

21,00 €