Buchportal für Bücher die eine ISBN tragen.

Mathematik: Logik

Buchcover Zur Geschichte der Logik

Zur Geschichte der Logik

Grundlagen und Aufbau der Wissenschaft im Urteil der Mathematischen Denker

Federigo Enriques

Vieweg & Teubner

Buchcover Grundzüge der theoretischen Logik

Grundzüge der theoretischen Logik

Springer Berlin

Buchcover Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Posit

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Posit

Springer Berlin

Buchcover Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische

Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische

Springer Berlin

Buchcover Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Meng

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Meng

Springer Berlin

Buchcover Personelle und Statistische Wahrscheinlichkeit

Personelle und Statistische Wahrscheinlichkeit

Personelle Wahrscheinlichkeit und Rationale Entscheidung

Wolfgang Stegmüller

Springer Berlin

Buchcover Einleitung in die Mengenlehre

Einleitung in die Mengenlehre

Abraham Adolf Fraenkel

Springer Berlin

Buchcover Einleitung in die Mengenlehre

Einleitung in die Mengenlehre

Eine gemeinverständliche Einführung in das Reich der unendlichen Größen

Abraham Adolf Fraenkel

Springer Berlin

Buchcover Zehn Vorlesungen Über die Grundlegung der Mengenlehre

Zehn Vorlesungen Über die Grundlegung der Mengenlehre

Gehalten in Kiel auf Einladung der Kant-Gesellschaft, Ortsgruppe Kiel, vom 8.–12. Juni 1925

Vieweg & Teubner

Buchcover Metamathematische Methoden in der Geometrie

Metamathematische Methoden in der Geometrie

W. Schwabhäuser

Springer Berlin

91 Treffer 1 2 3 4 5 ...