Iterated inductive definitions and subsystems of analysis
recent proof-theoretical studies
| LEADER | cam a22 u 4500 | ||
|---|---|---|---|
| 001 | 260786705 | ||
| 003 | CHVBK | ||
| 005 | 20201020191709.0 | ||
| 008 | 130816s1981 gw | 00 |eng|d | ||
| 020 | |a 3-540-11170-0 | ||
| 020 | |a 0-387-11170-0 | ||
| 035 | |a (NEBIS)000244407 | ||
| 035 | |a (RERO)R260454360 | ||
| 040 | |a ETH-BIB |b ger |c ETH-BIB |e ETHICS-ISBD | ||
| 072 | 7 | |a s1ma |2 rero | |
| 082 | 0 | 4 | |a 510 s |a 511 |2 19 |
| 082 | 0 | 4 | |a 510.8 |2 22 |
| 082 | 0 | 4 | |a 511 |
| 082 | 0 | 4 | |a 511.3 |
| 100 | 1 | |a Buchholz |D Wilfried | |
| 245 | 1 | 0 | |a Iterated inductive definitions and subsystems of analysis |b recent proof-theoretical studies |c Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg |
| 260 | |a Berlin |b Springer |c 1981 | ||
| 300 | |a V, 383 p. |b ill. |c 25 cm | ||
| 490 | 1 | |a Lecture notes in mathematics |v 897 |i 897 |w (NEBIS)000023275 |9 527132209 | |
| 650 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd | |
| 650 | 7 | |a Induktive Definition |0 (DE-588)4161591-8 |2 gnd | |
| 650 | 0 | |a Induction (Mathematics) | |
| 650 | 0 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | |a Mathematical analysis | |
| 650 | 0 | |a Mathematical analysis |x Foundations | |
| 650 | 0 | |a Mathematics | |
| 650 | 0 | |a Proof theory | |
| 650 | 7 | |a ANALYSIS (MATHEMATIK) |x ger |0 (ETHUDK)000013159 |2 ethudk | |
| 650 | 7 | |a SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK) |x ger |0 (ETHUDK)000012523 |2 ethudk | |
| 690 | 7 | |B u |a Beweistheorie |2 idszbz Z9 | |
| 691 | 7 | |B u |a SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK) |z ger |u 510.662 |2 nebis E1 | |
| 691 | 7 | |B u |a ANALYSIS (MATHEMATIK) |z ger |u 517 |2 nebis E1 | |
| 691 | 7 | |B u |a INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC) |z eng |u 510.662 |2 nebis E1 | |
| 691 | 7 | |B u |a RECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE) |z fre |u 510.662 |2 nebis E1 | |
| 691 | 7 | |B u |a ANALYSE (MATHÉMATIQUES) |z fre |u 517 |2 nebis E1 | |
| 691 | 7 | |B u |a ANALYSIS (MATHEMATICS) |z eng |u 517 |2 nebis E1 | |
| 691 | 7 | |2 rero ams |u 00.04 | |
| 691 | 7 | |2 rero ams |u 02 | |
| 700 | 1 | |a Feferman |D Solomon |d 1928- |0 (DE-588)128682167 | |
| 700 | 1 | |a Pohlers |D Wolfram |d 1943- |0 (DE-588)1089378688 | |
| 700 | 1 | |a Sieg |D Wilfried | |
| 830 | 0 | |a Lecture notes in mathematics |v 897 | |
| 898 | |a BK020000 |b XK020000 |c XK020000 | ||
| 909 | 7 | |f medea |2 idsuzh U2 | |
| 912 | 7 | |a 121 |2 E01-20080101 | |
| 912 | 7 | |a 123 |2 E01-20080101 | |
| 949 | |B RERO |F RE01059 |b RE01059 |c RE010590001 |j IMATH F-8-897 | ||
| 949 | |B RERO |F RE61011 |b RE61011 |c RE610110001 |j 00.04/3 897 | ||
| 949 | |B NEBIS |F E30 |b E30 |c E30BI |j 2AK 120: 897 | ||
| 949 | |B NEBIS |F E30 |b E30 |c E30BI |j EDA 260 | ||
| 949 | |B NEBIS |F E30 |b E30 |c E30BI |j EDA 260: EX.2 | ||
| 949 | |B NEBIS |F E64 |b E64 |c E64BI |j S 1.897 | ||
| 949 | |B NEBIS |F Z01 |b Z01 |c 04 |j TS 264: 897 | ||
| 949 | |B NEBIS |F UFBI |b UFBI |c ULMAT |j QA3.L28 no. 897 | ||
| 949 | |B NEBIS |F E01 |b E01 |c MG |j P 712565: 897 | ||
| 949 | |B NEBIS |F E02 |b E02 |c E02RB |j 03 ITE | ||
| 950 | |B NEBIS |P 100 |E 1- |a Buchholz |D Wilfried | ||
| 950 | |B NEBIS |P 490 |E -- |a Lecture notes in mathematics |v 897 |i 897 |w (NEBIS)000023275 |9 527132209 | ||
| 950 | |B NEBIS |P 700 |E 1- |a Feferman |D Solomon |d 1928- |0 (DE-588)128682167 | ||
| 950 | |B NEBIS |P 700 |E 1- |a Pohlers |D Wolfram |d 1943- |0 (DE-588)1089378688 | ||
| 950 | |B NEBIS |P 700 |E 1- |a Sieg |D Wilfried | ||
| 950 | |B RERO |P 490 |E 1- |a Lecture notes in mathematics |v 897 | ||
| 950 | |B RERO |P 700 |E 1- |a Buchholz |D Wilfried |0 (IDREF)137060300 | ||
| 950 | |B RERO |P 830 |E -- |a Lecture notes in mathematics |v 897 | ||