First-Order Logic. Preliminaries

• 1 January 1968
• book chapter
• Published by Springer Nature
• p. 43-52
• https://doi.org/10.1007/978-3-642-86718-7_4

Abstract

Keywords

• SYMBOLS
• PREDICATES
• PROPOSITIONAL LOGIC
• READ
• INTEGER
• ARY
• ORDER LOGIC