scientific article; zbMATH DE number 6259609
From MaRDI portal
Publication:5397083
zbMath1291.03001MaRDI QIDQ5397083
Susan G. Sterrett, Donald W. Loveland, Richard E. Hodel
Publication date: 19 February 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Recursive functions and relations, subrecursive hierarchies (03D20) Proof theory in general (including proof-theoretic semantics) (03F03) Turing machines and related notions (03D10)
Related Items (4)
Mark Stickel: his earliest work ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Fuzzy Knights and Knaves ⋮ Relevance-Sensitive Truth-Trees
This page was built for publication:
