Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
by W Buchholz;W Feferman SPohlers (9783540111702)

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
 

W Buchholz;W Feferman SPohlers


Release Date: 01 December 1981
Format: Paperback / softback
Pages: 384
Category: Logic
Publisher: Springer
ISBN: 9783540111702
ISBN-10: 3540111700




AUD $76.95

 This title is not held in stock & is ordered from suppliers, subject to availability.



Write a customer review of Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies.



If you like this title please tell others:

tell others

post to your Facebook wall post on Twitter post on Digg recommend to Stumbleupon bookmark on Delicious RSS feed send to a friend


Australian BookShop
Australian Bookshop. Established 2003
Search
Shopping Cart Customer Support


HolisticPage
International Online Store
of Inspiration
we ship everywhere
Australia Post
Australia Wide
.
Worldwide