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

Metamathematik

Main
Mathematics - Logic
Metamathematik

Metamathematik

Paul Lorenzen

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Mathematics - Logic

Տարի:

1980

Հրատարակում:

2nd

Հրատարակչություն:

Bibliographisches Institut

Լեզու:

german

Էջեր:

176

ISBN 10:

3860258702

ISBN 13:

9783860258705

Ֆայլ:

PDF, 12.17 MB

IPFS:

,

german, 1980

Կարդալ Առցանց

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

Paul Lorenzen (auth.) — Formal Logic

Edgar M. E. Wermuth — Kurze Einführung in die formale Logik (Ausbildung von Mathematisch-Technischen Assistenten)

Elke Brendel — Logik-Skript 1. Wahrheit und logisches Schließen

Michael Wolff — Abhandlung über die Prinzipien der Logik. Eine Verteidigung des logischen Monismus

Elke Brendel — Logik-Skript 1. Wahrheit und logisches Schließen

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

Wolfgang Spohn, Peter Schroeder-Heister, Erik J. Olsson — Logik in der Philosophie (Philosophische Impulse Band 6)

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

Georg Brun — Die richtige Formel: Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm

Timm Lampert — Klassische Logik: Einführung mit interaktiven Übungen

Corina Strößner — Die Logik der Normalität: Untersuchungen zur Semantik von Normalitätsurteilen

Daniel Alscher — Theorien der Reellen Zahlen und Interpretierbarkeit

Gerhard Schurz — Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik

Kuno Lorenz — Von der dialogischen Logik zum dialogischen Konstruktivismus

Gerhard Schurz — Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik

Paul Lorenzen — Formale Logik

Ulrich Blau — Die dreiwertige Logik der Sprache: Ihre Syntax, Semantik und Anwendung in der Sprachanalyse

Pirmin Stekeler-Weithofer — Grundprobleme der Logik: Elemente einer Kritik der formalen Vernunft

Karel Lambert; Gordon Brittan; Joachim Schulte — Eine Einführung in die Wissenschaftsphilosophie

Werner Stelzner (editor) — Philosophie und Logik: Frege-Kolloquien 1989 und 1991

Paul Lorenzen — Formale Logik

Paul Lorenzen — Formale Logik

Horst Wessel (editor); Wolf Kummer (editor); Klaus Wuttich (editor); Werner Wolff (editor) — Logik und empirische Wissenschaften: Beiträge deutscher und sowjetischer Philosophen und Logiker

J. A. Petrov; Horst Wessel — Logische Probleme der Realisierbarkeits- und Unendlichkeitsbegriffe

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

Victor Kraft (auth.) — Der Wiener Kreis: Der Ursprung des Neopositivismus Ein Kapitel der jüngsten Philosophiegeschichte

Wolfgang Bibel (auth.) — Wissensrepräsentation und Inferenz: Eine grundlegende Einführung

Rudolf Wohlgenannt (auth.) — Was ist Wissenschaft?

Michael Wolff — Abhandlung über die Prinzipien der Logik: Mit einer Rekonstruktion der Aristotelischen Syllogistik

K.H. Bläsius, H.-J. Bürckert — Deduktionssysteme: Automatisierung des logischen Denkens

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

Sibylle Krämer — Symbolische Maschinen. Die Idee der Formalisierung in geschichtlichem Abriss

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

Հիմնական արտահայտություններ