Artigo
Revisado por pares
Elementi di logica matematica
1966; Springer Science+Business Media; Volume: 18; Linguagem: Italiano
ISSN
1572-8730
Autores Tópico(s)Logic, programming, and type systems
Referência(s)