A note on imperative logic
β
Hector Neri Castaneda
π
Article
π
1955
π
Springer Netherlands
π
English
β 280 KB