Primiero, G. (2008). Information and knowledge: A constructive type-theoretical approach. Springer.
Citação norma ChicagoPrimiero, Giuseppe. Information and Knowledge: A Constructive Type-theoretical Approach. Netherlands: Springer, 2008.
Citação norma MLAPrimiero, Giuseppe. Information and Knowledge: A Constructive Type-theoretical Approach. Springer, 2008.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.