Search alternatives:
"logica" » "logics"
"logical" » "logicsl"

1
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...

2
by Gabbay, Dov M.
Published 2004
Elsevier
Table of Contents: ...Preface (D.M. Gabbay, J. Woods) -- List of Contributors -- Leibniz's Logic (W. Lenzen) -- Kant...

3
by Gabbay, Dov M.
Published 2004
Elsevier
Table of Contents: ...v. 1. Greek, Indian, and Arabic logic -- v. 2. Mediaeval and Renaissance logic -- v. 3. The rise...

4
by Barwise, Jon
Published 1977
North-Holland Pub. Co.
Subjects: ...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...

5
by Gabbay, Dov M.
Published 2004
Elsevier
Table of Contents: ...Contents -- Preface (D.M. Gabbay, J. Woods) -- List of Contributors -- Logic before Aristotle...

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

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

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

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

10
by Gabbay, Dov M.
Published 2003
Elsevier North Holland
Table of Contents: ...Part I: Introduction -- Chapter 1. Modal logic basics -- Chapter 2. Applied modal logic -- Chapter...

11
by Chong, C.-T.
Published 1983
North-Holland
Subjects: ...Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068...

12
by Kracht, Marcus
Published 1999
Elsevier
Table of Contents: ...<IT>Chapter Headings only.</IT> About this Book. Overview. Part 1. The Fundamentals. Algebra, logic...

13
by Craig, William
Published 1974
North-Holland Pub. Co.
Subjects: ...Algebraic logic / fast / (OCoLC)fst00804936...

14
Published 1971
North-Holland Pub. Co.
Subjects: ...Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068...

15
by Drake, F. R.
Published 1988
North-Holland
Table of Contents: ... for Certain Modal Logics; Chapter 11 Model Theory and Representation Type of Algebras; Chapter 12 The Knuth...

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

17
by Dalen, D. van
Published 1982
North-Holland Pub. Co.
Subjects: ...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...

18
by Jacobs, Bart
Published 1999
Elsevier Science
Table of Contents: ... to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order...

19
by Gabbay, Dov M.
Published 2002
North Holland/Elsevier
Table of Contents: ...Front Cover; Handbook of the Logic of Argument and Inference; Copyright Page; Preface; List...

20
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...