First-order dynamic logic
Auteur :
Harel, D.
Éditeur :
Harel, D.
ISBN :
9783540092377
Date de publication :
1 avr. 1979
Dimensions :
23,4 x 15,6 x 0,8 cm
Poids :
480 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne