scientific article; zbMATH DE number 3619844
From MaRDI portal
Publication:4182465
zbMath0399.03001MaRDI QIDQ4182465
Jörg Flum, Heinz-Dieter Ebbinghaus, Wolfgang Thomas
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) General logic (03B99)
Related Items
Accelerating tableaux proofs using compact representations, A feature-based syntax/semantics interface, Maximale monadische Logiken, Implication of clauses is undecidable, A clonoid based approach to some finiteness results in universal algebraic geometry, Combinations of tense and modality for predicate logic
