MPG.eBooks - Search Results - "Peano arithmetic"

1

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

Table of Contents: “...Models of Peano Arithmetic -- Cuts in Models of Arithmetic -- Two notes on the Paris independence...”

Read Now

2

Truth, Proof and Infinity : A Theory of Constructive Reasoning

by Fletcher, P.
Published 1998

Springer Netherlands

Table of Contents: “...47. From Second-Order Heyting Arithmetic to Second-Order Peano Arithmetic -- 48. Second-Order Peano...”

Read Now

3

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979

Published 1980

Springer Berlin Heidelberg

Table of Contents: “..., and independence results in Peano arithmetic -- Hensel fields in equal characteristic p>0 -- On polynomials over...”

Read Now

4

S. Leśniewski’s Lecture Notes in Logic

Published 1988

Springer Netherlands

Table of Contents: “... and theses of Le?niewski’s Ontology -- 3. Class theory -- Two: Peano Arithmetic and Whitehead’s Theory...”

Read Now

5

Forcing, Arithmetic, Division Rings

by Hirschfeld, J., Wheeler, W.H.
Published 1975

Springer Berlin Heidelberg

Table of Contents: “... for arithmetic -- Generic models and the analytic hierarchy -- Applications to complete extensions of peano...”

Read Now

6

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

Published 1981

Springer Berlin Heidelberg

Table of Contents: “...-MacQueen theorem -- Recursively saturated, rather classless models of peano arithmetic -- The degrees...”

Read Now

7

Logic and Complexity

by Lassaigne, Richard, Rougemont, Michel de
Published 2004

Springer London

Table of Contents: “... and decidability -- 7. Incompleteness of Peano arithmetic -- 2. Descriptive Complexity -- 8 Complexity: time...”

Read Now

8

Logic and Structure

by Dalen, Dirk van
Published 1994

Springer Berlin Heidelberg

“... of Peano's arithmetic is based on the natural deduction system...”

Read Now

9

Logic and Structure

by Dalen, Dirk van
Published 1983

Springer Berlin Heidelberg

“... of Peano's arithmetic is based on the natural deduction system...”

Read Now

10

Logic and Structure

by Dalen, Dirk van
Published 1980

Springer Berlin Heidelberg

“... of Peano's arithmetic is based on the natural deduction system...”

Read Now

11

Logic and Structure

by van Dalen, Dirk
Published 2004

Springer Berlin Heidelberg

“... of Peano's arithmetic is based on the natural deduction system...”

Read Now

12

Proof Methods for Modal and Intuitionistic Logics

by Fitting, M.
Published 1983

Springer Netherlands

“... to the proof theory of Peano arithmetic. Further, we present a similar variety of proof procedures for an even...”

Narrow Search