TermsVector search on Z-Library for erfiillbar

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Բանալի բառերի որոնում

Main
Բանալի բառերի որոնում

1

Aussagenlogik: Deduktion und Algorithmen

Aussagenlogik: Deduktion und Algorithmen

Vieweg+Teubner Verlag

Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)

Տարի:

1994

Լեզու:

german

Ֆայլ:

PDF, 18.59 MB

0 / 0

german, 1994

2

Logik für Informatiker: Eine Einführung

Logik für Informatiker: Eine Einführung

Vieweg+Teubner Verlag

Dr. rer. nat. Bernhard Heinemann, Prof. Dr. rer. nat. Klaus Weihrauch (auth.)

Տարի:

1992

Լեզու:

german

Ֆայլ:

PDF, 13.73 MB

0 / 0

german, 1992

3

Collected Works, Vol. I: Publications 1929-1936 (Oxford, 1986)

Collected Works, Vol. I: Publications 1929-1936 (Oxford, 1986)

Kurt Gödel / Solomon Feferman et al.

Տարի:

2023

Ֆայլ:

PDF, 69.02 MB

4.0 / 0

2023

4

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel, S. Feferman (editor), John W. Dawson Jr. (editor), Stephen C. Kleene (editor), G. Moore (editor), R. Solovay (editor), Jean van Heijenoort (editor)

Տարի:

1986

Լեզու:

english

Ֆայլ:

PDF, 27.79 MB

3.0 / 0

english, 1986

5

Collected Works Volume I Publications 1929 1936 (Oxford University Press, USA)

Collected Works Volume I Publications 1929 1936 (Oxford University Press, USA)

Լեզու:

english

Ֆայլ:

PDF, 26.18 MB

3.0 / 0

english

6

Kurt Gödel: Collected Works volume I

Kurt Gödel: Collected Works volume I

Oxford Univesity Press

Տարի:

1986

Լեզու:

english

Ֆայլ:

PDF, 26.19 MB

3.0 / 0

english, 1986

7

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Oxford University Press, USA

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

Տարի:

1986

Լեզու:

english

Ֆայլ:

PDF, 26.18 MB

3.0 / 4.0

english, 1986

8

Vollständige Systeme modaler und intuitionistischer Logik

Vollständige Systeme modaler und intuitionistischer Logik

Springer-Verlag Berlin Heidelberg

Prof. Dr. Kurt Schütte (auth.)

Տարի:

1968

Լեզու:

german

Ֆայլ:

PDF, 3.70 MB

0 / 0

german, 1968

9

Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe

Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe

Vieweg+Teubner Verlag

Dr. sc. nat. Günter Asser (auth.)

Տարի:

1972

Լեզու:

german

Ֆայլ:

PDF, 5.99 MB

0 / 0

german, 1972

10

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

Springer-Verlag Berlin Heidelberg

Wolfgang Stegmüller, Matthias Varga von Kibéd

Տարի:

1984

Լեզու:

german

Ֆայլ:

PDF, 4.36 MB

0 / 0

german, 1984

11

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.

Verlag der Ungarischen Akademie der Wissenschaften

Surányi, János

Տարի:

1959

Լեզու:

german

Ֆայլ:

PDF, 11.07 MB

0 / 0

german, 1959