Holdings: Dual tableaux: foundations, methodology, case studies

Saved in:

Bibliographic Details
Main Author :	Orłowska Ewa (Auteur)
Other Authors :	Golińska Pilarek Joanna (Auteur)
Format :	Book
Language :	anglais
Title statement :	Dual tableaux: foundations, methodology, case studies / by Ewa Orlowska, Joanna Golińska Pilarek
Published :	Dordrecht : Springer Netherlands , 2011 Springer e-books
Series :	Trends in logic ; 33
Availability :	L'accès complet à cette ressource est réservé aux usagers des établissements qui en ont fait l'acquisition.
Subjects :	Mathematical Logic and Foundations Mathematical Logic and Formal Languages Logic

Holdings details from Bib. CRDM (Mathématiques)
Location	Call Number	Loan type	Status
Bibliothèque	03C188	Prêt sans prolongation	Available