Showing 1 - 1 results of 1 for search 'Bimbo, Katalin 1963-', query time: 0.01s Refine Results
  1. 1

    Proof theory sequent calculi and related formalisms by Bimbo, Katalin 1963-

    Published 2015
    Available for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access
    Also available remotely for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access thru EZproxy
    Electronic Resource

    Proof theory sequent calculi and related formalisms

Search Tools: