Tadeusz Prucnal

Publication Activity (10 Years)

Years Active: 1975-1998
Publications (10 Years): 0

Publications

Tadeusz Prucnal
On the Logic Determined by some Finite Relational Systems. Reports Math. Log. 32 (1998)
Beata Bugajska-Jaszczolt, Tadeusz Prucnal
Axiomatization of the Logic Determined by the System of Natural Numbers with Identity. Reports Math. Log. 28 (1994)
Witold A. Pogorzelski, Tadeusz Prucnal
Structural completeness of the first-order predicate calculus. Math. Log. Q. 21 (1) (1975)