scientific article; zbMATH DE number 4189690
From MaRDI portal
Publication:5753925
zbMath0722.03009MaRDI QIDQ5753925
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sentential logicsentential calculiHilbert-style proofscongruence schemeone-premise proof schemeprincipal deductive filters
Subalgebras, congruence relations (08A30) Equational classes, universal algebra in model theory (03C05) Abstract deductive systems (03B22)
Related Items (1)
This page was built for publication:
