scientific article; zbMATH DE number 2134000

MaRDI QIDQ3159146zbMATH OpenFDO

Authors Shawn Hedman

Publication date 14 February 2005

zbMATH Keywords

introduction to mathematical logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 4041853
• scientific article; zbMATH DE number 3296221
• Introduction to computability logic
• Mathematical logic and model theory. A brief introduction
• Logica
• A first course in mathematical logic and set theory
• Logical foundations of mathematics and computational complexity. A gentle introduction
• scientific article; zbMATH DE number 5869468
• Proofs and algorithms. An introduction to logic and computability
• A first course in logic

Cited in

(13)

• Complexity and decidability
• First-order theories of bounded trees
• scientific article; zbMATH DE number 992300 (Why is no real title available?)
• scientific article; zbMATH DE number 3885853 (Why is no real title available?)
• A simple functional presentation and an inductive correctness proof of the Horn algorithm
• Constraint satisfaction problems over the integers with successor
• scientific article; zbMATH DE number 5500964 (Why is no real title available?)
• scientific article; zbMATH DE number 1278449 (Why is no real title available?)
• Computable Følner monotilings and a theorem of Brudno
• Logica
• Mathematical logic. With a preface by A. Szerzo.
• Nondeterministic first-order T-BAT logic
• Interpreting the arithmetic in Thompson's group \(F\).

Describes a project that uses

Uses Software

• OTTER

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 Q3159146)