scientific article

zbMATH Open1214.03043MaRDI QIDQ3069241

Branislav Boričić

Publication date: 25 January 2011

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

zbMATH Keywords

advanced introductory textbook

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (5)

Logic of proofs ⋮ [[Publication:5311060|Title not available (Why is that?)]] ⋮ Rational proofs ⋮ Logic. Commented exercises and solutions ⋮ [[Publication:5365500|Title not available (Why is that?)]]

Recommendations

• Logic of proofs 👍 👎
• Logic and mathematics 👍 👎
• Logic of proofs and provability 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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