scientific article; zbMATH DE number 2232835

zbMATH Open1113.03307MaRDI QIDQ5708201

A. Tortrat

Publication date: 28 November 2005

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

zbMATH Keywords

propositional logicset theorymodels of arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Models of arithmetic and set theory (03C62)

Related Items (4)

Formal categorical reasoning ⋮ Title not available (Why is that?) ⋮ Predicative logic and formal arithmetic ⋮ 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 Q5708201)