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
LEADER 02157clm a2200577 4500
001 PPN159088410
003 http://www.sudoc.fr/159088410
005 20190627111300.0
010 |a 978-94-0070005-5 
017 7 0 |a 10.1007/978-94-007-0005-5  |2 doi 
035 |a (OCoLC)800593787 
035 |a Springer978-94-0070005-5 
100 |a 20120309d2011 k |0frey0103 ba 
101 0 |a eng 
102 |a NL 
105 |a y ||||||1yy 
135 |a dr||||||||||| 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c c  |2 rdamedia 
182 1 |6 z01  |a b 
183 1 |6 z01  |a ceb  |2 rdacarrier 
200 1 |a Dual tableaux: foundations, methodology, case studies  |f by Ewa Orlowska, Joanna Golińska Pilarek 
210 |a Dordrecht  |c Springer Netherlands  |c Springer e-books  |d 2011 
225 0 |a Trends in Logic  |v 33 
230 |a Données textuelles 
303 |a L'impression du document génère 539 p. 
303 |a Description d'après consultation du 12 février 2013 
304 |a Titre provenant de l'écran-titre 
305 |a Numerisation de l'édition de : New York : Springer Science+Business Media, LLC et Springer e-books, 2011 
310 |a L'accès complet à cette ressource est réservé aux usagers des établissements qui en ont fait l'acquisition. 
320 |a Bibliogr. Index 
337 |a Nécessite un lecteur de fichier PDF 
410 | |t Trends in logic  |v 33 
610 2 |a Mathematical Logic and Foundations 
610 2 |a Mathematical Logic and Formal Languages 
610 2 |a Logic 
615 |a @Mathematics and Statistics  |n 11649  |2 Springer 
686 |a 03-02  |c 2010  |2 msc 
686 |a 03Bxx  |c 2010  |2 msc 
686 |a 03F07  |c 2010  |2 msc 
700 1 |3 PPN050653547  |a Orłowska  |b Ewa  |f 1935-....  |4 070 
702 1 |a Golińska Pilarek  |b Joanna  |4 070 
801 3 |a FR  |b Abes  |c 20170609  |g AFNOR 
801 1 |a DE  |b Springer  |c 20120110  |g AACR2 
915 |5 441092208:639573924  |b 21116 
930 |5 441092208:639573924  |b 441092208  |a 03C188  |j u 
979 |a CCFA 
991 |5 441092208:639573924  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 21116  |d CMB  |e BAP  |s d  |c 03C188 
998 |a 849902