Mostra 1 - 1 risultati di 1 ricerca 'Bimbo, Katalin 1963-', tempo di risposta: 0,01s Raffina i risultati
  1. 1

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

    Pubblicazione 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

Strumenti per la ricerca: