Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Proofs, categories and computations ...
~
Mints, G. E.
Proofs, categories and computations : = essays in honor of Grigori Mints /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Proofs, categories and computations :/ edited by Solomon Feferman and Wilfried Sieg ; with the collaboration of Vladik Kreinovich, Vladimir Lifschitz and Ruy de Queiroz.
Reminder of title:
essays in honor of Grigori Mints /
other author:
Feferman, Solomon.
Published:
London :College Publications, : c2010.,
Description:
x, 310 p. :ill. ; : 24 cm.;
Subject:
Proof theory. -
ISBN:
9781848900127 (pbk.) :
Proofs, categories and computations : = essays in honor of Grigori Mints /
Proofs, categories and computations :
essays in honor of Grigori Mints /edited by Solomon Feferman and Wilfried Sieg ; with the collaboration of Vladik Kreinovich, Vladimir Lifschitz and Ruy de Queiroz. - London :College Publications,c2010. - x, 310 p. :ill. ;24 cm. - Tributes ;13.. - Tributes (London, England) ;13.
Includes bibliographical references.
ISBN: 9781848900127 (pbk.) :NT773Subjects--Topical Terms:
579943
Proof theory.
LC Class. No.: QA9.54 / .P77 2010
Dewey Class. No.: 511.3
Proofs, categories and computations : = essays in honor of Grigori Mints /
LDR
:00726cam a2200181 a 4500
001
762662
008
131213s2010 enka b 000 0 eng
020
$a
9781848900127 (pbk.) :
$c
NT773
020
$a
1848900120 (pbk.)
035
$a
(OCoLC)670184439
035
$a
670184439
040
$a
YDXCP
$c
YDXCP
$d
STF
$d
CDX
$d
EYM
$d
UAB
$d
IUL
$d
CWR
$c
NFU
050
# 4
$a
QA9.54
$b
.P77 2010
082
0 4
$a
511.3
$2
22
245
0 0
$a
Proofs, categories and computations :
$b
essays in honor of Grigori Mints /
$c
edited by Solomon Feferman and Wilfried Sieg ; with the collaboration of Vladik Kreinovich, Vladimir Lifschitz and Ruy de Queiroz.
260
#
$a
London :
$c
c2010.
$b
College Publications,
300
$a
x, 310 p. :
$b
ill. ;
$c
24 cm.
490
1
$a
Tributes ;
$v
13.
504
$a
Includes bibliographical references.
650
# 0
$a
Proof theory.
$3
579943
650
# 0
$a
Logic, Symbolic and mathematical.
$3
527823
650
# 0
$a
Computer science
$x
Mathematics.
$3
528496
700
1 #
$a
Feferman, Solomon.
$3
773459
700
1 #
$a
Sieg, Wilfried,
$d
1945-.
$3
930807
700
1 #
$a
Mints, G. E.
$3
930808
830
0
$a
Tributes (London, England) ;
$v
13
$3
930809
based on 0 review(s)
ALL
圖書館3F 書庫
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
E039739
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
511.3 P965 2010
一般使用(Normal)
On shelf
0
Reserve
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login