東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Complexity of proofs and their trans...

~

Louvish, David.

Linked to FindBook

Google Book

Amazon

博客來

Complexity of proofs and their transformations in axiomatic theories /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Complexity of proofs and their transformations in axiomatic theories // V.P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish.
Author:	Orevkov, V. P.
other author:	Louvish, David.
Published:	Providence, R.I. :American Mathematical Society, : c1993.,
Description:	vi, 153 p. ;27 cm.
Series:	Translations of mathematical monographs ;
Subject:	Proof theory. -
ISBN:	0821845764 :

Complexity of proofs and their transformations in axiomatic theories /
Orevkov, V. P.

Complexity of proofs and their transformations in axiomatic theories /V.P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish. - Providence, R.I. :American Mathematical Society,c1993. - vi, 153 p. ;27 cm. - Translations of mathematical monographs ;v. 128.

Includes bibliographical references (p. 151-153).

ISBN: 0821845764 :US86.00

LCCN: 93011139Subjects--Topical Terms:

543782
Proof theory.

LC Class. No.: QA9.54 / .O7413 1993

Dewey Class. No.: 511.3

Complexity of proofs and their transformations in axiomatic theories /
LDR:00866pam a2200217 a 45 001 676197
003 DLC
005 20000314133452.2
008 000215s1993 riu b 000 0 eng
010 $a 93011139
020 $a 0821845764 : $c US86.00
035 $a as 00890193
040 $a DLC $c DLC $d DLC $d DH
041 1 $a eng $h rus
050 0 0 $a QA9.54 $b .O7413 1993
082 0 0 $a 511.3 $2 20
100 $a Orevkov, V. P. $3 713439
240 1 0 $a Slozhnost' dokazatel'stv i ikh preobrazovanii v aksiomatizirovannykh teoriiakh. $l English
245 1 0 $a Complexity of proofs and their transformations in axiomatic theories / $c V.P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish.
260 $a Providence, R.I. : $c c1993. $b American Mathematical Society,
300 $a vi, 153 p. ; $c 27 cm.
440 0 $a Translations of mathematical monographs ; $v v. 128
504 $a Includes bibliographical references (p. 151-153).
650 $a Proof theory. $3 543782
700 $a Louvish, David. $3 713438

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0043063

罕用書庫221室(美崙校區,調書請點預約)(RU_221)

01.外借(書)_YB

一般圖書

QA1 T772 v.128

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login