scientific article; zbMATH DE number 1521608

zbMath0955.03004MaRDI QIDQ4510393

R. Cori, Daniel Lascar

Publication date: 26 October 2000

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

zbMATH Keywords

textbookBoolean algebrapropositional logicresolutionmathematical logicpredicate logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Logical aspects of Boolean algebras (03G05)

Related Items (7)

RIGOUR AND PROOF ⋮ Logical Autobiography 50 ⋮ Induced subgraphs of zero-divisor graphs ⋮ Compositionality solves Carnap's problem ⋮ Boolean algebras of conditionals, probability and logic ⋮ Unnamed Item ⋮ Representation of squares by monic second degree polynomials in the field of 𝑝-adic meromorphic functions

This page was built for publication: