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

フォーマット:
電子ブック
責任表示:
Buchholz ; Feferman, S. ; Pohlers, W. ; Sieg, W.
言語:
英語
出版情報:
Springer Berlin Heidelberg, 1981
著者名:
ISBN:
9783540111702 [3540111700]  CiNii Books  Webcat Plus  Google Books
9783540386490 [3540386491]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
ジャーナル/ブックへリンク
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Proof Theory

Pohlers, Wolfram

Springer Berlin Heidelberg
7 図書 Studies in the structure of the American economy : theoretical and empirical explorations in input-output analysis

Harvard University. Harvard Economic Research Project, Leontief, Wassily W., 1906-

Oxford University Press
2 電子ブック Proof Theory

Pohlers, Wolfram

Springer Berlin Heidelberg
8 電子ブック Some recent theoretical work on accessibility in transportation systems

Horn, W. A.
3 図書 Proof theory : an introduction

Pohlers, Wolfram

Springer-Verlag
9 電子ブック Theoretical Numerical Analysis

Atkinson, Kendall E., Han, W., Han, Weimin

Springer New York
4 電子ブック Independent Orbiter assessment : analysis of the pyrotechnics subsystem

Robinson, W. W.
10 電子ブック Independent Orbiter assessment : analysis of the electrical power distribution and control/remote manipulator system subsystem

Robinson, W. W.
5 図書 Proofs, categories and computations : essays in honor of Grigori Mints

Feferman, Solomon, Sieg, Wilfried, Mints, Grigori

College Publications
11 図書 The optimal personality : an empirical and theoretical analysis

Coan, Richard W.

Routledge & K. Paul
6 図書 What logics mean : from proof theory to model-theoretic semantics

Garson, James W., 1943-

Cambridge University Press
12 電子ブック Recent Advances in Iterative Methods

Friedman, Avner; Miller, Willard; Golub, Gene, Greenbaum, Anne, Luskin, Mitchell

Springer New York