Recherche

73 résultat(s) · 346 ms

Recherche en cours…
Couverture : POST-ANALYTIC TRACTATUS; ED. BY BARRY STOCKER.

POST-ANALYTIC TRACTATUS; ED. BY BARRY STOCKER.

2004

Wittgenstein liest Frege

Wittgenstein liest Frege

Kai Denker

2010

Couverture : Louis Couturattrait De Logique Algorithmique

Louis Couturattrait De Logique Algorithmique

Louis Couturat

2010

Couverture : Frege’s Notations

Frege’s Notations

Gregory Landini

2012

The Collected Works of John von Neumann

The Collected Works of John von Neumann

John Von Neumann

1963

Couverture : Analysis and logic

Analysis and logic

2002

Couverture : From Trotsky to Gödel

From Trotsky to Gödel

Anita Feferman Burdman

2001

Couverture : Selected logic papers

Selected logic papers

Willard Van Orman Quine

1995

Couverture : The Continuum Companion to Philosophical Logic

The Continuum Companion to Philosophical Logic

2011

Couverture : Andrzej Mostowski and foundational studies

Andrzej Mostowski and foundational studies

2008

Einführung in die symbolische Logik

Einführung in die symbolische Logik

Rudolf Carnap

1960

Couverture : Symbolic logic

Symbolic logic

Harry J. Gensler

1990

Gottlob Freges "Logische Untersuchungen"

Gottlob Freges "Logische Untersuchungen"

Rainer Stuhlmann-Laeisz

1995

Couverture : Matrix logic

Matrix logic

August Stern

1988

Couverture : Logic, language, and computation

Logic, language, and computation

1997

Couverture : Philosophical applications of free logic

Philosophical applications of free logic

1991

Elements of symbolic logic

Elements of symbolic logic

Hans Reichenbach

1947

Couverture : Frege

Frege

1996

Œuvres choisies

Œuvres choisies

Zygmunt Janiszewski

1962

Couverture : Selbstreferenz. Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström

Selbstreferenz. Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström

Matthias Varga von Kibéd, Wolfgang Stegmüller

1983

Couverture : Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schliessen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schliessen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

Matthias Varga von Kibéd, Wolfgang Stegmüller

1983

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

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

Matthias Varga von Kibéd, Wolfgang Stegmüller

1983

Lambda-conversion and logic

Lambda-conversion and logic

Adrian Rezus

1981

Couverture : Wittgenstein's Tractatus and the modern arts

Wittgenstein's Tractatus and the modern arts

Jorn. Bramann

1985