MPG.eBooks - Search Results

1

The Computational Complexity of Logical Theories

Published 1979

Springer

Read Now

2

The Logical Syntax of Greek Mathematics

by Acerbi, Fabio
Published 2021

Springer International Publishing

Table of Contents: “... of Mathematical Generality -- 4. The Deductive Machine -- 5. The Logical Syntax -- Appendices -- Bibliography...”

Read Now

3

Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

by Crossley, John
Published 1975

Springer

Read Now

4

Logic Colloquium : Symposium on Logic Held at Boston, 1972–73

by Parikh, Rohit
Published 1975

Springer

Read Now

5

Logic Colloquium : Symposium on Logic held at Boston, 1972-73

Published 1975

Springer Berlin Heidelberg

Read Now

6

Mathematical Logic : On Numbers, Sets, Structures, and Symmetry

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

Read Now

7

Combinatory logic : pure, applied and typed

by Bimbó, Katalin
Published 2012

CRC Press

Table of Contents: “...Preface; Elements of combinatory logic ; Objects, combinators and terms; Various kinds...”

Read Now

8

Fuzzy Logic : State of the Art

Published 1993

Springer Netherlands

Table of Contents: “... and Toll Logic --...”

Read Now

9

A Logical Introduction to Proof

by Cunningham, Daniel W.
Published 2013

Springer New York

Table of Contents: “...Preface -- The Greek Alphabet -- 1. Propositional Logic -- 2. Predicate Logic -- 3. Proof...”

Read Now

10

Logic as a tool : a guide to formal logical reasoning

by Goranko, Valentin
Published 2016

Wiley

Table of Contents: “...Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding...”

Read Now

11

The Computational Complexity of Logical Theories

by Ferrante, J., Rackoff, C. W.
Published 1979

Springer Berlin Heidelberg

Read Now

12

⊨ISILC Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

by Müller, Gert
Published 1975

Springer

Read Now

13

Logic and Computer Science...

by Odifreddi, Piergiorgio
Published 1990

Springer

Read Now

14

Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1–6, 1983

by Prisco, Carlos
Published 1985

Springer

Read Now

15

Handbook of Philosophical Logic : Volume 14

Published 2007

Springer Netherlands

Table of Contents: “...Editorial Preface; D.M. Gabbay -- Logics of Formal Inconsistency; W. Carnielli, M.E. Coniglio, J...”

Read Now

16

Logic - Language - Ontology : Selected Works

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

Read Now

17

Russell’s Unknown Logicism : A Study in the History and Philosophy of Mathematics

by Gandon, Sébastien
Published 2012

Palgrave Macmillan UK

Subjects: “...Logic...”

Read Now

18

Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987

by Shinoda, Juichi
Published 1989

Springer

Read Now

19

Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012

Published 2016

Springer International Publishing

Subjects: “...Logic...”

Read Now

20

Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16–19, 1971

by Lawvere, F.
Published 1972

Springer

Narrow Search