المقتنيات: Labelled Deduction

محفوظ في:

التفاصيل البيبلوغرافية
مؤلفون آخرون:	D Agostino, Marcello (المشارك), Basin, David (المشارك), Gabbay, Dov M., 1945- (المشارك), Matthews, Seán (المشارك), Viganò, Luca, 19..- (المشارك)
التنسيق:	Livre numérique
اللغة:	Anglais
منشور في:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
الوصول للمادة أونلاين:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
ملاحظة:	Autre(s) contributeur(s) : Seán Matthews, Luca Viganò Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Labelled Deduction, 978-94-010-5781-3