scientific article; zbMATH DE number 7015111

zbMath1404.03009MaRDI QIDQ4619817

Dov M. Gabbay

Publication date: 7 February 2019

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

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematics in the 21st century (01A61) Logic in computer science (03B70) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Related Items (2)

An informational view of classical logic ⋮ An NP-complete fragment of fibring logic

This page was built for publication: