Proof theory: sequent calculi and related formalisms
Auteur :
Bimbo, Katalin
Éditeur :
Taylor & Francis Inc
ISBN :
9781466564664
Date de publication :
20 août 2014
Dimensions :
23,4 x 15,6 cm
Poids :
760 g
Langue :
Anglais
Pays d'origine :
USA