Radical Abundance: How a Revolution in Nanotechnology Will Change ...
K. Eric Drexler
Brill's Companion to Herodotus
Egbert J. Bakker & Hans van Wees & Irene J. F. de Jong
Network Management in Cloud and Edge Computing
Yuchao Zhang & Ke Xu
The First Bible of the Church: A Plea for the Septuagint
Mogens Müller
The Dutch Republic in the Seventeenth Century
J. L. Price
Recursive Functions and Metamathematics
Roman Murawski
Synthese Library (286)
Prescriptive Reasoning
Richard L. Epstein
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Frontiers in Belief Revision
M. Williams & Hans Rott
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Formal Aspects of Context
Pierre Bonzon & Marcos Cavalcanti & Rolf Nossum
Abduction and Induction: Essays on Their Relation and Integration
P. A. Flach & Antonis Hadjiantonis
Intellectics and Computational Logic: Papers in Honor of Wolfgang ...
Steffen Hölldobler
Why We Need Ordinary Language Philosophy
Sandra Laugier
Advances in Intensional Logic
Maarten de Rijke
What Is Negation?
Dov M. Gabbay & Heinrich Wansing
The Art of Reasoning: An Introduction to Logic and Critical ...
David Kelley
Oxford Studies in Medieval Philosophy - Volume 1
Robert Pasnau
Tractatus Logico-Philosophicus (The Original 1922 Edition with ...
Ludwig Wittgenstein
Four Colors Suffice: How the Map Problem Was Solved - Revised ...
Robin Wilson & Ian Nicholas Stewart
Advances in Temporal Logic
Howard Barringer & Michael Fisher & Dov M. Gabbay & Graham Gough
Quantification in Natural Languages
Elke Bach & E. Jelinek & A. Kratzer & Barbara B. H. Partee
Metamathematics of Fuzzy Logic
Petr Hájek
Modeling Nature: Cellular Automata Simulations with Mathematica®
Richard J. Gaylord & Kazume Nishidate