Proceedings of the Fourth German-Japanese Symposium, Infinite ...
Joachim Hilgert
An Introduction to ANSYS Fluent 2021
John E. Matsson
Adventures of a Computational Explorer
Stephen Wolfram
Europe 1789 to 1914 encyclopedia of the age of industry and ...
John Merriman
The Dictionary of Modern American Philosophers
F3thinker
Metamathematics of Fuzzy Logic
Petr Hájek
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
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
Oxford Studies in Medieval Philosophy - Volume 1
Robert Pasnau
The Art of Reasoning: An Introduction to Logic and Critical ...
David Kelley
Advances in Intensional Logic
Maarten de Rijke
What Is Negation?
Dov M. Gabbay & Heinrich Wansing
Why We Need Ordinary Language Philosophy
Sandra Laugier
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
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
Prescriptive Reasoning
Richard L. Epstein
New Essays in Free Logic: In Honour of Karel Lambert
E. Morscher & A. Hieke
Topological and Algebraic Structures in Fuzzy Sets: A Handbook ...
S. E. Rodabaugh & Erich Peter Klement