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

Connectez-vous pour ajouter ce livre à votre bibliothèque.

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

Autre Première publication : 1983

Sujets

Épistémologie Philosophie analytique Logique mathématique

Éditions (1)

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

Springer (Berlin, [B.R.D.] ; Heidelberg ; New York ; Tokyo) · 1983 · 9783540122111