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