Concepts of Proof in Mathematics, Philosophy, and Computer Science

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Concepts of Proof in Mathematics, Philosophy, and Computer Science
 
Publisher Herausgeber
Walter de Gruyter
 
Place of publishing Erscheinungsort
Oldenburg, Deutschland
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kuznets, Roman Craig Interpolation via HypersequentsBuchbeitrag Book Contribution 2016
2Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. Herbrand Confluence for First-Order Proofs with Π<sub>2</sub>-CutsBuchbeitrag Book Contribution2016