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