Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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\*. 300 pp. Englisch. Seller Inventory # 9783540055419

More information about this seller | Contact seller

Buy New

US$ 47.42

Convert currency

Add to Basket

Shipping: US$ 24.77

From Germany to U.S.A.

Destination, rates & speeds

Stock Image

Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)

Scarpellini, Bruno

Published by Springer (1971)

ISBN 10: 354005541X ISBN 13: 9783540055419

New Softcover Quantity: 1

Seller:

Books Unplugged
(Amherst, NY, U.S.A.)

Rating

Seller Rating:

Book Description Condition: New. Buy with confidence! Book is in new, never-used condition. Seller Inventory # bk354005541Xxvz189zvxnew

More information about this seller | Contact seller

Buy New

US$ 89.08

Convert currency

Add to Basket

Shipping: FREE

Within U.S.A.

Destination, rates & speeds

Stock Image

Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)

Scarpellini, Bruno

Published by Springer (1971)

ISBN 10: 354005541X ISBN 13: 9783540055419

New Softcover Quantity: 1

Seller:

Book Deals
(Tucson, AZ, U.S.A.)

Rating

Seller Rating:

Book Description Condition: New. New! This book is in the same immaculate condition as when it was published. Seller Inventory # 353-354005541X-new

More information about this seller | Contact seller

Buy New

US$ 89.08

Convert currency

Add to Basket

Shipping: FREE

Within U.S.A.

Destination, rates & speeds

Seller Image

Proof Theory and Intuitionistic Systems

Bruno Scarpellini

Published by Springer Berlin Heidelberg (1971)

ISBN 10: 354005541X ISBN 13: 9783540055419

New Taschenbuch Quantity: 1

Seller:

AHA-BUCH GmbH
(Einbeck, Germany)

Rating

Seller Rating:

Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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\*. Seller Inventory # 9783540055419

More information about this seller | Contact seller

Buy New

US$ 53.91

Convert currency

Add to Basket

Shipping: US$ 35.53

From Germany to U.S.A.

Destination, rates & speeds

Seller Image

Proof Theory and Intuitionistic Systems

Bruno Scarpellini

Published by Springer Berlin Heidelberg (1971)

ISBN 10: 354005541X ISBN 13: 9783540055419

New Softcover Quantity: > 20

Print on Demand

Seller:

moluna
(Greven, Germany)

Rating

Seller Rating:

Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 functi. Seller Inventory # 4878816

More information about this seller | Contact seller

Buy New

US$ 43.89

Convert currency

Add to Basket

Shipping: US$ 52.76

From Germany to U.S.A.

Destination, rates & speeds

Items related to Proof Theory and Intuitionistic Systems (Lecture Notes...

Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212) - Softcover

Buy New

Top Search Results from the AbeBooks Marketplace