scientific article; zbMATH DE number 427553

zbMATH Open0787.03001MaRDI QIDQ3137311FDOQ3137311

Authors: René Cori, D. Lascar 

Publication date: 6 October 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1521608
• scientific article; zbMATH DE number 193061
• A first course in logic
• scientific article; zbMATH DE number 1968950
• scientific article; zbMATH DE number 4027415

zbMATH Keywords

Boolean algebrafiltersidealscompleteness theoremspredicate calculuspropositional calculusStone's theorem

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra
• A first course in logic
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3137311)