[WORLD SCIENTIFIC Proceedings of the Noncommutative Geometry and Physics 2008, on K-Theory and D-Branes & Proceedings of the RIMS Thematic Year 2010 on Perspectives in Deformation Quantization and Noncommutative Geometry - Shonan Village Center, Japan & Kyoto University, Japan (18 – 22 February 2008 & 1 April 2010 – 31 March 2011)] Noncommutative Geometry and Physics 3 - FRONT MATTER
- 作者Dito, Giuseppe; Kotani, Motoko; Maeda, Yoshiaki; Moriyoshi, Hitoshi; Natsume, Toshikazu
- 文件大小330.51KB
- DOI10.1142/9789814425018_fmatter
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || The Functional Interpretation of Implicationde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Normalisationde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Modal Logicsde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || The Existential Quantifierde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Labelled Natural Deductionde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Natural Deduction for Equalityde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Normalisation for the Equality Fragmentde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Normalisationde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Modal Logicsde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Labelled Natural Deductionde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || The Existential Quantifierde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Natural Deduction for Equalityde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || The Functional Interpretation of Implicationde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011
[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Normalisation for the Equality Fragmentde Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M · 2011