View of A Syntactic Proof of the Decidability of First-Order Monadic Logic

Return to Article Details A Syntactic Proof of the Decidability of First-Order Monadic Logic Download Download PDF