Algebraic and proof-theoretic aspects of non-classical logics [electronic resources]: papers in honor of Daniele Mundici on the occasion of his 60th birthday/
41
Main Authors: | Mundici, Daniele, 1946-, Aguzzoli, Stefano, SpringerLink (Online service) |
---|---|
Format: | |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,
2007
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-540-75939-3 |
Similar Items
-
Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
by: Jones, Cliff B., et al.
Published: (2007) -
Studies in Hebrew Literature and Jewish Culture [electronic resource]: Presented to Albert van der Heide on the Occasion of his Sixty-Fifth Birthday/
by: Baasten, Martin F. J., et al.
Published: (2007) -
Anatoly Nikolayevich Morozov (on the occasion of his 60th birthday)
by: — —
Published: (2009-12-01) -
Eugene Georgievich Pedachenko (on the occasion of his 60th birthday)
by: — —
Published: (2009-12-01) -
Rewriting, computation and proof : essays dedicated to jean-pierre jouannaud on the occasion of his 60th birthday /
by: Comon, Hubert, et al.
Published: (2007)