
Logical Foundations of Computer Science
Sergei Artemov
₹4,262

International Symposium
Springer Verlag · 2015 · Paperback
Free delivery. Nothing extra to pay at checkout.
Logical Foundations of Computer Science: International Symposium by Sergei Artemov is a 407-page paperback edition published by Springer Verlag in 2015.
Its main subjects are Mathematical Logic and Formal Languages, Symbolic and mathematical Logic, Information theory and Logic design.