scientific article; zbMATH DE number 4037808

zbMATH Open0637.03006MaRDI QIDQ3777985FDOQ3777985

Authors: David Isles 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

Cited In (2)

• Title not available (Why is that?)
• A finite analog to the Löwenheim-Skolem theorem

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)