scientific article; zbMATH DE number 1941933

zbMATH Open1021.03513MaRDI QIDQ4408993FDOQ4408993

Authors: Piotr Wojtylak 

Publication date: 13 October 2003

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

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)