First-order dynamic logic


David Harel
Bok Engelsk 1979
Utgitt
Berlin : Springer , 1979
Omfang
133 s. : ill.
ISBN
0387092374. - 3540092374

Bibliotek som har denne