Cover Image
Read Now

1
by Abrusci, Vito Michele, Tortora de Falco, Lorenzo
Published 2014
Springer Milan
Subjects: “...Mathematical logic...”
Cover Image
Read Now

2
by Abrusci, Vito Michele, Tortora de Falco, Lorenzo
Published 2018
Springer Milan
Subjects: “...Mathematical logic...”
Cover Image
Read Now

3
Published 2007
Birkhäuser
Table of Contents: “...Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A...”
Cover Image
Read Now

4
Published 2005
Birkhäuser
Table of Contents: “...Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A...”
Cover Image
Read Now

5
by Mundici, Daniele
Published 2011
Springer Milan
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

6
by Barwise, Jon
Published 1977
North-Holland Pub. Co.
Subjects: “...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...”
Cover Image
Read Now

7
by Curry, Haskell B.
Published 1958
North-Holland
Table of Contents: “... logic -- Basic theory of functionality -- Stronger theories of functionality...”
Cover Image
Read Now

8
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...”
Cover Image
Read Now

9
by Rybakov, Vladimir V.
Published 1997
Elsevier
Subjects: “...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...”
Cover Image
Read Now

10
by Metakides, George
Published 1982
North-Holland Pub. Co.
Subjects: “...Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068...”
Cover Image
Read Now

11
by Cantini, Andrea
Published 1996
Elsevier Science B.V.
Subjects: “...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...”
Cover Image
Read Now

12
by Craig, William
Published 1974
North-Holland Pub. Co.
Subjects: “...Algebraic logic / fast / (OCoLC)fst00804936...”
Cover Image
Read Now

13
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...”
Cover Image
Read Now

14
by Chong, C.-T.
Published 1983
North-Holland
Subjects: “...Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068...”
Cover Image
Read Now

15
by Kracht, Marcus
Published 1999
Elsevier
Table of Contents: “...<IT>Chapter Headings only.</IT> About this Book. Overview. Part 1. The Fundamentals. Algebra, logic...”
Cover Image
Read Now

16
Published 2009
Springer Netherlands
Table of Contents: “...From Logic to Mathematical Philosophy -- Commutativity of Quantifiers in Varying-Domain Kripke...”
Cover Image
Read Now

17
Published 1971
North-Holland Pub. Co.
Subjects: “...Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068...”
Cover Image
Read Now

18
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...”
Cover Image
Read Now

19
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...”
Cover Image
Read Now

20
by Czelakowski, Janusz
Published 2001
Springer Netherlands
Table of Contents: “...0. Basic definitions and facts -- I. Protoalgebraic Logics. The Leibniz Operator -- 1...”