Proof-theoretic methods in quantifier-free definability

From MaRDI portal

Publication:6453943

Jump to:navigation, search

arXiv2310.03640MaRDI QIDQ6453943

Zoltan A. Kocsis

Publication date: 5 October 2023

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Higher-order logic (03B16)

This page was built for publication: Proof-theoretic methods in quantifier-free definability

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6453943&oldid=36143198"