Sequent claculi and proof theory

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.

Connexion / Inscription

Saisissez votre e-mail pour vous connecter ou créer un compte

Connexion

Inscription

Mot de passe oublié ?

Nous allons vous envoyer un message pour vous permettre de vous connecter.