Proof theory sequent calculi and related formalisms /
"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...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Boca Raton :
CRC Press, Taylor & Francis Group,
[2015]
|
Series: | Discrete mathematics and its applications.
|
Subjects: | |
Online Access: | Connect to the full text of this electronic book |
Internet
Connect to the full text of this electronic bookAvailable Online
Call Number: |
QA9.54 .B55 2015 |
|
---|---|---|
Call Number | Status | Get It |
QA9.54 .B55 2015 | Available |