G. Hasenjaeger: ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Mathematical Interpretation of Formal Systems

Mathematical Interpretation of Formal Systems

Elsevier Science

Th. Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin and J. ЕЃoЕ› (Eds.)

წელი:

1955

ენა:

english

ფაილი:

PDF, 1.81 MB

0 / 0

english, 1955

2

Introduction to the Basic Concepts and Problems of Modern Logic

Introduction to the Basic Concepts and Problems of Modern Logic

Springer Netherlands

G. Hasenjaeger (auth.)

წელი:

1971

ენა:

english

ფაილი:

PDF, 7.18 MB

0 / 0

english, 1971

3

Mathematical interpretation of formal systems

Mathematical interpretation of formal systems

Skolem T., Hasenjaeger G., Kreisel G., Robinson A., et al.

წელი:

1971

ენა:

english

ფაილი:

DJVU, 740 KB

0 / 0

english, 1971

4

Grundzüge der Mathematischen Logik

Grundzüge der Mathematischen Logik

Springer-Verlag Berlin Heidelberg

D. Dr. Heinrich Scholz Em. Ord. Professor, Dr. Gisbert Hasenjaeger Apl. Professor (auth.)

წელი:

1961

ენა:

german

ფაილი:

PDF, 19.41 MB

0 / 0

german, 1961

5

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), E. Börger, G. Hasenjaeger, D. Rödding (eds.)

წელი:

1984

ენა:

english

ფაილი:

DJVU, 3.29 MB

0 / 0

english, 1984