>> Google Books
所蔵情報QRコード

Proof complexity / Jan Krajíček

資料種別:
図書
出版情報:
Cambridge : Cambridge University Press, 2019
形態:
xiv, 516 p. ; 24 cm
シリーズ名:
Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 170 <BA00064663>
著者名:
Krajíček, Jan <DA07477078>  
ISBN:
9781108416849 [1108416845] (: hardback)
書誌ID:
BB27979127
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Proof complexity (: electronic bk)

Krajíček, Jan
7 図書 Algebra of proofs

Szabo, M. E.

North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland
2 図書 Arithmetic, proof theory, and computational complexity

Clote, Peter, Krajíček, Jan

Clarendon Press
8 図書 Proof theory (American Elsevier ; North-Holland)

竹内, 外史(1926-)

North-Holland Pub. Co, American Elsevier Pub. Co.
3 図書 Bounded arithmetic, propositional logic, and complexity theory

Krajíček, Jan

Cambridge University Press
9 図書 Proof theory (: gw ; : us)

Schütte, K. (Kurt)

Springer-Verlag
4 図書 Provability, complexity, grammars (: hbk. : alk. paper)

Beklemishev, Lev Dmitrievich, 1967-, Pentus, Mati Reĭnovich, 1967-, Vereshchagin, Nikolai Konstantinovich, 1958-

American Mathematical Society
10 図書 Proof theory

竹内, 外史(1926-), Symposium on Intuitionism and Proof Theory

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science
5 図書 Proof theory and logical complexity (v. 1 : Italy ; v. 1)

Girard, Jean-Yves

Bibliopolis
11 図書 Proof theory and intuitionistic systems (: Germany ; : U.S.)

Scarpellini, Bruno

Springer-Verlag
6 図書 Structural proof theory (pbk)

Negri, Sara, 1967-, Von Plato, Jan, Ranta, Aarne

Cambridge University Press
12 図書 Proof and system-reliability (: pbk)

Schwichtenberg, Helmut, 1942-, Steinbrüggen, Ralf, NATO Advanced Study Institute

Kluwer Academic
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12