Skip to Main Content (Press Enter)

Logo UNINSUBRIA
  • ×
  • Home
  • Degrees
  • Courses
  • Jobs
  • People
  • Outputs
  • Organizations
  • Third Mission
  • Projects
  • Expertise & Skills

UNI-FIND
Logo UNINSUBRIA

|

UNI-FIND

uninsubria.it
  • ×
  • Home
  • Degrees
  • Courses
  • Jobs
  • People
  • Outputs
  • Organizations
  • Third Mission
  • Projects
  • Expertise & Skills
  1. Outputs

Algebraic and Proof-theoretic Aspects of Non-classical Logics

Edited Book
Publication Date:
2008
abstract:
Lecture Notes in Computer Science, Vol. 4460
Iris type:
Cura di Atti, Volumi, Cataloghi
List of contributors:
Aguzzoli, S; Ciabattoni, A; Gerla, Brunella; Manara, C; Marra, V.
Authors of the University:
GERLA BRUNELLA
Handle:
https://irinsubria.uninsubria.it/handle/11383/16884
  • Accessibility
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.7.2.0