Decidable and undecidable logics with a
β
Γ‘gnes Kurucz; IstvΓ‘n NΓ©meti; IldikΓ³ Sain; AndrΓ‘s Simon
π
Article
π
1995
π
Springer Netherlands
π
English
β 963 KB