Buscas alternativas:
classical quantifiers » classical antiques (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '"Non-Classical Quantifiers"', tempo de busca: 0,15s

1

Assuntos: “...Non-Classical Quantifiers...”

Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos

Publicado em 2010
Acessar documento
Dissertação