The Dimensions of Paradise
John Michell
Complex Network Analysis in Python
Dmitry Zinoviev
Tom Sawyer
Mark Twain
How to extract DMT from plants
Unknown
The Truth About Buying Annuities
Steve Weisman
A Modern Perspective on Type Theory: From Its Origins Until ...
F. D. Kamareddine & T. Laan & Rob Nederpelt
Advances in Intensional Logic
Maarten de Rijke
Advances in Temporal Logic
Howard Barringer & Michael Fisher & Dov M. Gabbay & Graham Gough
Advanced Information Processing: Proceedings of a Joint Symposium. ...
Heinz Schwärtzel & Igor A. Mizin
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Computational Music Analysis
David Meredith
Foundations of Bayesianism
D. Corfield & J. Williamson
Foundations of Rational Agency
Michael Wooldridge & A. Rao
Fuzzy Sets, Logics and Reasoning About Knowledge
Didier Dubois & Henri Prade & Erich Peter Klement
Frontiers in Belief Revision
M. Williams & Hans Rott
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Labelled Deduction
David Basin & M. D'Agostino & Dov M. Gabbay & Seán Matthews & Luca Viganò
Logical and Computational Aspects of Model-Based Reasoning
L. Magnani & N. J. Nersessian & Claudio Pizzi
Mathematical Logic for Computer Science
Mordechai Ben-Ari
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
Roman Kossak
Mathematical Logic
Heinz-Dieter Ebbinghaus & Jörg Flum & Wolfgang Thomas
Philosophy and Computing: An Introduction
Luciano Floridi
Philosophy and Computer Science
Timothy R. Colburn
Problem Solving in Automata, Languages, and Complexity
Ding-Zhu Du & Ker-i Ko