Proof theory sequent calculi and related formalisms /

Proof theory sequent calculi and related formalisms /

Show other versions (2)

"Sequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction systems are, and they are much less known than they should be. Sequent calculi were designed as a theoretical framework for investigations of...

Full description

Bibliographic Details
Main Author: Bimbó, Katalin, 1963-
Format: eBook
Language:English
Published: Boca Raton : CRC Press, Taylor & Francis Group, [2015]
Series:Discrete mathematics and its applications.
Subjects:
Proof theory.
Théorie de la preuve.
MATHEMATICS > General.
MATHEMATICS > Arithmetic.
MATHEMATICS > Set Theory.
Online Access:Connect to the full text of this electronic book
Show all versions (3)