scientific article; zbMATH DE number 1140670
From MaRDI portal
Publication:4385435
zbMath0896.03009MaRDI QIDQ4385435
Publication date: 1 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract deductive systems (03B22)
Related Items (4)
A History of Until ⋮ Is there a neutral metalanguage? ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ An NP-complete fragment of fibring logic
This page was built for publication:
