MPG.eBooks - Search Results

1

Symbolic Logic

by Makridis, Odysseus
Published 2022

Springer International Publishing

Table of Contents: “... called Symbolizations, Formalizations) -- 7. Semantic Models for ∏: ∏⧉ -- 8. Proof-Theoretical System...”

Read Now

2

Paraconsistency in mathematics

by Weber, Zach
Published 2022

Cambridge University Press

Subjects: “...Logic, Symbolic and mathematical...”

Read Now

3

Logische Untersuchungen

by Frege, Gottlob
Published 1993

Vandenhoeck und Ruprecht

Subjects: “...Logic, Symbolic and mathematical...”

Read Now

4

Bild-Zeichen : Perspektiven einer Wissenschaft vom Bild

by Majetschak, Stefan
Published 2005

Fink

Subjects: “...Signs and symbols / Psychological aspects...”

Read Now

5

Past, present and future

by Prior, A. N.
Published 1967

Clarendon

Subjects: “...Logic, Symbolic and mathematical...”

Read Now

6

Formal Methods : An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

Published 1962

Springer Netherlands

Read Now

7

Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic

by Amer, Mohamed A.
Published 2021

Springer International Publishing

Read Now

8

Gödel, Tarski and the lure of natural language : logical entanglement, formalism freeness

by Kennedy, Juliette
Published 2021

Cambridge University Press

Subjects: “...Logic, Symbolic and mathematical...”

Read Now

9

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic

by Dalen, D. van
Published 1982

North-Holland Pub. Co.

Subjects: “...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...”

Read Now

10

Logics of Variable Inclusion

by Bonzio, Stefano, Paoli, Francesco, Pra Baldi, Michele
Published 2022

Springer International Publishing

Subjects: “...Logic, Symbolic and mathematical...”

Read Now

11

Symbolismus und symbolische Logik : die Idee der Ars Combinatoria in der Entwicklung der modernen Dichtung

by Neubauer, John
Published 1978

Fink

Subjects: “...Logic, Symbolic and mathematical...”

Read Now

12

New Foundations for Information Theory : Logical Entropy and Shannon Entropy

by Ellerman, David
Published 2021

Springer International Publishing

Subjects: “...Logic, Symbolic and mathematical...”

Read Now

13

Samson Abramsky on Logic and Structure in Computer Science and Beyond

Published 2023

Springer International Publishing

Subjects: “...Logic, Symbolic and mathematical...”

Read Now

14

Handbook of Tableau Methods

Published 1999

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

15

Hiroakira Ono on Substructural Logics

Published 2022

Springer International Publishing

Subjects: “...Logic, Symbolic and mathematical...”

Read Now

16

Cut Elimination in Categories

by Dosen, K.
Published 1999

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

17

Intensional and higher-order modal logic : with applications to Montague semantics

by Gallin, Daniel
Published 1975

North Holland Pub. Co.

Subjects: “...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...”

Read Now

18

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Published 1998

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

19

Logic, Language and Reasoning : Essays in Honour of Dov Gabbay

Published 1999

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”

Read Now

20

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

by Suppes, Patrick
Published 1973

North-Holland Pub. Co.

Subjects: “...Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068...”

Narrow Search