scientific article; zbMATH DE number 1746885

MaRDI QIDQ4531074zbMATH OpenFDO

Authors Wolfgang Rautenberg

Publication date 29 May 2002

zbMATH Keywords

algorithm theoryformal inferencelogic programmingmathematical logicmodal logicmodel theoryproof theoryself-referential formula

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 970832
• A concise introduction to mathematical logic
• A mathematical introduction to logic.
• scientific article; zbMATH DE number 4027415
• scientific article; zbMATH DE number 641289

Cited in

(11)

• An introduction to mathematical logic and type theory: To truth through proof.
• A mathematical introduction to logic.
• Introduction to mathematical logic
• scientific article; zbMATH DE number 3847355 (Why is no real title available?)
• scientific article; zbMATH DE number 3948222 (Why is no real title available?)
• scientific article; zbMATH DE number 4027415 (Why is no real title available?)
• scientific article; zbMATH DE number 4095421 (Why is no real title available?)
• Logic. A very short introduction
• scientific article; zbMATH DE number 4114587 (Why is no real title available?)
• scientific article; zbMATH DE number 970832 (Why is no real title available?)
• Logic and structure

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