scientific article

From MaRDI portal

Publication:3999578

Jump to:navigation, search

zbMath0721.68001MaRDI QIDQ3999578

Friedrich L. Bauer, Martin Wirsing

Publication date: 23 January 1993

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

zbMATH Keywords

completeness propositional logic Boolean functions soundness tautologies Deductive systems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Theory of computing (68Q99)

Related Items (3)

A Homage to Martin Wirsing ⋮ Ode to the PST ⋮ Modal Satisfiability via SMT Solving

This page was built for publication:

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