Cantitate/Preț
Produs
Total produse
Vezi coșul
Proof Theory and Intuitionistic Systems de Bruno Scarpellini

Proof Theory and Intuitionistic Systems: Lecture Notes in Mathematics, cartea 212

Autor Bruno Scarpellini
en Limba Engleză Paperback – 1971

Din seria Lecture Notes in Mathematics

  • 17% Model Order Reduction and Applications: Cetraro, Italy 2021
    Preț: 36042 lei
  • The Essence of Numbers
    Preț: 11790 lei
  • 20% Stochastic Geometry: Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 13-18, 2004
    Preț: 38029 lei
  • Non-Newtonian Fluid Mechanics and Complex Flows: Levico Terme, Italy 2016
    Preț: 13165 lei
  • Convex Geometry: Cetraro, Italy 2021
    Preț: 44682 lei
  • Computational Synthetic Geometry
    Preț: 17568 lei
  • Open Quantum Systems I: The Hamiltonian Approach
    Preț: 47763 lei
  • 17% The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type
    Preț: 36188 lei
  • The Dynamics of Nonlinear Reaction-Diffusion Equations with Small Lévy Noise
    Preț: 25237 lei
  • Conformal Symmetry Breaking Operators for Differential Forms on Spheres
    Preț: 34394 lei
  • Metrical and Dynamical Aspects in Complex Analysis
    Preț: 13888 lei
  • Geometrical Themes Inspired by the N-body Problem
    Preț: 15260 lei
  • Open Conformal Systems and Perturbations of Transfer Operators
    Preț: 11667 lei
  • Generic Coarse Geometry of Leaves
    Preț: 10277 lei
  • Symmetry Breaking for Representations of Rank One Orthogonal Groups II
    Preț: 11902 lei
  • 17% Arakelov Geometry and Diophantine Applications
    Preț: 36552 lei
  • Equivariant Cohomology of Configuration Spaces Mod 2: The State of the Art
    Preț: 39675 lei
  • 17% Generalized B*-Algebras and Applications
    Preț: 36212 lei
  • Topics Surrounding the Combinatorial Anabelian Geometry of Hyperbolic Curves II: Tripods and Combinatorial Cuspidalization
    Preț: 39611 lei
  • The Cohomology of Commutative Semigroups: An Overview
    Preț: 35778 lei
  • 17% Decomposition of Jacobians by Prym Varieties
    Preț: 36231 lei
  • Mathematics Going Forward: Collected Mathematical Brushstrokes
    Preț: 40380 lei
  • 17% p-adic Banach Space Representations: With Applications to Principal Series
    Preț: 36170 lei
  • Geometric Aspects of Functional Analysis: Israel Seminar (GAFA) 2020-2022
    Preț: 48561 lei
  • An Invitation to Coarse Groups
    Preț: 44401 lei
  • Tulane University Ring and Operator Theory Year, 1970-1971: Vol. 2: Lectures on Operator Algebras
    Preț: 39590 lei
  • Critical Point Theory and Submanifold Geometry
    Preț: 47367 lei
  • Ecole d'Ete de Probabilites de Saint Flour XIV, 1984
    Preț: 41194 lei
  • Buildings and the Geometry of Diagrams: Lectures given at the 3rd 1984 Session of the Centro Inter- nazionale Matematico Estivo (C.I.M.E.) held at Como, Italy, August 26 - September 4, 1984
    Preț: 47367 lei
  • Combinatorial Optimization: Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Como, Italy, August 25 - September 2, 1986
    Preț: 32116 lei
  • Complex Analysis and Algebraic Geometry: Proceedings of a Conference, Held in Göttingen, June 25 - July 2, 1985
    Preț: 31650 lei
  • Algebraic Topology. Göttingen 1984: Proceedings of a Conference held in Göttingen, November 9-15, 1984
    Preț: 34035 lei
  • Numerical Methods in Fluid Dynamics: Lectures given at the 3rd 1983 Session of the Centro Internationale Matematico Estivo (CIME) held at Como, Italy, July 7-15, 1983
    Preț: 32190 lei
  • Séminaire de Probabilités XX 1984/85: Proceedings
    Preț: 39674 lei
  • Schrödinger Operators, Como 1984: Lectures given at the 2nd 1984 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) held at Como, Italy, Aug.26- Sept.4, 1984
    Preț: 31894 lei
  • Harmonic Mappings and Minimal Immersion: Lectures given at the 1st 1984 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) held at Montecatini, Italy, June 24-July 3, 1984
    Preț: 40929 lei
  • Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
    Preț: 26812 lei
  • Transformation Groups and Algebraic K-Theory
    Preț: 41251 lei
  • Algebraic Topology and Transformation Groups: Proceedings of a Conference held in Göttingen, FRG, August 23-29, 1987
    Preț: 41003 lei
  • Topology and Geometry - Rohlin Seminar
    Preț: 49060 lei
  • Complete Intersections: Lectures Given at the 1st 1983 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) Held at Acireale (Catania), Italy, June 13-21, 1983
    Preț: 41003 lei
  • Mathematical Economics: Lectures given at the 2nd 1986 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 25 - July 3, 1986
    Preț: 26700 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XII, 1982
    Preț: 32566 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XIII, 1983
    Preț: 41025 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XV-XVII, 1985-87
    Preț: 48329 lei
  • Semi-Classical Analysis for the Schrödinger Operator and Applications
    Preț: 26495 lei
  • Séminaire de Probabilités XVIII 1982/83: Proceedings
    Preț: 41585 lei
  • An Index and Other Useful Information
    Preț: 36551 lei
  • Seminaire de Probabilites XIX 1983/84: Proceedings
    Preț: 41495 lei
  • Kinetic Theories and the Boltzmann Equation: Lectures given at the 1st 1981 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini, Italy, June 10-18, 1981
    Preț: 31666 lei

Preț: 40929 lei

Nou

Puncte Express: 614
Preț estimativ în valută:
7832€ • 8238$ • 6544£

Carte tipărită la comandă

Livrare economică 08-22 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540055419
ISBN-10: 354005541X
Pagini: 300
Ilustrații: VIII, 292 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.42 kg
Ediția:1971
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN*.