Remarques sur le système NF1
Remarques sur le système NF1
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Logique sans igalité et (k,p)-quasivalence
Logique sans igalité et (k,p)-quasivalence
2 Reunião do Comitê Consultivo das Nações Unidas
Joaquim da Costa Ribeiro
Joaquim da Costa Ribeiro