A simple, purely algebraic proof of the completeness of some first order logics
type: Item
instance of: scholarly article
title: A simple, purely algebraic proof of the completeness of some first order logics
zbMATH Open document ID: 0306.02059
DOI: 10.1007/BF02485226
published in: Algebra Universalis
publication date: 1975-01-01T00:00:00Z
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 08Axx
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03C35
zbMATH DE Number: 3478877
author: Hajnal Andréka
author: István Németi
MaRDI profile type: Publication
cites work: Q5616133
cites work: Q5681997
cites work: Q5596741
description: scientific article; zbMATH DE number 3478877