Algorithms for Communications Systems and Their Applications
Nevio Benvenuto & Giovanni Cherubini
Substantive Moral Theory
Philip Pettit
The Sign of Four
Arthur Conan Doyle
The Laughing Corpse
Laurell K. Hamilton
Anita Blake, Vampire Hunter, Novels (2)
Chinese Computational Linguistics and Natural Language Processing ...
Yang Liu & Maosong Sun & Zhiyuan Liu & Ting Liu & Xiaojie Wang
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Proof Theory of Modal Logic
Heinrich Wansing
Proof Theory for Fuzzy Logics
George Metcalfe & Nicola Olivetti & Dov M. Gabbay
Prime Obsession: Bernhard Riemann and the Greatest Unsolved ...
John Derbyshire
Modalities and Multimodalities
Walter Carnielli & Claudio Pizzi
Mathematical Logic
Heinz-Dieter Ebbinghaus & Jörg Flum & Wolfgang Thomas
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
Roman Kossak
Logical and Computational Aspects of Model-Based Reasoning
L. Magnani & N. J. Nersessian & Claudio Pizzi
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Fuzzy Sets, Logics and Reasoning About Knowledge
Didier Dubois & Henri Prade & Erich Peter Klement
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Advances in Temporal Logic
Howard Barringer & Michael Fisher & Dov M. Gabbay & Graham Gough
Advances in Intensional Logic
Maarten de Rijke
A Modern Perspective on Type Theory: From Its Origins Until ...
F. D. Kamareddine & T. Laan & Rob Nederpelt
Philosophical and Mathematical Logic
Harrie de Swart
Number: The Language of Science
Tobias Dantzig
Notes on Philosophy, Probability and Mathematics
Frank Plumpton Ramsey
Mathematical Linguistics
Andras Kornai
Mathematical Knowledge and the Interplay of Practices
José Ferreirós
The Language of Mathematics: Making the Invisible Visible
Keith Devlin