161
by Gabbay, Dov M.
Published 2006
Elsevier North Holland
Table of Contents: ...Preface -- List of Authors -- 1. Mathematical Modal Logic: A View of its Evolution (Rob Goldblatt...

162
Published 2022
Springer International Publishing
Table of Contents: ...1. Introduction (Saloua Chatti) -- Part 1. Logic and Mathematics -- 2. The Hypothetical Logic...

163
Published 1995
Springer Netherlands
Table of Contents: ... and Mathematical Models of Language -- Information States in Situation Theory -- Logic Finite Automata -- Dynamic...

164
by Dorn, Georg, Weingartner, Paul
Published 1985
Springer US
Table of Contents: ...Foundations of Logic: Mathematical Logic -- Consequence Relations of 2-element Algebras -- On a...

165
Published 2004
Springer Netherlands
Table of Contents: ... Coloured Remarks on the Foundations of Mathematics in the 20th Century -- Logical vs. Nonlogical Concepts...

166
Published 1987
Springer Netherlands
Table of Contents: ...’s -- On Justification of Questions -- The Logic of Types -- Systems of Computer-Aided Reasoning for Mathematics...

167
by Feibleman, J.K.
Published 1979
Springer Netherlands
Table of Contents: ... -- XI. Of the Nature of Reference -- XII. The Discovery Theory in Mathematics -- Summary -- Four. New...

168
by Gabbay, Dov M.
Published 2008
North Holland
... of logic, mathematics, history of mathematics, computer science and AI, linguistics, cognitive science...

169
by Bar-Am, Nimrod
Published 2008
Springer Netherlands
Table of Contents: ... Transcendental Logic is no Logic at All -- The Fall of Essentialism -- Extensionalism as Exorcism -- Mathematical...

170
by Perelman, Ch
Published 1980
Springer Netherlands
... mathematics is to formal logic and to the theory of demonstrative proof. It is important...

171
Published 1990
Springer Netherlands
Table of Contents: ... and Undetermined Edges -- Categorical Semantics -- The Myth of the Intuitionistic “Or” -- What Mathematical Truth...

172
by Ramsey, Frank Plumpton
Published 1991
Springer Netherlands
... throughout his life, ultimately becoming lecturer in Mathematics in the University. Notwithstanding his great...

173
by Blackburn, Patrick
Published 2007
Elsevier
Table of Contents: ... and Extensions -- Modal Logic in Mathematics (S. Artemov) -- Automata-theoretic Techniques for Temporal Reasoning...

174
by Szaniawski, A.
Published 1998
Springer Netherlands
Table of Contents: ... of rational behaviour -- 5. Mathematical models and social facts -- 6. Science as a search for information...

175
by Sommaruga, Giovanni
Published 2000
Springer Netherlands
... approach to logic and the foundations of mathematics, while here they are accorded an entire part...

176
Published 2022
Springer India
... of ancient logical traditions to logic in contemporary mathematics and computer science. This collection...

177
Published 2014
Springer Netherlands
Table of Contents: ... Look at Mathematical Style, as Inspired by Le Lionnais and the OuLiPo; Jean Paul Van Bendegem and Bart...

178
Published 2013
Springer Netherlands
Table of Contents: ..." Mathematical theories: Challenging our prejudices: Michele Friend -- 15. Arithmetic Starred: Chris Mortensen...

179
Published 1989
Springer Netherlands
... that arise from the original con­ centration of symbolic logic on the idiom of mathematics, and many of them...

180
by Gabbay, Dov M.
Published 2009
North Holland
... the first fifty years of the development of mathematical logic in the twentieth century, and concentrates...