Results

eNauka >  Results >  Terms for Natural Deduction, Sequent Calculus and Cut Elimination in Classical Logic.
Title: Terms for Natural Deduction, Sequent Calculus and Cut Elimination in Classical Logic.
Authors: Ghilezan, Silvia 
Issue Date: 2007
Publication: Reflections on Type Theory, Lambda Calculus and the Mind, Essays dedicated to Henk Barendregt
Publisher: Nijmegen : Radboud University
Type: Book parts
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/4257
https://enauka.gov.rs/handle/123456789/576831
URL: http://www.cs.ru.nl/barendregt60/essays/ghilezan/art09_ghilezan.pdf
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.