opac, catalogo, online,servizi, biblioteca, sebina

Treatise on intuitionistic type theory

Granström, Johan Georg

2011

  • Lo trovi in
  • Scheda
  • Unimarc
USMN5@Filosofia

Documento disponibile

Richiesta di prestito

Inventario
023 5549
Collocazione
3L. 20s.S.0000. 062 /22
Note
v. 22