Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων

Einführung in die Mathematische Logik: Teil II...

Main
Engineering
Einführung in die Mathematische Logik:...

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

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

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Κατηγορίες:

Έτος:

1972

Έκδοση:

2

Εκδότης:

Vieweg+Teubner Verlag

Γλώσσα:

german

Σελίδες:

190

ISBN 10:

3322912744

ISBN 13:

9783322912749

Σειρές:

Mathematisch-Naturwissenschaftliche Bibliothek 19

Αρχείο:

PDF, 5.99 MB

IPFS:

,

german, 1972

Αυτό το βιβλίο δεν είναι διαθέσιμο για λήψη λόγω καταγγελίας του κατόχου των πνευματικών δικαιωμάτων

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Ίσως σας ενδιαφέρει

Dieter Klaua — Allgemeine Mengenlehre: Ein Fundament der Mathematik

Surányi, János — Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.

P. Schreiber — Theorie der geometrischen Konstruktionen

Karel Berka, Lothar Kreiser — Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik

Dieter Klaua — Elementare Axiome der Mengenlehre-Einführung in die Allgemeine Mengenlehre

— Encyclopaedie der mathematischen Wissenschaften und Anwendungen. Algebra und Zahlentheorie

Berka K., Kreiser L. — Logik-Texte: kommentierter Auswahl zur Geschichte der modernen Logik

Michel Métivier (auth.) — Reelle und Vektorwertige Quasimartingale und die Theorie der Stochastischen Integration

Reinhard Pöschel, Lev A. Kalužnin (auth.) — Funktionen- und Relationenalgebren: Ein Kapitel der Diskreten Mathematik

Prof. Dr. rer. nat. habil. Siegfried Prössdorf (auth.) — Einige Klassen Singulärer Gleichungen

Siegfried Gottwald — Mehrwertige Logik: Eine Einführung in Theorie und Anwendungen

Dieter Klaua — Mengenlehre

— Einführung in die reelle Analysis: Band I Funktionen einer reellen Veränderlichen

Peter Lutzeier — Modelltheorie für Linguisten

D. Klaua — Allgemeine Mengenlehre

Karel Berka; Lothar Kreiser — Logik-Texte Kommentierte Auswahl zur Geschichte der modernen Logik

Lothar Kreiser (editor); Siegfried Gottwald (editor); Werner Stelzner (editor) — Nichtklassische Logik: Eine Einführung

Karel Berka; Lothar Kreiser; Siegfried Gottwald; Werner Stelzner — Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik

G. P. Tolstow (editor); Rolf Kühne (editor) — Maß und Integral

Dr. rer. nat. Norbert Sieber, Dr. sc. nat. Hans-Jürgen Sebastian, Dr. rer. nat. Günter Zeidler (auth.) — Grundlagen der Mathematik, Abbildungen, Funktionen, Folgen

Prof. Dr. Gerd Wechsung (auth.) — Vorlesungen zur Komplexitätstheorie

Prof. Dr. rer. nat. Günter Scheja, Prof. Dr. rer. nat. Uwe Storch (auth.) — Lehrbuch der Algebra: Unter Einschluß der linearen Algebra Teil 1

Dr. rer. nat. Hans Hermes (auth.) — Einführung in die mathematische Logik: Klassische Prädikatenlogik

Rainer Wust — Mathematik für Physiker und Mathematiker/ 1, Reelle Analysis und Lineare Algebra

Dieter Klaua — Grundbegriffe der axiomatischen Mengenlehre: Teil 2 Einführung in die Allgemeine Mengenlehre II/2

Friedrichsdorf, Ulf — Einführung in die klassische und intensionale Logik

Wolfgang Stegmüller — Neue Betrachtungen über Aufgaben und Ziele der Wissenschaftstheorie. Wahrscheinlichkeit—Theoretische Begriffe—Induktion. Das ABC der modernen Wahrscheinlichkeitstheorie und Statistik

Eberhard Bergmann, Helga Noll (auth.) — Mathematische Logik mit Informatik-Anwendungen

Wolfgang Stegmüller, Matthias Varga von Kibéd — Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

Bruno Buchberger, Franz Lichtenberger (auth.) — Mathematik für Informatiker I: Die Methode der Mathematik

Manfred Herrmann, Andor Kertész, Otto Krötenheerdt — Beiträge zur Algebra und Geometrie 1