0 Mėgstami
0Krepšelis

Proof Theory and Intuitionistic Systems

67,67 
67,67 
2025-07-31 67.6700 InStock
Nemokamas pristatymas į paštomatus per 13-17 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

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

Informacija

Autorius: Bruno Scarpellini
Serija: Lecture Notes in Mathematics
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1971
Knygos puslapių skaičius: 300
ISBN-10: 354005541X
ISBN-13: 9783540055419
Formatas: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Mathematical logic

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Proof Theory and Intuitionistic Systems“

Būtina įvertinti prekę

Goodreads reviews for „Proof Theory and Intuitionistic Systems“