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

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

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

Barcode: 09783540386490
Brand: Springer Berlin Heidelberg
There are no offers for this product at this time.

More From Springer Berlin Heidelberg

Integrated Computing Technology : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011,Proceedings
Integrated Computing Technology : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011,Proceedings
from £38.24
Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings
Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings
from £76.08
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
from £38.24
Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings
Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings
from £38.24
Fast Software Encryption : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers
Fast Software Encryption : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers
from £38.24
Measuring Roots : An Updated Approach
Measuring Roots : An Updated Approach
from £152.58
Strongly Correlated Systems : Theoretical Methods
Strongly Correlated Systems : Theoretical Methods
from £169.58
Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
from £38.24
Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings
Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings
from £38.24
Pattern Recognition : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings
Pattern Recognition : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings
from £38.24
Financial Derivatives Modeling
Financial Derivatives Modeling
from £38.24
HCI International 2011 Posters' Extended Abstracts : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011,Proceedings, Part II
HCI International 2011 Posters' Extended Abstracts : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011,Proceedings, Part II
from £76.08
Environmental Modeling : Using MATLAB
Environmental Modeling : Using MATLAB
from £76.08
Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
from £38.24
Business Information Systems : 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011, Proceedings
Business Information Systems : 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011, Proceedings
from £38.24
Networked Digital Technologies : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011, Proceedings
Networked Digital Technologies : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011, Proceedings
from £76.08
Objects, Components, Models, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings
Objects, Components, Models, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings
from £38.24
International Neurolaw : A Comparative Analysis
International Neurolaw : A Comparative Analysis
from £76.08
Agent-Oriented Software Engineering X : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Agent-Oriented Software Engineering X : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
from £38.24
Pediatric Bone Marrow
Pediatric Bone Marrow
from £152.58

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Recent Developments In Theoretical Studies Of Proteins
Recent Developments In Theoretical Studies Of Proteins
from £32.00
Handbook of Time Series Analysis : Recent Theoretical Developments and Applications
Handbook of Time Series Analysis : Recent Theoretical Developments and Applications
from £192.06
Plants, People and Places : Recent Studies in Phytolithic Analysis
Plants, People and Places : Recent Studies in Phytolithic Analysis
from £37.60
Plants, People and Places : Recent Studies in Phytolithic Analysis
Plants, People and Places : Recent Studies in Phytolithic Analysis
from £37.60
Cellular Manufacturing Systems: Recent Developments, Analysis and Case Studies
Cellular Manufacturing Systems: Recent Developments, Analysis and Case Studies
from £306.00
RF Tunable Devices and Subsystems: Methods of Modeling, Analysis, and Applications
RF Tunable Devices and Subsystems: Methods of Modeling, Analysis, and Applications
from £67.58
Definitions of Digital Journalism (Studies)
Definitions of Digital Journalism (Studies)
from £35.09
Definitions of Digital Journalism (Studies)
Definitions of Digital Journalism (Studies)
from £35.09
Natural Environments : Studies in Theoretical & Applied Analysis
Natural Environments : Studies in Theoretical & Applied Analysis
from £44.99
Natural Environments : Studies in Theoretical & Applied Analysis
Natural Environments : Studies in Theoretical & Applied Analysis
from £44.99
Experimental and Theoretical Studies of Consciousness
Experimental and Theoretical Studies of Consciousness
from £87.51
Theoretical and Empirical Studies of Rights
Theoretical and Empirical Studies of Rights
from £35.99
Theoretical and Empirical Studies of Rights
Theoretical and Empirical Studies of Rights
from £35.99
Progress In Experimental And Theoretical Studies Of Clusters
Progress In Experimental And Theoretical Studies Of Clusters
from £39.20
Frontiers of Fractal Analysis : Recent Advances and Challenges
Frontiers of Fractal Analysis : Recent Advances and Challenges
from £51.29
Frontiers of Fractal Analysis : Recent Advances and Challenges
Frontiers of Fractal Analysis : Recent Advances and Challenges
from £51.29
Design and Analysis of Vaccine Studies
Design and Analysis of Vaccine Studies
from £152.58
Planning and Analysis of Observational Studies
Planning and Analysis of Observational Studies
from £39.91
Design and Analysis of Bridging Studies
Design and Analysis of Bridging Studies
from £41.39
Recent Studies in Economics of Development, Business and Accounting
Recent Studies in Economics of Development, Business and Accounting
from £195.50