Search alternatives:
physics » physical
Cover Image
Read Now

21
by Viganò, Luca
Published 2000
Springer US
Table of Contents: “.... Discussion -- II Substructural and complexity analysis of modal sequent systems -- 8. Introduction...”
Cover Image
Read Now

22
Published 1986
Springer Netherlands
Subjects: “...Mathematical logic...”
Cover Image
Read Now

23
by Dalla Chiara, Maria Luisa, Giuntini, Roberto, Leporini, Roberto, Sergioli, Giuseppe
Published 2018
Springer International Publishing
Table of Contents: “...The mathematical environment of quantum information -- Pieces of quantum information and quantum...”
Cover Image
Read Now

24
Published 2000
Springer Netherlands
Table of Contents: “... Study -- Context and Implicitness: Consequences for Traditional and Computer-assisted Text Analysis -- A...”
Cover Image
Read Now

25
Published 1989
Springer Netherlands
Subjects: “...Mathematical logic...”
Cover Image
Read Now

26
Published 2014
Springer International Publishing
Table of Contents: “...; Sergei Artemov -- Logical Player Types for a Theory of Play; Ram Ramanujam -- An Alternative Analysis...”
Cover Image
Read Now

27
Published 2001
Springer Netherlands
Table of Contents: “... -- Discriminating coded lambda terms -- ?-calculus as a foundation for mathematics -- Peano’s lambda calculus...”
Cover Image
Read Now

28
Published 2001
Springer Netherlands
Table of Contents: “... -- 8 Conclusion -- 10 Domains of view: a foundation for specification and analysis -- 1 Introduction...”
Cover Image
Read Now

29
by Tranchini, Luca
Published 2024
Springer International Publishing
Subjects: “...Mathematical logic...”
Cover Image
Read Now

30
Published 2016
Springer International Publishing
Subjects: “...Mathematical logic...”
Cover Image
Read Now

31
by Ellerman, David
Published 2021
Springer International Publishing
Subjects: “...Mathematical Logic in Philosophy...”
Cover Image
Read Now

32
Published 2015
Springer International Publishing
Table of Contents: “..., Tor -- Harmony in proof-theoretic semantics: A reductive analysis; Schroeder-Heister, Peter -- First...”
Cover Image
Read Now

33
Published 2024
Springer International Publishing
Table of Contents: “... by induction: a cognitive analysis (Samuele Antonini and Bernardo Nannini) -- 18. From strategies...”
Cover Image
Read Now

34
by Coletti, Giulianella, Scozzafava, R.
Published 2002
Springer Netherlands
Subjects: “...Mathematical logic...”
Cover Image
Read Now

35
by Fletcher, P.
Published 1998
Springer Netherlands
Table of Contents: “... Arithmetic -- 49. Conclusions on Analysis -- References -- Index of symbols -- Index of axioms, theorems...”
Cover Image
Read Now

36
by Peregrin, J.
Published 1995
Springer Netherlands
Subjects: “...Mathematical logic...”
Cover Image
Read Now

37
Published 1994
Springer Netherlands
Table of Contents: “... of Bolzano’s Philosophy of Mathematics --...”
Cover Image
Read Now

38
Published 2011
Springer Netherlands
Table of Contents: “...Foreword -- Preface -- I LOGIC TODAY: SOME REFLECTIONS -- 1. What is Mathematical Logic? A Survey...”
Cover Image
Read Now

39
by Wisniewski, A.
Published 1995
Springer Netherlands
Subjects: “...Mathematical logic...”
Cover Image
Read Now

40
Published 1998
Springer Netherlands
Table of Contents: “... Puzzle about Conditionalization -- VI. Logic and Philosophy -- Truth as Consensus. A Logical Analysis...”