Selected papers in proof theory

Selected papers in proof theory

フォーマット:
図書
責任表示:
Grigorii E. Mints
本文言語:
英語
説明:
294 p.: ill.; 25 cm
出版情報:
Napoli, Italy — Amsterdam ; New York, Italy. c1992. Bibliopolis,North-Holland
シリーズ:
Studies in proof theory; monographs 3
本文を見る
所蔵情報
Loading availability information

類似資料:

1
Complexity of proofs and their transformations in axiomatic theories by Orevkov, V. P; Bochman, Alexander; Louvish, David
7
Handbook of proof theory by Buss, Samuel R.
2
Proof theory and logical complexity by Girard, Jean-Yves
8
Structural proof theory by Negri, Sara, 1967-; Von Plato, Jan; Ranta, Aarne
3
Arithmetic, proof theory, and computational complexity by Clote, Peter; Krajíček, Jan
9
Basic proof theory by Troelstra, A. S.; Schwichtenberg, Helmut, 1942-
4
Introduction to proofs in mathematics by Franklin, James, 1953-; Daoud, Albert, 1936-
10
Proof theory : an introduction by Pohlers, Wolfram
11
Handbook of proof theory by Buss, Samuel R
6
Proof theory by 竹内, 外史; Symposium on Intuitionism and Proof Theory
12
Bounded arithmetic by Buss, Samuel R.
1.
Complexity of proofs and their transformations in axiomatic theories by Orevkov, V. P; Bochman, Alexander; Louvish, David
2.
Proof theory and logical complexity by Girard, Jean-Yves
3.
Arithmetic, proof theory, and computational complexity by Clote, Peter; Krajíček, Jan
4.
Introduction to proofs in mathematics by Franklin, James, 1953-; Daoud, Albert, 1936-
6.
Proof theory by 竹内, 外史; Symposium on Intuitionism and Proof Theory
7.
Handbook of proof theory by Buss, Samuel R.
8.
Structural proof theory by Negri, Sara, 1967-; Von Plato, Jan; Ranta, Aarne
9.
Basic proof theory by Troelstra, A. S.; Schwichtenberg, Helmut, 1942-
10.
Proof theory : an introduction by Pohlers, Wolfram
11.
Handbook of proof theory by Buss, Samuel R
12.
Bounded arithmetic by Buss, Samuel R.