In evidenza
Confronta i webshop (2)
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series Book 29) (English Edition)
Springer
Hybrid Logic and its Proof-Theory (Applied Series Book 37) (English Edition)
Goal-Directed Proof Theory (Applied Logic Series Book 21) (English Edition)
Proof Theory for Fuzzy Logics (Applied Logic Series Book 36) (English Edition)
Automata Theory and its Applications (Progress in Computer Science Applied Logic Book...
Torna su