Sequent claculi and proof theory
Auteur : Ryo Kashima
Date de publication : 2003
Éditeur : Kyoto University, Research Institute for Mathematical Sciences
Nombre de pages : Non disponible
Résumé du livre
Aucun résumé disponible pour ce livre.
Auteur : Ryo Kashima
Date de publication : 2003
Éditeur : Kyoto University, Research Institute for Mathematical Sciences
Nombre de pages : Non disponible
Aucun résumé disponible pour ce livre.