Logique mathématiques informatique
Masson
Nguyen Huy Xuong
Masson c1991 Logique mathématiques informatique 7
所蔵館1館
Raymond M. Smullyan ; traduit de l'anglais par Ithier
Masson c1995 Logique mathématiques informatique 16
Alain Poli ; préface de G. Cullmann ; avec la participation de L. Bénéteau ...[et al.]
Masson c1995 Logique mathématiques informatique 15
: pbk
Alain Poli, Llorenç Huguet ; préface de G. Cullmann
Masson c1989 Logique mathématiques informatique 1