Cover Image
Read Now

1
Published 1979
Springer
Cover Image
Read Now

2
by Acerbi, Fabio
Published 2021
Springer International Publishing
Table of Contents: “... of Mathematical Generality -- 4. The Deductive Machine -- 5. The Logical Syntax -- Appendices -- Bibliography...”
Cover Image
Read Now

3
Published 1975
Springer Berlin Heidelberg
Cover Image
Read Now

6
Published 1993
Springer Netherlands
Table of Contents: “... and Toll Logic --...”
Cover Image
Read Now

7
by Bimbó, Katalin
Published 2012
CRC Press
Table of Contents: “...Preface; Elements of combinatory logic ; Objects, combinators and terms; Various kinds...”
Cover Image
Read Now

8
by Kossak, Roman
Published 2024
Springer International Publishing
Table of Contents: “...Part I: Logic, Sets, and Numbers -- Chapter 1. First-order Logic -- Chapter 2. Logical seeing...”
Cover Image
Read Now

9
by Cunningham, Daniel W.
Published 2013
Springer New York
Table of Contents: “...Preface -- The Greek Alphabet -- 1. Propositional Logic -- 2. Predicate Logic -- 3. Proof...”
Cover Image
Read Now

10
by Goranko, Valentin
Published 2016
Wiley
Table of Contents: “...Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding...”
Cover Image
Read Now

11
by Ferrante, J., Rackoff, C. W.
Published 1979
Springer Berlin Heidelberg
Cover Image
Read Now

12
Published 2007
Springer Netherlands
Table of Contents: “...Editorial Preface; D.M. Gabbay -- Logics of Formal Inconsistency; W. Carnielli, M.E. Coniglio, J...”
Cover Image
Read Now

14
by Odifreddi, Piergiorgio
Published 1990
Springer
Cover Image
Read Now

17
by Gandon, Sébastien
Published 2012
Palgrave Macmillan UK
Subjects: “...Logic...”
Cover Image
Read Now

18
Published 2016
Springer International Publishing
Subjects: “...Logic...”
Cover Image
Read Now

19
by Wybraniec-Skardowska, Urszula B.
Published 2022
Birkhäuser
Table of Contents: “.... The Logical Foundations of Language Syntax Ontology -- 4. On the Eliminatibility of Ideal Linguistic Entities...”
Cover Image
Read Now

20
by Prestel, Alexander, Delzell, Charles N.
Published 2011
Springer London
Table of Contents: “...First-Order Logic -- Model Constructions -- Properties of Model Classes -- Model Theory of Several...”