scientific article; zbMATH DE number 1941933

MaRDI QIDQ4408993zbMATH OpenFDO

Authors Piotr Wojtylak

Publication date 13 October 2003

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

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