MPG.eBooks - Search Results

1

The description and use of a new machine : called the mechanical paradox; Invented by James Ferguson, F. R. S

by Ferguson, James
Published 1764

printed for the author; and sold by A. Millar, Bookseller in the Strand

Read Now

2

Emerging Memory and Computing Devices in the Era of Intelligent Machines

by Khalili, Pedram
Published 2020

MDPI - Multidisciplinary Digital Publishing Institute

Read Now

3

Analyse et description d'une nouvelle machine nommée le copiste secret inventée a Naples l'an 1762

by Neipperg, Leopold Johann Nepomuk
Published 1764

Chez Jean-Thomas de Trattnern

Read Now

4

Leo Esakia on Duality in Modal and Intuitionistic Logics

Published 2014

Springer Netherlands

Subjects: “...Machine theory...”

Read Now

5

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

by Cellucci, Carlo
Published 2013

Springer Netherlands

Subjects: “...Machine theory...”

Read Now

6

Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice

by Clerbout, Nicolas, Rahman, Shahid
Published 2015

Springer International Publishing

Subjects: “...Machine theory...”

Read Now

7

The Argument of Mathematics

Published 2013

Springer Netherlands

Subjects: “...Machine theory...”

Read Now

8

Freedom and Enforcement in Action : A Study in Formal Action Theory

by Czelakowski, Janusz
Published 2015

Springer Netherlands

Subjects: “...Machine theory...”

Read Now

9

Advances in Natural Deduction : A Celebration of Dag Prawitz's Work

Published 2014

Springer Netherlands

Subjects: “...Machine theory...”

Read Now

10

Heyting Algebras : Duality Theory

by Esakia, Leo
Published 2019

Springer International Publishing

Subjects: “...Machine theory...”

Read Now

11

Advances in Proof-Theoretic Semantics

Published 2016

Springer International Publishing

Subjects: “...Machine theory...”

Read Now

12

Hybrid Logic and its Proof-Theory

by Braüner, Torben
Published 2011

Springer Netherlands

Subjects: “...Machine theory...”

Read Now

13

Truth and Falsehood : An Inquiry into Generalized Logical Values

by Shramko, Yaroslav, Wansing, Heinrich
Published 2012

Springer Netherlands

Subjects: “...Machine theory...”

Read Now

14

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

by Geldsetzer, Lutz, Schwartz, Richard L.
Published 2013

Springer Netherlands

Subjects: “...Machine theory...”

Read Now

15

Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics

by Tranchini, Luca
Published 2024

Springer International Publishing

Subjects: “...Machine theory...”

Read Now

16

Metainferential Logics

by Pailos, Federico, Da Ré, Bruno
Published 2023

Springer International Publishing

Subjects: “...Machine theory...”

Read Now

17

Dynamic Epistemic Logic

by van Ditmarsch, Hans, van der Hoek, Wiebe, Kooi, Barteld
Published 2008

Springer Netherlands

Subjects: “...Machine theory...”

Read Now

18

Paraconsistency: Logic and Applications

Published 2013

Springer Netherlands

Subjects: “...Machine theory...”

Read Now

19

David Makinson on Classical Methods for Non-Classical Problems

Published 2014

Springer Netherlands

Subjects: “...Machine theory...”

Read Now

20

Proof, Computation and Agency : Logic at the Crossroads

Published 2011

Springer Netherlands

Subjects: “...Machine theory...”

Narrow Search