Q4023926
type: Item
instance of: scholarly article
zbMATH Open document ID: 0784.03002
author: Heinz-Dieter Ebbinghaus
author: Jörg Flum
author: Wolfgang Thomas
publication date: 1993-01-23T00:00:00Z
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 108465
zbMATH Keywords: classical predicate logic
zbMATH Keywords: syntax
zbMATH Keywords: semantics
zbMATH Keywords: first-order predicate logic with equality
zbMATH Keywords: second-order logic
zbMATH Keywords: logics with infinitary languages
zbMATH Keywords: logical foundations of logic programming
zbMATH Keywords: elementary equivalence
MaRDI profile type: MaRDI publication profile
Recommended article: A concise introduction to mathematical logic
Recommended article: Mathematical Logic
Recommended article: Q3996610
Recommended article: Q4840188
Recommended article: Q5245319
Recommended article: Q5485956
Recommended article: Q4510393
Recommended article: Q4040429
description: scientific article