Residuated lattices : an algebraic glimpse at substructural logics

Na minha lista:
Detalhes bibliográficos
Auteurs principaux: Galatos, Nikolaos, 19..-, Jipsen, Peter, 1964- (Auteur), Kowalski, Tomasz, 19..- (Auteur)
Formato: Livre papier
Idioma:Anglais
Publicado em: Amsterdam ; Boston ; Heidelberg [etc.] : Elsevier cop. 2007.
Colecção:Studies in logic and the foundation of mathematics volume 151
Assuntos:
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Residuated lattices, an algebraic glimpse at substructural logics, Nikolaos Galatos..., Peter Jipsen..., Tomasz Kowalski... [et al.], 20XX, Amsterdam, Elsevier, Studies in logic and the foundations of mathematics, 978-00-804-8964-3
LEADER 01293nam a22002537a 4500
001 716626
008 070823t20072007xxe ||| |||| 00| 0 eng d
009 PPN116842806
020 |a 9780444521415 (rel.) 
020 |a 0444521410 (rel.) 
041 0 |a eng 
084 |a 03G10. 2000 
100 1 |a Galatos, Nikolaos,  |d 19..- 
245 1 0 |a Residuated lattices :  |b an algebraic glimpse at substructural logics   |c Nikolaos Galatos..., Peter Jipsen..., Tomasz Kowalski... [et autres]. 
260 |a Amsterdam ;  |a Boston ;  |a Heidelberg [etc.] :  |b Elsevier,  |c cop. 2007. 
300 |a 1 volume (xxi-509 pages) :  |b illustrations ;  |c 25 cm. 
490 1 |a Studies in logic and the foundation of mathematics  |v volume 151 
504 |a Bibliographie p. 479-495. Index 
650 |a Logique algébrique 
650 |a Théorie des treillis 
700 1 |a Jipsen, Peter,  |d 1964-  |4 aut 
700 1 |a Kowalski, Tomasz,  |d 19..-  |4 aut 
776 0 |0 281696462  |t Residuated lattices  |o an algebraic glimpse at substructural logics  |f Nikolaos Galatos..., Peter Jipsen..., Tomasz Kowalski... [et al.]  |d 20XX  |c Amsterdam  |n Elsevier  |s Studies in logic and the foundations of mathematics  |z 978-00-804-8964-3 
997 |0 716626  |1 Livre papier  |a Ressource papier  |b INSA  |c 0/Bourges/  |c 1/Bourges/INSA CVL/  |z Bourges, INSA CVL, 511.3 GAL  |z Bourges, INSA CVL, 511.3 GAL