Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

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

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

Catégories:

Année:

1972

Edition:

2

Editeur::

Vieweg+Teubner Verlag

Langue:

german

Pages:

190

ISBN 10:

3322912744

ISBN 13:

9783322912749

Collection:

Mathematisch-Naturwissenschaftliche Bibliothek 19

Fichier:

PDF, 5.99 MB

IPFS:

,

german, 1972

Ce livre ne peut être téléchargé en raison d'une plainte du titulaire d'un droit

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

— Pravin Lal

Cela peut vous intéresser

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

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

Mots Clefs