Handbook of Philosophical Logic
File Size : 86,86 MBTotal View : 8303 Views
DOWNLOAD
The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and
Related Books
Total View : 8303 Views
DOWNLOAD
Symmetric Functions
File Size : 97,97 MBTotal View : 4385 Views
DOWNLOAD
This book is devoted to combinatorial aspects of the theory of symmetric functions. This rich, interesting and highly nontrivial part of algebraic combinatorics
Algebraic Curves
File Size : 50,50 MBTotal View : 3517 Views
DOWNLOAD
This book offers a concise yet thorough introduction to the notion of moduli spaces of complex algebraic curves. Over the last few decades, this notion has beco
Logic Colloquium '02
File Size : 70,70 MBTotal View : 1053 Views
DOWNLOAD
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books
