Tableau Systems for First Order Number Theory and Certain Higher Order Theories

AvS.A. Toledo

Häftad, Engelska, 1975

Del 447 i serien Lecture Notes in Mathematics

383 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

427 kr

Produktinformation

Utgivningsdatum:1975-04-14
Mått:155 x 235 x 20 mm
Vikt:534 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:348
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540071495

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

First order number theory.- Second order logic.- Other higher order systems due to Schütte.

Mer från samma serie

Del 1144

Knot Theory and Manifolds

Dale Rolfsen

Häftad, 1985

276 kr

Del 620

Moduli Theory and Classification Theory of Algebraic Varieties

H. Popp

Häftad, 1977

308 kr

Del 1788

Moduli of Families of Curves for Conformal and Quasiconformal Mappings

Alexander Vasil'ev

Häftad, 2002

491 kr

Del 2166

Ricci Flow and Geometric Applications

Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza

Häftad, 2016

384 kr

Del 1370

Algebraic Topology

Gunnar Carlsson, Ralph Cohen, Haynes R. Miller, Douglas C. Ravenel

Häftad, 1989

545 kr

Del 1578

Equivariant Sheaves and Functors

Joseph Bernstein, Valery Lunts

Häftad, 1994

330 kr

Forward-Backward Stochastic Differential Equations and their Applications

Jin Ma, Jiongmin Yong

Häftad, 1999

653 kr

Del 1730

Foundations of Quantization for Probability Distributions

Siegfried Graf, Harald Luschgy

Häftad, 2000

653 kr

Del 542

Cech and Steenrod Homotopy Theories with Applications to Geometric Topology

D. A. Edwards, H. M. Hastings

Häftad, 1976

437 kr

Del 1659

Theory of a Higher-Order Sturm-Liouville Equation

Vladimir Kozlov, Vladimir Maz'ya

Häftad, 1997

384 kr

Du kanske också är intresserad av