Archiv für Mathematische Logik und Grundlagenforschung
Latest Publications

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer-Verlag

0003-9268
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Some diophantine forms of gödel's theorem

1980 ◽  
Vol 22 (1-2) ◽  
pp. 51-60 ◽  
Author(s):  
Verena H. Dyson ◽  
James P. Jones ◽  
John C. Shepherdson
Keyword(s):  
Gödel’S Theorem

Interpolation, compactness and JEP in soft model theory

1980 ◽  
Vol 22 (1-2) ◽  
pp. 61-67 ◽  
Author(s):  
Daniele Mundici
Keyword(s):  
Model Theory

Interpolation in Logiken monotoner systeme

1980 ◽  
Vol 22 (1-2) ◽  
pp. 1-17 ◽  
Author(s):  
H. -D. Ebbinghaus ◽  
M. Ziegler

Prefix classes of krom formulae with identity

1980 ◽  
Vol 22 (1-2) ◽  
pp. 43-49 ◽  
Author(s):  
Stal O. Aanderaa ◽  
Egon Börger ◽  
Yuri Gurevich
Load More ...
Sign in / Sign up

Export Citation Format

Share Document