A Proof Procedure for the First Order Logic
Miodrag Kapetanović; Aleksandar Krapež
Publications de l'Institut Mathématique (1989)
- Volume: 45(59), Issue: 65, page 3-5
- ISSN: 0350-1302
Miodrag Kapetanović; Aleksandar Krapež
Publications de l'Institut Mathématique (1989)