scientific article; zbMATH DE number 4037808

zbMATH Open0637.03006MaRDI QIDQ3777985FDOQ3777985

Authors David Isles 

Publication date 1986

zbMATH Keywords

Gödel's incompleteness theorembound variables of first-order logicreference grammarreferenced derivationsvariables with variable range

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• First-order logic without bound variables: compositional semantics
• A Free Variable Version of the First-Order Predicate Calculus
• On derivability
• scientific article; zbMATH DE number 1980922
• scientific article; zbMATH DE number 4099293

Cited in

(3)

• scientific article; zbMATH DE number 4099293 (Why is no real title available?)
• A finite analog to the Löwenheim-Skolem theorem
• First-order logic without bound variables: compositional semantics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3777985)