scientific article; zbMATH DE number 966893
From MaRDI portal
Publication:5690145
zbMATH Open0857.03001MaRDI QIDQ5690145FDOQ5690145
Beata Bugajska-Jaszczołt, Tadeusz Prucnal
Publication date: 15 January 1997
Title of this publication is not available (Why is that?)
axiomatizablefirst-order logic determined by a relational systemfirst-order logic determined by the natural numbers with identity
Relational systems, laws of composition (08A02) Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)
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 Q5690145)
