Artigo
Acesso aberto
Revisado por pares
A typed logic of partial functions reconstructed classically
1994; Springer Science+Business Media; Volume: 31; Issue: 5 Linguagem: Inglês
10.1007/bf01178666
ISSN1432-0525
AutoresCliff B. Jones, C.A. Middelburg,
Tópico(s)Logic, Reasoning, and Knowledge
Referência(s)