Mathematical Logic - Graduate Texts in Mathematics
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 13)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030738389, 9783030738396
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Algebraic Characterization of Elementary Equivalence

2021 ◽  
pp. 257-272
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum ◽  
Wolfgang Thomas
Keyword(s):  
Algebraic Characterization ◽  
Elementary Equivalence

The Completeness Theorem

2021 ◽  
pp. 71-81
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum ◽  
Wolfgang Thomas
Keyword(s):  
Completeness Theorem

Semantics of First-Order Languages

2021 ◽  
pp. 25-54
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum ◽  
Wolfgang Thomas
Keyword(s):  
First Order

A Sequent Calculus

2021 ◽  
pp. 55-70
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum ◽  
Wolfgang Thomas
Keyword(s):  
Sequent Calculus

The Löwenheim–Skolem Theorem and the Compactness Theorem

2021 ◽  
pp. 83-94
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum ◽  
Wolfgang Thomas
Keyword(s):  
Compactness Theorem ◽  
Skolem Theorem

Syntax of First-Order Languages

2021 ◽  
pp. 11-24
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum ◽  
Wolfgang Thomas
Keyword(s):  
First Order

Free Models and Logic Programming

2021 ◽  
pp. 205-256
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum ◽  
Wolfgang Thomas
Keyword(s):  
Logic Programming

Computability and Its Limitations

2021 ◽  
pp. 147-204
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum ◽  
Wolfgang Thomas

Syntactic Interpretations and Normal Forms

2021 ◽  
pp. 111-129
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum ◽  
Wolfgang Thomas
Keyword(s):  
Normal Forms

Introduction

2021 ◽  
pp. 3-9
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum ◽  
Wolfgang Thomas
Load More ...
Sign in / Sign up

Export Citation Format

Share Document