|
Quantifiers, propositions, and identity
|
Robert Goldblatt |
"Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible s… |
OL15991521W |
|
Giuseppe Peano between mathematics and logic
|
Fulvia Skof |
Contains the papers developing out the presentations given at the International Conference organized by the Torino Academy of Sciences and the Department of Mathematics Giuseppe Peano of the Torino U… |
OL16485421W |
|
Formal Aspects of Component Software
|
Farhad Arbab |
<p>This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. </p><p>The 18 full paper… |
OL19850807W |
|
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
|
Peter B. Andrews |
In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introduction to mathematical logic starts with p… |
OL19859073W |
|
Logic and scientific methods
|
International Congress of Logic, Methodology, and Philosophy of Science (10th 1995 Florence, Italy) |
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held … |
OL19884544W |
|
Probabilistic Logic in a Coherent Setting
|
G. Coletti,R. Scozzafava |
The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather tha… |
OL19896704W |
|
The Semantics and Proof Theory of the Logic of Bunched Implications
|
David J. Pym |
This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and… |
OL19901483W |
|
Word and object
|
Willard Van Orman Quine |
Language consists of dispositions, socially instilled, to respond observably to socially observable stimuli. This book examines the linguistic mechanisms of objective reference. Topics covered includ… |
OL2910272W |
|
The elements of mathematical logic
|
Paul C. Rosenbloom |
p. cm |
OL5848155W |