1
Published 1993
Springer Netherlands
Table of Contents: ...I: Logic, Mathematics And Information -- Theory of Deduction -- An Introduction to Modal Semantics...

2
Published 1997
Springer Netherlands
Table of Contents: ... Philosophy of logic, mathematics and computer science -- What can we do “in principle”? -- Causation, action...

3
by Dalla Chiara, Maria Luisa, Giuntini, Roberto, Greechie, Richard
Published 2004
Springer Netherlands
Table of Contents: ...I Mathematical and Physical Background -- 1. The mathematical scenario of quantum theory and von...

4
Published 1981
Springer Netherlands
Table of Contents: ...I / Foundations of Logic and of Mathematics -- Positively Omitting Types -- Proof Theory and Theory...