Percorrer por assunto Intuitionistic logic
Mostrar 5-5 de um total de 5 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
1999 | Permutability of proofs in intuitionistic sequent calculi | Pinto, Luís F.; Dyckhoff, Roy | Artigo | Acesso aberto |