1
Published 1979
Springer

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

5
Published 1975
Springer Berlin Heidelberg

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

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

8
Published 1993
Springer Netherlands
Table of Contents: ... and Toll Logic --...

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

10
by Goranko, Valentin
Published 2016
Wiley
Table of Contents: ...Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding...

11
by Ferrante, J., Rackoff, C. W.
Published 1979
Springer Berlin Heidelberg

13
by Odifreddi, Piergiorgio
Published 1990
Springer

15
Published 2007
Springer Netherlands
Table of Contents: ...Editorial Preface; D.M. Gabbay -- Logics of Formal Inconsistency; W. Carnielli, M.E. Coniglio, J...

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

17
by Gandon, Sébastien
Published 2012
Palgrave Macmillan UK
Subjects: ...Logic...

19
Published 2016
Springer International Publishing
Subjects: ...Logic...