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
  • An Index and Other Useful Information
    Preț: 36044 lei
  • 15% Stochastic Geometry: Percolation, Tesselations, Gaussian Fields and Point Processes
    Preț: 47790 lei
  • 15% Statistical Optimal Transport
    Preț: 45204 lei
  • 15% Ideal Theory of Commutative Rings and Monoids
    Preț: 47994 lei
  • Seminaire de Probabilites XIX 1983/84: Proceedings
    Preț: 41084 lei
  • Büchi’s Monadic Second Order Successor Arithmetic
    Preț: 33543 lei
  • 15% Fast Computation of Volume Potentials by Approximate Approximations
    Preț: 47914 lei
  • The p-adic Simpson Correspondence and Hodge-Tate Local Systems
    Preț: 48495 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
  • 15% Séminaire de Probabilités LII
    Preț: 48781 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
  • 15% Analytic Methods of Spectral Representations of Non-Selfadjoint (Non-Unitary) Operators
    Preț: 57368 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
  • Theory of Traces and the Divergence Theorem
    Preț: 46255 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
  • 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
  • 20% Variational and PDE Methods in Nonlinear Science
    Preț: 45568 lei
  • 15% Commutative Algebra and its Interactions to Algebraic Geometry
    Preț: 42492 lei
  • Random Obstacle Problems
    Preț: 33707 lei
  • Séminaire de Probabilités XVIII 1982/83: Proceedings
    Preț: 41174 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
  • The Spectral Theorem
    Preț: 26216 lei
  • Séminaire de Probabilités IV: Université de Strasbourg. 1970
    Preț: 31567 lei
  • Open Conformal Systems and Perturbations of Transfer Operators
    Preț: 33589 lei
  • Singularities in Linear Wave Propagation
    Preț: 26284 lei
  • Séminaire de Probabilités XX 1984/85: Proceedings
    Preț: 39284 lei
  • Probability and Analysis: Held at Varenna (Como); Italy, May, 31 - June 8, 1985
    Preț: 40487 lei
  • Series of Bessel and Kummer-Type Functions
    Preț: 37197 lei
  • Seminaire de Probabilites XXI
    Preț: 38930 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
  • Algebraic Topology. Göttingen 1984: Proceedings of a Conference held in Göttingen, November 9-15, 1984
    Preț: 33706 lei
  • Relational Topology
    Preț: 37103 lei
  • Ecole d'Ete de Probabilites de Saint Flour XIV, 1984
    Preț: 40787 lei
  • Hydrodynamic Limits of the Boltzmann Equation
    Preț: 43508 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XII, 1982
    Preț: 32253 lei
  • 15% Ergodic Theory and Dynamical Systems in their Interactions with Arithmetics and Combinatorics
    Preț: 46367 lei
  • Partial Differential Equations: Proceedings of a Symposium held in Tianjin, June 23 - July 5, 1986
    Preț: 31678 lei
  • Fluid Dynamics: Lectures given at the 3rd 1982 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.). Held at Varenna, Italy, August 22 - September 1, 1982
    Preț: 17734 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
  • Zeta Integrals, Schwartz Spaces and Local Functional Equations
    Preț: 33564 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
  • Spear Operators Between Banach Spaces
    Preț: 33757 lei
  • Numerical Analysis and Parallel Processing
    Preț: 37393 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XV-XVII, 1985-87
    Preț: 47847 lei
  • Algebraic Topology and Transformation Groups: Proceedings of a Conference held in Göttingen, FRG, August 23-29, 1987
    Preț: 40597 lei

Preț: 40524 lei

Puncte Express: 608

Carte tipărită la comandă

Livrare economică 10-24 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 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*.