Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

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

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

Buchholz, W.;Sieg, W.;Pohlers, W.;Feferman, S.;

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation

Sprache:

Englisch

ISBN:

9783540111702

Verlag:

Seitenzahl:

392 Seiten

Auflage:

-

Erschienen:

1981-12-01

Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Neu bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

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

Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof-theoretical analysis of ID? by the method of local predicativity. von Buchholz, W.;Sieg, W.;Pohlers, W.;Feferman, S.;

Produktdetails

Einband:

Hardcover

Seitenzahl:

392 Seiten

Erschienen:

1981-12-01

Sprache:

Englisch

EAN:

9783540111702

ISBN:

9783540111702

Verlag:

Gewicht:

593 g

Auflage:

-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Buchholz, W.;Sieg, W.;Pohlers, W.;Feferman, S.;

Entdecke mehr vom Verlag

Gut

15,65 €

Entdecke mehr zum Thema

A Formalization of Set Theory Without Variables (COLLOQUIUM PUBLICATIONS (AMER MATHEMATICAL SOC))

paperback
318 Seiten
Erschienen 1987
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

A Formalization of Set Theory Without Variables...

Tarski, Alfred

74,13 €

Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)

hardcover
645 Seiten
Erschienen 1993
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Iteration Theories: The Equational Logic of...

Bloom, Stephen L.

42,02 €

-35%

Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings (Lecture Notes in Computer Science, 3618, Band 3618)

paperback
830 Seiten
Erschienen 2005
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Foundations of Computer Science...

Jedrzejowicz, Joanna

69,13 € 106,99 €

Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas (Contemporary Mathematics, 425, Band 425)

paperback
150 Seiten
Erschienen 2007
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Advances in Logic: The North Texas Logic...

Jackson, Steve

116,43 €

-40%

Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 ... Notes in Computer Science, 2136, Band 2136)

paperback
740 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Foundations of Computer Science...

Pultr, Ales

68,26 € 114,48 €

Die vollständige Induktion

perfect
183 Seiten
-

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Die vollständige Induktion

-

12,17 €

-5%

MODELS PEANO ARITH OLG 15 C (Oxford Logic Guides, Band 15)

hardcover
304 Seiten
Erschienen 1991
Oxford University Press (UK)

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

MODELS PEANO ARITH OLG 15 C (Oxford Logic...

Kaye, Richard

228,30 € 241,53 €

Almost Free Modules: Set Themetic Methods: Set-Theoretic Methods (North-holland Mathematical Library)

hardcover
480 Seiten
Erschienen 1990
North-Holland

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Almost Free Modules: Set Themetic Methods:...

Mekler, Alan H.

116,59 €

-27%

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

paperback
176 Seiten
Erschienen 2023
Apress

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Introduction to Dependent Types with Idris:...

Sitnikovski, Boro

25,58 € 34,99 €

-29%

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6)

paperback
292 Seiten
Erschienen 2009
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Formal Methods in Artificial Intelligence...

Ramsay, Allan

35,61 € 50,19 €

Introduction to Symplectic Topology (Oxford Mathematical Monographs)

hardcover
425 Seiten
Erschienen 1995
Clarendon Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Introduction to Symplectic Topology (Oxford...

McDuff, Dusa

75,11 €

-35%

Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)

hardcover
153 Seiten
Erschienen 1993
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Complexity of Proofs and Their Transformations...

Orevkov, V. P.

58,86 € 89,88 €

-27%

Nonlinear Functional Analysis

hardcover
464 Seiten
Erschienen 1985
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Nonlinear Functional Analysis

Deimling, Klaus

62,58 € 85,59 €

-24%

Logic of Mathematics: A Modern Course of Classical Logic (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

hardcover
272 Seiten
Erschienen 1997
Wiley-Interscience

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logic of Mathematics: A Modern Course of...

Adamowicz, Zofia

124,79 € 163,36 €

-19%

The Poverty of Conceptual Truth: Kant's Analytic/Synthetic Distinction and the Limits of Metaphysics

paperback
432 Seiten
Erschienen 2018
Oxford University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Poverty of Conceptual Truth: Kant's...

Anderson, R. Lanier

35,29 € 43,65 €

-13%

Mathematische Logik mit Informatik-Anwendungen (Heidelberger Taschenbücher) (German Edition) (Heidelberger Taschenbücher, 187, Band 187)

paperback
348 Seiten
Erschienen 1977
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematische Logik mit Informatik-Anwendungen...

Bergmann, E.

43,25 € 49,95 €

-66%

KANTS TRANSCENDENTAL DEDUCTION:ANALYTIC-HISTORICAL COMMENTARY PAPER: An Analytical-Historical Commentary

paperback
496 Seiten
Erschienen 2015
Oxford University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

KANTS TRANSCENDENTAL...

ALLISON, Henry E.

20,93 € 61,36 €

-27%

Intgrl Closure Ideals Rings Modules (London Mathematical Society Lecture Note Series, 336, Band 336)

paperback
448 Seiten
Erschienen 2008
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Intgrl Closure Ideals Rings Modules (London...

Swanson, Irena

73,02 € 100,37 €

Infinite Dimensional Analysis: A Hitchhiker’s Guide (Studies in Economic Theory)

hardcover
622 Seiten
Erschienen 1994
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Infinite Dimensional Analysis: A Hitchhiker’s...

Aliprantis, Charalambos D.

161,57 €

Closure Spaces and Logic (Mathematics and Its Applications, 369, Band 369)

hardcover
248 Seiten
Erschienen 1996
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Closure Spaces and Logic (Mathematics and Its...

Martin, N.M.

68,47 €

Fibring Logics (Oxford Logic Guides, 38, Band 38)

hardcover
492 Seiten
Erschienen 1998
OUP Oxford

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Fibring Logics (Oxford Logic Guides, 38, Band 38)

Gabbay, Dov M.

113,84 €

Topics in the Logic of Relevance (Analytica)

Leinen
144 Seiten
Erschienen 1981
Philosophia Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Topics in the Logic of Relevance (Analytica)

Diaz, Richard M.

11,09 €

-31%

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)

paperback
388 Seiten
Erschienen 2008
Springer Berlin Heidelberg

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Formal Hardware Verification: Methods and...

Kropf, Thomas

39,61 € 57,23 €

-77%

Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets (Perspectives in Mathematical Logic)

paperback
455 Seiten
Erschienen 1987
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Recursively Enumerable Sets and Degrees: A...

Soare, Robert I.

20,07 € 85,59 €

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

paperback
320 Seiten
Erschienen 1993
Prentice-Hall

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Logic for Computer Science...

Ben-Ari, Mordechai

35,53 €

-30%

Decomposition Spectrale et Series d'Eisenstein: Une Paraphrase De l'Ecriture (Progress in Mathematics, 113, Band 113)

hardcover
373 Seiten
Erschienen 1993
Birkhäuser Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Decomposition Spectrale et Series d'Eisenstein:...

Waldspurger, J.L.

73,85 € 105,59 €

-29%

Problems from Kant

paperback
360 Seiten
Erschienen 2003
Oxford University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Problems from Kant

Van Cleve, James

40,84 € 57,22 €

-26%

Number Theory: Proceedings of the 4th Matscience Conference held at Otacamund, India, January 5-10, 1984 (Lecture Notes in Mathematics, 1122, Band 1122)

paperback
224 Seiten
Erschienen 2008
Springer Berlin Heidelberg

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Number Theory: Proceedings of the 4th...

Alladi, Krishnaswami

29,56 € 40,02 €

-11%

Traces of Differential Forms and Hochschild Homology (Lecture Notes in Mathematics, 1368, Band 1368)

Kartoniert
124 Seiten
Erschienen 1989
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Traces of Differential Forms and Hochschild...

Hübl, Reinhold

23,73 € 26,70 €

Einführung in Grundbegriffe der Analysis II

perfect
-

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Einführung in Grundbegriffe der Analysis II

-

2,60 €

Analysis für Informatiker (Aachener Beiträge zur Mathematik)

paperback
118 Seiten
Erschienen 2005
Verlag Günter Mainz

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Analysis für Informatiker (Aachener Beiträge...

Esser, Henning

41,08 €

-40%

Cohomological Theory of Dynamical Zeta Functions (Progress in Mathematics, 194, Band 194)

hardcover
719 Seiten
Erschienen 2000
Birkhäuser

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Cohomological Theory of Dynamical Zeta...

Juhl, Andreas

109,22 € 181,89 €

-3%

Perturbation Analysis of Discrete Event Dynamic Systems (The Springer International Series in Engineering and Computer Science, 145, Band 145)

Gebunden
468 Seiten
Erschienen 1991
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Perturbation Analysis of Discrete Event Dynamic...

Xi-Ren Cao

90,77 € 93,99 €

-90%

A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definab: ... (Annals of Mathematics Studies, 206)

hardcover
296 Seiten
Erschienen 2020
PRINCETON UNIV PR

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

A Hierarchy of Turing Degrees: A Transfinite...

Greenberg, Noam

16,67 € 162,50 €

Galois Theories (Cambridge Studies in Advanced Mathematics)

hardcover
356 Seiten
Erschienen 2001
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Galois Theories (Cambridge Studies in Advanced...

Borceux, Francis

93,50 €

The Theory of Subnormal Operators (Mathematical Surveys & Monographs)

hardcover
436 Seiten
Erschienen 1991
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Theory of Subnormal Operators (Mathematical...

Conway, John B.

123,38 €

Understanding Arguments: An Introduction to Informal Logic (Cengage Advantage Books)

paperback
576 Seiten
Erschienen 2009
Wadsworth Publishing Co Inc

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Understanding Arguments: An Introduction to...

Fogelin, Robert J.

73,48 €

-54%

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations

Hardcover
534 Seiten
Erschienen 1993
OUP Oxford

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Handbook of Logic in Artificial Intelligence...

-

228,83 € 496,50 €

What Is a Logical System? (STUDIES IN LOGIC AND COMPUTATION, Band 4)

hardcover
468 Seiten
Erschienen 1995
OUP Oxford

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

What Is a Logical System? (STUDIES IN LOGIC AND...

Gabbay, D. M.

59,41 €

-13%

Begriffsbasierte Integration von Systemanalysemethoden (Betriebs- und Wirtschaftsinformatik, Band 53)

perfect
464 Seiten
Erschienen 1992
Physica

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Begriffsbasierte Integration von...

Hansen, Hans R.

47,81 € 54,99 €