An elementary proof of the completeness
β
Dexter Kozen; Rohit Parikh
π
Article
π
1981
π
Elsevier Science
π
English
β 425 KB