MPG.eBooks - Search Results - "Mathematical Logic And Foundations"

1

Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings

Published 2021

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Read Now

2

Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Published 2022

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Read Now

3

Berechenbarkeit : Berechnungsmodelle und Unentscheidbarkeit

by Zimmermann, Karl-Heinz
Published 2020

Springer Fachmedien Wiesbaden

Subjects: “...Mathematical Logic and Foundations...”

Read Now

4

Proceedings of the Summer School in Logik, Leeds, 1967 : N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

by Löb, Martin H.
Published 1968

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

5

The Axiom of Constructibility : A Guide for the Mathematician

by Devlin, K. J.
Published 1977

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

6

First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories

by Makkai, M., Reyes, G.E.
Published 1977

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

7

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Published 1973

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

8

The Homology of Iterated Loop Spaces

by Cohen, F. R., Lada, T. J., May, P. J.
Published 1976

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

9

ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Published 1975

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

10

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

Published 1975

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

11

Recursion on the Countable Functionals

by Normann, D.
Published 1980

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

12

Cabal Seminar 77 – 79 : Proceedings, Caltech-UCLA Logic Seminar 1977 – 79

Published 1981

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

13

Model Theory and Arithmetic : Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80

Published 1981

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

14

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

by Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.
Published 1981

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

15

Logic Year 1979-80 : The University of Connecticut, USA

Published 1981

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

16

Cabal Seminar 79-81 : Proceedings. Caltech-UCLA Logic Seminar 1979-81

Published 1983

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

17

Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979

Published 1981

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

18

Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980

Published 1981

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

19

Cylindric Set Algebras

by Henkin, L., Monk, J. D., Tarski, A., Andreka, H.
Published 1981

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

20

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 1: Models and Sets

Published 1984

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Narrow Search