Proof nets and cliques: towards the understanding of analytical proofs

04 / 2006

Michele Pagani

PhD Thesis, Università Roma Tre / Université Aix-Marseille II

Download: tesi.pdf | tesi.ps

BibTeX