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

Klimaneutrales 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

Mathematical Induction: A Powerful and Elegant Method of Proof (Xyz, Band 25)

hardcover
428 Seiten
Erschienen 2017
XYZ Press

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

Mathematical Induction: A Powerful and Elegant...

Crisan, Vlad

141,31 €

-98%

Qualitative Spatial and Temporal Reasoning

Hardcover
544 Seiten
Erschienen 2011
Wiley-ISTE

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

Qualitative Spatial and Temporal Reasoning

Ligozat, Gérard

4,07 € 242,50 €

-94%

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

paperback
240 Seiten
Erschienen 2002
Springer

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

Isabelle/HOL: A Proof Assistant for...

Wenzel, Markus

3,61 € 62,96 €

-33%

Grundzüge der modernen Analysis, Bd.4 (Logik und Grundlagen der Mathematik)

Hardcover
443 Seiten
Erschienen 1977
Vieweg Verlagsgesellschaft

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

Grundzüge der modernen Analysis, Bd.4 (Logik...

Dieudonne, Jean

33,33 € 49,95 €

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.

193,74 €

-60%

Der Gödelsche Beweis

paperback
Erschienen 2003
De Gruyter Oldenbourg

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

Der Gödelsche Beweis

Newman, James R.

39,52 € 99,95 €

-55%

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic (Synthese Library, 229, Band 229)

hardcover
397 Seiten
Erschienen 1993
Springer

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

Diamonds and Defaults: Studies in Pure and...

de Rijke, Maarten

72,20 € 160,49 €

-67%

Neue Betrachtungen über Aufgaben und Ziele der Wissenschaftstheorie. Wahrscheinlichkeit-Theoretische Begriffe-Induktion. Das Abc der modernen ... und Analytischen Philosophie, 4 / A)

paperback
304 Seiten
Erschienen 2013
Springer

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

Neue Betrachtungen über Aufgaben und Ziele der...

Stegmüller, Wolfgang

14,90 € 44,99 €

-86%

Axiomatische Wahrheitstheorien (Logica Nova)

Gebunden
260 Seiten
Erschienen 1996
De Gruyter Akademie Forschung

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

Axiomatische Wahrheitstheorien (Logica Nova)

Halbach, Volker

15,41 € 109,95 €

-99%

Specification and Proof in Real Time CSP

Hardcover
200 Seiten
Erschienen 1993
Cambridge University Press

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

Specification and Proof in Real Time CSP

Davies, Jim

1,77 € 137,20 €

-74%

Complex Proofs of Real Theorems (University Lecture Series, 58, Band 58)

paperback
90 Seiten
Erschienen 2012
American Mathematical Society

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

Complex Proofs of Real Theorems (University...

Zalcman, Lawrence

9,27 € 35,31 €

-86%

Formal Logic: Its Scope and Limits

hardcover
198 Seiten
Erschienen 1981
McGraw-Hill Inc.,US

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

Formal Logic: Its Scope and Limits

Jeffrey, Richard C.

9,03 € 64,57 €

-54%

An Introduction to Description Logic

paperback
264 Seiten
Erschienen 2017
Cambridge University Press

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

An Introduction to Description Logic

Lutz, Carsten

18,21 € 39,96 €

-42%

Grundbegriffe der Analysis: Genese und Beispiele aus didaktischer Sicht

paperback
344 Seiten
Erschienen 1995
Spektrum Akademischer Verlag

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

Grundbegriffe der Analysis: Genese und...

Scheid, Harald

14,52 € 24,95 €

-79%

Problems in Real Analysis: Advanced Calculus on the Real Axis

Kartoniert
476 Seiten
Erschienen 2009
Springer

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

Problems in Real Analysis: Advanced Calculus on...

Andreescu, Titu

18,36 € 85,86 €

Pure and applied mathematics, vol.10-I: Foundations of Modern Analysis

paperback
361 Seiten
Erschienen 1969
Academic Press

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

Pure and applied mathematics, vol.10-I:...

Jean Dieudonné

111,84 €

Introduction to Mathematical Logic (University Series in Undergraduate Mathematics)

textbook
300 Seiten
Erschienen 1964
Van Nostrand Reinhold

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

Introduction to Mathematical Logic (University...

Mendelson, Elliott

7,18 €

-82%

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)

paperback
372 Seiten
Erschienen 2008
Springer

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

Theorem Proving in Higher Order Logics: 12th...

Dowek, Gilles

10,23 € 57,23 €

-23%

A Splash of the Logical Reason: Dharmakīrti's Hetubindu Translated (Sitzungsberichte der philosophisch-historischen Klasse)

Kartoniert
54 Seiten
Erschienen 2022
Verlag der Österreichischen...

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

A Splash of the Logical Reason: Dharmakīrti's...

Steinkellner, Ernst

30,95 € 40,00 €

-51%

Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)

Kartoniert
216 Seiten
Erschienen 2013
Birkhäuser

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

Kripke’s Worlds: An Introduction to Modal...

Gasquet, Olivier und Schwar...

44,92 € 90,94 €

-76%

Model Theory (Studies in Logic and Foundations of Mathematics Ser. : Vol 73)

paperback
566 Seiten
Erschienen 1977
North-Holland

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

Model Theory (Studies in Logic and Foundations...

Keisler, H. Jerome

9,36 € 38,79 €

-69%

Studies in model theory

hardcover
197 Seiten
Erschienen 1973
Mathematical Association of...

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

Studies in model theory

Michael D. Morley

3,93 € 12,84 €

-66%

Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides)

hardcover
152 Seiten
Erschienen 1977
Oxford University Press

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

Beginning Model Theory: The Completeness...

Bridge, Jane

6,45 € 19,21 €

-59%

Elementary Analysis: The Theory of Calculus (Undergraduate Texts in Mathematics)

paperback
424 Seiten
Erschienen 2015
Springer

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

Elementary Analysis: The Theory of Calculus...

Ross, Kenneth A. A.

19,50 € 48,14 €

-92%

Typed Lambda Calculi and Applications

Hardcover
448 Seiten
Erschienen 2001
Springer

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

Typed Lambda Calculi and Applications

Abramsky, Samson

4,16 € 53,49 €

-94%

Information Algebras: Generic Structures For Inference (Discrete Mathematics and Theoretical Computer Science)

paperback
280 Seiten
Erschienen 2013
Springer

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

Information Algebras: Generic Structures For...

Kohlas, Juerg

8,35 € 137,38 €

-30%

Rings and Categories of Modules (Graduate texts in mathematics, vol.13)

paperback
348 Seiten
Erschienen 1974
Springer

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

Rings and Categories of Modules (Graduate texts...

Kent R. Fuller

17,10 € 24,50 €

-82%

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

hardcover
388 Seiten
Erschienen 2008
Springer Berlin Heidelberg

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

Formal Hardware Verification: Methods and...

Kropf, Thomas

10,19 € 57,23 €

Functional Analysis

hardcover
448 Seiten
Erschienen 1973
McGraw-Hill Inc.,US

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

Functional Analysis

Rudin, Walter

83,99 €

-71%

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... Notes in Computer Science, 2755, Band 2755)

paperback
472 Seiten
Erschienen 2008
Springer

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

Recent Trends in Algebraic Development...

Pattinson, Dirk

16,67 € 57,23 €

paperback
175 Seiten
Duden ein Imprint von Corne...

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

Metamathematik

Lorenzen, Paul

12,69 €

Theorems and Counterexamples in Mathematics (Problem Books in Mathematics)

hardcover
339 Seiten
Erschienen 1990
Springer Berlin

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

Theorems and Counterexamples in Mathematics...

Olmsted, John M.

36,64 €

-59%

Geometric Invariant Theory (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 34, Band 34)

hardcover
308 Seiten
Erschienen 1994
Springer

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

Geometric Invariant Theory (Ergebnisse der...

Kirwan, Frances

78,70 € 192,59 €

Nicht-reine synthetische Urteile a priori. Ein Problem der Transzendentalphilosophie Immanuel Kants

Kartoniert
385 Seiten
Erschienen 1985
-

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

Nicht-reine synthetische Urteile a priori. Ein...

Cramer, Konrad

66,90 €

-38%

Mathematical Logic

Kartoniert
344 Seiten
Erschienen 2001
Routledge

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

Mathematical Logic

Shoenfield, Joseph R.

37,05 € 59,79 €

Real and Abstract Analysis: A Modern Treatment of the Theory of Functions of a Real Variable (Graduate Texts in Mathematics)

Gebundene Ausgabe
476 Seiten
Erschienen 1975
Springer Berlin

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

Real and Abstract Analysis: A Modern Treatment...

-

10,92 €

-73%

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

paperback
342 Seiten
Erschienen 2008
Cambridge University Press

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

An Introduction to Many-Valued and Fuzzy Logic:...

Bergmann, Merrie

17,32 € 63,01 €

Computers and Intractability: A Guide to the Theory of NP-completeness

hardcover
338 Seiten
Erschienen 1979
W.H.Freeman & Co Ltd

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

Computers and Intractability: A Guide to the...

Johnson, David S.

43,33 €

-55%

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

hardcover
354 Seiten
Erschienen 2024
Routledge

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

Reasons for Logic, Logic for Reasons:...

Hlobil, Ulf

54,20 € 119,58 €

Funktionalanalysis II

perfect
-

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

Funktionalanalysis II

-

10,37 €