Natural deduction

a proof-theoretical study

by

128 pages

English language

Published 2006 by Dover Publications.

OCLC Number:
61296001

View on OpenLibrary

No rating (0 reviews)

2 editions

Subjects

  • Gentzen, Gerhard.
  • Logic.
  • Logic, Symbolic and mathematical.
  • Modality (Logic)