MPG.eBooks - Search Results - "Logic"

Cover Image

1

Johan van Benthem on Logic and Information Dynamics

Published 2014

Springer International Publishing

Subjects: “...Mathematical logic...”

Cover Image

2

Logics of Variable Inclusion

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

Springer International Publishing

Subjects: “...Mathematical Logic in Philosophy...”

Cover Image

3

by Makridis, Odysseus
Published 2022

Springer International Publishing

Subjects: “...Formal Logic...”

Cover Image

4

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

by Amer, Mohamed A.
Published 2021

Springer International Publishing

Subjects: “...Formal Logic...”

Cover Image

5

The Exoteric Square of Opposition : The Sixth World Congress on the Square of Opposition

Published 2022

Birkhäuser

Subjects: “...Mathematical logic...”

Cover Image

6

Automated Model Building

by Caferra, Ricardo, Leitsch, Alexander, Peltier, Nicolas
Published 2004

Springer Netherlands

Subjects: “...Mathematical logic...”

Cover Image

7

Course of Mathematical Logic : Volume 2 Model Theory

by Fraïssé, R.
Published 1974

Springer Netherlands

Subjects: “...Mathematical logic...”

Cover Image

8

Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Published 1999

Springer Netherlands

Subjects: “...Mathematical logic...”

Cover Image

9

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

by Horská, Anna
Published 2014

Springer International Publishing

Subjects: “...Mathematical logic...”

Cover Image

10

Advances in Proof Theory

Published 2016

Springer International Publishing

Subjects: “...Logic...”

Cover Image

11

Leśniewski’s Systems Protothetic

Published 1998

Springer Netherlands

Subjects: “...Mathematical logic...”

Cover Image

12

Metamathematics of Fuzzy Logic

by Hájek, Petr
Published 1998

Springer Netherlands

Subjects: “...Mathematical logic...”

Cover Image

13

A Precis of Mathematical Logic

Published 1959

Springer Netherlands

Subjects: “...Mathematical logic...”

Cover Image

14

Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic

Published 1984

Springer Netherlands

Subjects: “...Mathematical logic...”

Cover Image

15

Introduction to Axiomatic Set Theory

by Krivine, J.L.
Published 1971

Springer Netherlands

Subjects: “...Mathematical logic...”

Cover Image

16

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

by Gabbay, Dov M.
Published 1976

Springer Netherlands

Subjects: “...Mathematical logic...”

Cover Image

17

A Course in Mathematical Logic for Mathematicians

by Manin, Yu. I.
Published 2010

Springer New York

Subjects: “...Mathematical logic...”

Cover Image

18

Logic Symposia, Hakone, 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Published 1981

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Cover Image

19

Petr Hájek on Mathematical Fuzzy Logic

Published 2015

Springer International Publishing

Subjects: “...Mathematical logic...”

Cover Image

20

A Model–Theoretic Approach to Proof Theory

by Kotlarski, Henryk
Published 2019

Springer International Publishing

Subjects: “...Logic...”

1
2
3
4
5
6
7
8
9
10
11