Date : 1993-
Editeur / Publisher : London , 1993-
Type : Périodique / Serial
Langue / Language : anglais / English
Logique informatique
Logique mathématique
Relation : Bulletin of the IGPL / Oxford : Oxford University Press , 1993-1995