scientific article; zbMATH DE number 824081

zbMath0829.03001MaRDI QIDQ4857787

Uwe Schoening

Publication date: 7 December 1995

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

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) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Logic programming (68N17)

Related Items (1)

Languages of logic and their applications

This page was built for publication: