scientific article

zbMath1346.68053MaRDI QIDQ3464628

Victor W. Marek, Jeffery B. Remmel

Publication date: 27 January 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17) Proof theory in general (including proof-theoretic semantics) (03F03)