Proof theory [electronic resource] : sequent calculi and related formalisms / Katalin Bimbó, University of Alberta, Edmonton, Canada.
"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 logic...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
Boca Raton :
CRC Press, Taylor & Francis Group,
[2015]
|
| Series: | Discrete mathematics and its applications
|
| Subjects: | |
| Online Access: | |
| Variant Title: |
Proof Theory: Sequent Calculi and Related Formalisms |
| Format: | Electronic eBook |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:
Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.