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

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

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author
E-book
pdf
Price
15.99 £

Options

  • Formats: pdf
  • ISBN: 9783642617249
  • Publication Date: 12 Dec 2013
  • Publisher: Springer Berlin Heidelberg
  • Product language: German
  • Drm Setting: DRM