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

Couverture : Open Library

← Fiche de l'œuvre

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

Détails de l'édition

ISBN-13
9783540122111
ISBN-10
3540122117
EAN
9783540122111
Éditeur
Springer (Berlin, [B.R.D.] ; Heidelberg ; New York ; Tokyo)
Date de publication
1 janvier 1983
Langue
ger
Pages
230
Provenance des données
  • language BnF Catalogue général · 23 juillet 2026
  • page_count BnF Catalogue général · 23 juillet 2026
  • publication_date Open Library · 2 août 2026
  • title Open Library · 2 août 2026