Dual tableaux: foundations, methodology, case studies

Dual tableaux: foundations, methodology, case studies

Enregistré dans:
Détails bibliographiques
Auteur principal : Orłowska Ewa (Auteur)
Autres auteurs : Golińska Pilarek Joanna (Auteur)
Format : Livre
Langue : anglais
Titre complet : Dual tableaux: foundations, methodology, case studies / by Ewa Orlowska, Joanna Golińska Pilarek
Publié : Dordrecht : Springer Netherlands , 2011
Springer e-books
Collection : Trends in logic ; 33
Disponibilité : L'accès complet à cette ressource est réservé aux usagers des établissements qui en ont fait l'acquisition.
Sujets :
Mathematical Logic and Foundations
Mathematical Logic and Formal Languages
Logic

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 03C188 Prêt sans prolongation Disponible