Proof theory Sequent calculi and related formalisms

By: Bimbo, KatalinMaterial type: TextTextSeries: Discrete mathematics and its applicationsPublication details: Boca raton ; CRC Press ; 2015Description: 376ISBN: 9781466564664Subject(s): Proof theory
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha