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ț: 38973 lei
  • Conformal Symmetry Breaking Operators for Differential Forms on Spheres
    Preț: 34060 lei
  • CAT(0) Cube Complexes: An Introduction
    Preț: 42999 lei
  • Representations of SU(2,1) in Fourier Term Modules
    Preț: 43015 lei
  • Compactifying Moduli Spaces for Abelian Varieties
    Preț: 37627 lei
  • A Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation
    Preț: 31508 lei
  • Symmetry Breaking for Representations of Rank One Orthogonal Groups II
    Preț: 34810 lei
  • The p-adic Simpson Correspondence and Hodge-Tate Local Systems
    Preț: 48191 lei
  • Probability and Analysis: Held at Varenna (Como); Italy, May, 31 - June 8, 1985
    Preț: 40487 lei
  • Bifurcation Theory and Applications: Lectures Given at the 2nd 1983 Session of the Centro Internationale Mathematico Estivo (C.I.M.E.) Held at Montecatini, Italy, June 24-July 2, 1983
    Preț: 31349 lei
  • Hydrodynamic Limits of the Boltzmann Equation
    Preț: 43508 lei
  • 15% Commutative Algebra and its Interactions to Algebraic Geometry
    Preț: 42492 lei
  • Algebraic Topology. Göttingen 1984: Proceedings of a Conference held in Göttingen, November 9-15, 1984
    Preț: 33706 lei
  • Zeta Integrals, Schwartz Spaces and Local Functional Equations
    Preț: 33564 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ț: 40524 lei
  • Generalized B*-Algebras and Applications
    Preț: 29915 lei
  • Séminaire de Probabilités XVIII 1982/83: Proceedings
    Preț: 41174 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ț: 31364 lei
  • Theory of Moduli: Lectures given at the 3rd 1985 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 21-29, 1985
    Preț: 46654 lei
  • Seminaire de Probabilites XXI
    Preț: 38930 lei
  • Multiscale Problems in the Life Sciences
    Preț: 37914 lei
  • Unbounded Weighted Composition Operators in L²-Spaces
    Preț: 33827 lei
  • Mathematical Theory of Feynman Path Integrals
    Preț: 30599 lei
  • Partial Differential Equations: Proceedings of a Symposium held in Tianjin, June 23 - July 5, 1986
    Preț: 31678 lei
  • Séminaire de Probabilités IV: Université de Strasbourg. 1970
    Preț: 31567 lei
  • Series of Bessel and Kummer-Type Functions
    Preț: 37197 lei
  • Ecole d'Ete de Probabilites de Saint Flour XIV, 1984
    Preț: 40787 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ț: 46894 lei
  • Büchi’s Monadic Second Order Successor Arithmetic
    Preț: 33543 lei
  • Complex Analysis and Algebraic Geometry: Proceedings of a Conference, Held in Göttingen, June 25 - July 2, 1985
    Preț: 31349 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ț: 31881 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ț: 31587 lei
  • Random Obstacle Problems
    Preț: 33707 lei
  • Séminaire de Probabilités XX 1984/85: Proceedings
    Preț: 39284 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ț: 40597 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XII, 1982
    Preț: 32253 lei
  • Spear Operators Between Banach Spaces
    Preț: 33757 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XIII, 1983
    Preț: 40619 lei
  • Mixed Finite Elements, Compatibility Conditions, and Applications
    Preț: 40436 lei
  • Seminaire de Probabilites XIX 1983/84: Proceedings
    Preț: 41084 lei
  • Open Conformal Systems and Perturbations of Transfer Operators
    Preț: 33589 lei
  • Topology and Geometry - Rohlin Seminar
    Preț: 48567 lei
  • Numerical Analysis and Parallel Processing
    Preț: 37393 lei
  • Singularities in Linear Wave Propagation
    Preț: 26284 lei
  • Problems in Nonlinear Diffusion: Lectures given at the 2nd 1985 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 10 - June 18, 1985
    Preț: 26656 lei
  • Inverse Problems: Lectures Given at the 1st 1986 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, May 28-June 5, 1986
    Preț: 46487 lei
  • Relational Topology
    Preț: 37103 lei
  • An Index and Other Useful Information
    Preț: 36044 lei
  • Algebraic Topology and Transformation Groups: Proceedings of a Conference held in Göttingen, FRG, August 23-29, 1987
    Preț: 40597 lei
  • Critical Point Theory and Submanifold Geometry
    Preț: 46894 lei

Preț: 40524 lei

Puncte Express: 608

Carte tipărită la comandă

Livrare economică 29 mai-12 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

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*.