Mathematical Logic
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer New York

9781475723571, 9781475723557
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Syntactic Interpretations and Normal Forms

1994 ◽  
pp. 115-133
Author(s):  
H.-D. Ebbinghaus ◽  
J. Flum ◽  
W. Thomas
Keyword(s):  
Normal Forms

A Sequent Calculus

1994 ◽  
pp. 59-74 ◽  
Author(s):  
H.-D. Ebbinghaus ◽  
J. Flum ◽  
W. Thomas
Keyword(s):  
Sequent Calculus

Semantics of First-Order Languages

1994 ◽  
pp. 27-57
Author(s):  
H.-D. Ebbinghaus ◽  
J. Flum ◽  
W. Thomas
Keyword(s):  
First Order

Syntax of First-Order Languages

1994 ◽  
pp. 11-25
Author(s):  
H.-D. Ebbinghaus ◽  
J. Flum ◽  
W. Thomas
Keyword(s):  
First Order

Lindström’s Theorems

1994 ◽  
pp. 261-276
Author(s):  
H.-D. Ebbinghaus ◽  
J. Flum ◽  
W. Thomas

Introduction

1994 ◽  
pp. 3-9 ◽  
Author(s):  
H.-D. Ebbinghaus ◽  
J. Flum ◽  
W. Thomas

The Completeness Theorem

1994 ◽  
pp. 75-85
Author(s):  
H.-D. Ebbinghaus ◽  
J. Flum ◽  
W. Thomas
Keyword(s):  
Completeness Theorem

Extensions of First-Order Logic

1994 ◽  
pp. 137-149
Author(s):  
H.-D. Ebbinghaus ◽  
J. Flum ◽  
W. Thomas
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
First Order

The Scope of First-Order Logic

1994 ◽  
pp. 99-114
Author(s):  
H.-D. Ebbinghaus ◽  
J. Flum ◽  
W. Thomas
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
First Order

The Löwenheim-Skolem Theorem and the Compactness Theorem

1994 ◽  
pp. 87-98
Author(s):  
H.-D. Ebbinghaus ◽  
J. Flum ◽  
W. Thomas
Keyword(s):  
Compactness Theorem ◽  
Skolem Theorem
Load More ...
Sign in / Sign up

Export Citation Format

Share Document