Basic proof theory

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

A.S. Troelstra, H. Schwichtenberg

言語:

英語

出版情報:

Cambridge ; New York : Cambridge University Press, 2000

形態:

xii, 417 p. ; 23 cm

著者名:

シリーズ名:

書誌ID:

BA47606340

ISBN:

9780521779111 [0521779111] (: pbk)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Proof theory
分類・件名:	LCC : QA9.54 DDC : 511.3 LCSH : Proof theory
注記:	Includes bibliographical references and index
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Proof theory 竹内, 外史(1926-) North-Holland Pub. Co, American Elsevier Pub. Co.	7 図書 Conjecture and proof Laczkovich, Miklós, Mathematical Association of America The Mathematical Association of America
2 図書 Proof theory : an introduction Pohlers, Wolfram Springer-Verlag	8 図書 Analysis : with an introduction to proof Lay, Steven R., 1944- Prentice Hall
3 図書 Proof theory and logical complexity Girard, Jean-Yves Bibliopolis	9 図書 Proofs and Fundamentals : a first course in abstract mathematics Bloch, Ethan D. 1956- Springer
4 図書 Explanation and proof in mathematics : philosophical and educational perspectives Hanna, Gila, Jahnke, H. N. (Hans Niels), 1948-, Pulte, Helmut Springer	10 図書 The Madonna connection : representational politics, subcultural identities, and cultural theory Schwichtenberg, Cathy Westview Press
5 図書 Complexity of proofs and their transformations in axiomatic theories Orevkov, V. P, Bochman, Alexander, Louvish, David American Mathematical Society	11 図書 Basic nursing : theory and practice Potter, Patricia Ann, Perry, Anne Griffin Mosby Year Book
6 図書 Proof complexity Krajíček, Jan Cambridge University Press	12 電子ブック Principles of Intuitionism Troelstra Springer Berlin Heidelberg