×

zbMATH — the first resource for mathematics

The semantics of predicate logic as a programming language. (English) Zbl 0339.68004

MSC:
68N01 General topics in the theory of software
68Q45 Formal languages and automata
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68T10 Pattern recognition, speech recognition
03B10 Classical first-order logic
PDF BibTeX XML Cite
Full Text: DOI