Applied logic series

Titles

frontiers of combining systems
reasoning robots
proof theory for fuzzy logics
modern perspective on type theory
hybrid logic and its proof-theory
analysis and synthesis of logics
frontiers in belief revision
 
 
Change password
Login