Decidability and Finite Axiomatizability
โ
James H. Schmerl
๐
Article
๐
1981
๐
Association for Symbolic Logic
๐
English
โ 428 KB