You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Surveys on recent developments in the theory of algorithmic randomness and its interactions with other areas of mathematics.
SUSPEND YOUR DISBELIEF And plunge headlong into the always wild, constantly weird, and frequently whimsical realm of fantasy as invoked by that master magician L. SPRAGUE DE CAMP! - A social protestor who just happens to be a ghost. - A mail-order magic business that conjures up a universe of trouble. - A fledgling wizard who doesn't know the strength of his own power. And these are only a sprinkling of the outrageous and amazing creatures and things you'll encounter as you whir through a world where everything is probable.
Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematic...
Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, covering classical topics of mathematical logic.
None
None
None
Contains several short stories by L. Sprague de Camp.
None