10,746円 Multiagent systems combine multiple autonomous entities, each having diverging interests or different information. This overview of the field offers a computer science perspective, but also draws on ideas from game theory, economics, operations research, logic, philosophy and linguistics. It will...

12,154円 This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of curre...

10,746円 This collection of articles, originating from a short course held at the University of Manchester, explores the ideas behind Pila's proof of the Andre–Oort conjecture for products of modular curves. The basic strategy has three main ingredients: the Pila–Wilkie theorem, bounds on Galois orbits, a...

15,067円 A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introd...

1,050円 La notion d'analogie a connu une telle fortune qu'il semble presque impossible de lui conférer une définition dépourvue d'équivoque. Son usage premier, en mathématique pythagoricienne, ne présageait aucun glissement : elle était la formule ramenant des termes inégaux proportionnellement comparés ...

18,231円 Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and...

6,076円 This book examines how epistemology was reinvented by Ibn Sīnā, an influential philosopher-scientist of the classical Islamic world who was known to the West by the Latinised name Avicenna. It explains his theory of knowledge in which intentionality acts as an interaction between the mind and the...

4,230円 Real analysis provides the fundamental underpinnings for calculus, arguably the most useful and influential mathematical idea ever invented. It is a core subject in any mathematics degree, and also one which many students find challenging. A Sequential Introduction to Real Analysis gives a fresh ...

8,032円 In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential m...

28,787円 The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, ...

4,248円 Stochastic analysis is not only a thriving area of pure mathematics with intriguing connections to partial differential equations and differential geometry. It also has numerous applications in the natural and social sciences (for instance in financial mathematics or theoretical quantum mechanics...

6,928円 This textbook offers an introduction to the philosophy of science. It helps undergraduate students from the natural, the human and social sciences to gain an understanding of what science is, how it has developed, what its core traits are, how to distinguish between science and pseudo-science and...