scientific article; zbMATH DE number 6799053
From MaRDI portal
Publication:4588560
zbMath1373.03001MaRDI QIDQ4588560
John Etchemendy, Dave Barker-Plummer, Jon Barwise
Publication date: 27 October 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items
Hybrid reasoning using universal attachment ⋮ Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization ⋮ Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
Uses Software