Search alternatives:
"logician" » "logicians", "logiciel", "logica"

1
by Luschei, Eugene C.
Published 1962
North-Holland Pub. Co.
Table of Contents: ... of logic and foundations of mathematics -- Terminological explanations and directives -- Principles...

2
by Rybakov, Vladimir V.
Published 1997
Elsevier
Subjects: ...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...

3
by Cantini, Andrea
Published 1996
Elsevier Science B.V.
Subjects: ...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...

4
by Jacquette, Dale
Published 2006
Elsevier/North Holland
Table of Contents: ... -- Introduction: Philosophy of Logic Today (Dale Jacquette) -- What is Logic? (Jaakko Hintikka and Gabriel Sandu...

5
by Turing, Alan
Published 2001
Elsevier Science
Table of Contents: ... -- Part I: Computability and Ordinal Logics -- Chapter 1. Historical Introduction (Solomon Feferman...

6
by Curry, Haskell B.
Published 1958
North-Holland
Table of Contents: ... logic -- Basic theory of functionality -- Stronger theories of functionality...

7
by Gabbay, Dov M.
Published 2004
Elsevier
Table of Contents: ...: From General to Transcendental Logic (M. Tiles) -- Hegel's Logic (J.W. Burbidge) -- Bolzano as Logician...

9
by Gabbay, Dov M.
Published 2008
North Holland
Table of Contents: ...1. "Logic before 1100: The Latin Tradition" by John Marenbon -- 2. "Beginning of Scholastic Logic...

10
by Benthem, Johan van
Published 1997
Elsevier
Table of Contents: ...Montague grammar / B.H. Partee with H.L.W. Hendricks -- Categorial type logics / M. Moortgat...

11
by Blackburn, Patrick
Published 2007
Elsevier
Table of Contents: ... Theory -- Modal Logic: A Semantic Perspective (J. van Benthem and P. Blackburn) -- Modal Proof Theory (M...

12
by Kreisel, Georg, Krivine, J. L.
Published 1967
North Holland Pub. Co.
Subjects: ...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...

13
by Bochenski, Joseph M.
Published 1951
North-Holland Pub. Co.
Subjects: ...Logic...

14
by Lolli, Gabriele
Published 1984
North-Holland
Subjects: ...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...

15
by Paris, J. B.
Published 1986
North-Holland
Subjects: ...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...

16
by Ferro, R.
Published 1989
North-Holland
Subjects: ...Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068...

17
by Metakides, George
Published 1982
North-Holland Pub. Co.
Subjects: ...Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068...

18
by Ebbinghaus, Heinz-Dieter
Published 1989
North-Holland
Table of Contents: ...Chapter 9. An Introduction to Extenders and Core Models for Extender SequencesChapter 10. Logical...

19
by Hailperin, Theodore
Published 1986
North-Holland Pub. Co.
Subjects: ...Algebraic logic / http://id.loc.gov/authorities/subjects/sh85003435...

20
by Börger, E.
Published 1989
North-Holland
Table of Contents: ...Front Cover; Computability, Complexity, Logic; Copyright Page; Contents; Graph of dependencies...