On Kreisel's notion of validity in post
β
Dov M. Gabbay
π
Article
π
1976
π
Springer Netherlands
π
English
β 515 KB