Habermas: A Very Short Introduction
James Gordon Finlayson
The Crest of the Peacock: Non-European Roots of Mathematics ...
George Gheverghese Joseph
Beyond Codependency: And Getting Better All the Time
Melody Beattie
The Oxford Handbook of Food, Politics, and Society
Ronald J. Herring
React Hooks in Action: With Suspense and Concurrent Mode
John Larsen
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