Annals of pure and applied logic / managing ed. I. Moerdijk, S. N Artemov, J.-Y. Girard... [et al.]

Date : 199 -

Editeur / Publisher : [Amsterdam] : Elsevier , 199?-

Type : Périodique / Serial

Langue / Language : anglais / English

Logique mathématique

Association for symbolic logic (Auteur / author)

Relation : Annals of pure and applied logic / Amsterdam : North-Holland , 1983-2002