Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Methods of cut-elimination
~
Baaz, Matthias.
Methods of cut-elimination
Record Type:
Electronic resources : Monograph/item
Title/Author:
Methods of cut-eliminationby Matthias Baaz, Alexander Leitsch.
Author:
Baaz, Matthias.
other author:
Leitsch, Alexander.
Published:
Dordrecht :Springer Science+Business Media B.V.,2011.
Description:
vi, 287 p. :ill., digital ;24 cm.
Series:
Trends in logic ;
Contained By:
Springer eBooks
Subject:
Proof theory.
Online resource:
http://dx.doi.org/10.1007/978-94-007-0320-9
ISBN:
9789400703209 (electronic bk.)
Methods of cut-elimination
Baaz, Matthias.
Methods of cut-elimination
[electronic resource] /by Matthias Baaz, Alexander Leitsch. - Dordrecht :Springer Science+Business Media B.V.,2011. - vi, 287 p. :ill., digital ;24 cm. - Trends in logic ;v.34.
ISBN: 9789400703209 (electronic bk.)Subjects--Topical Terms:
190840
Proof theory.
LC Class. No.: QA9.54 / .B33 2011
Dewey Class. No.: 511.36
Methods of cut-elimination
LDR
:00789nmm 2200241 a 4500
001
293733
003
Springer
005
20110708115444.0
006
m d
007
cr nn 008maaau
008
110816s2011 ne s j eng d
020
$a
9789400703209 (electronic bk.)
020
$a
9789400703193 (paper)
035
$a
978-94-007-0319-3
050
0 4
$a
QA9.54
$b
.B33 2011
082
0 4
$a
511.36
$2
22
090
$a
QA9.54
$b
.B111 2011
100
1
$a
Baaz, Matthias.
$3
344305
245
1 0
$a
Methods of cut-elimination
$h
[electronic resource] /
$c
by Matthias Baaz, Alexander Leitsch.
260
$a
Dordrecht :
$b
Springer Science+Business Media B.V.,
$c
2011.
300
$a
vi, 287 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Trends in logic ;
$v
v.34
650
0
$a
Proof theory.
$3
190840
650
1 4
$a
Mathematics.
$3
184409
650
2 4
$a
Mathematical Logic and Foundations.
$3
274479
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
700
1
$a
Leitsch, Alexander.
$3
466357
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-94-007-0320-9
950
$a
Mathematics and Statistics (Springer-11649)
based on 0 review(s)
ALL
電子館藏
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
000000054680
電子館藏
1圖書
電子書
EB QA9.54 .B33 2011
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-94-007-0320-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login