Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Algebra of proofs
~
Szabo, M. E.
Algebra of proofs
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Algebra of proofs/ M. E. Szabo.
Author:
Szabo, M. E.
Published:
Amsterdam ;North-Holland Pub. Co. : : 1978.,
Description:
xii, 297 p. ;23 cm.;
Notes:
Includes indexes.
Subject:
Proof theory. -
Online resource:
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:
9780720422863 (electronic bk.)
Algebra of proofs
Szabo, M. E.
Algebra of proofs
[electronic resource] /M. E. Szabo. - Amsterdam ;North-Holland Pub. Co. :1978. - xii, 297 p. ;23 cm. - Studies in logic and the foundations of mathematics ;v. 88 .
Includes indexes.
Bibliography: p. 278-284.
ISBN: 9780720422863 (electronic bk.)
LCCN: 77000706Subjects--Topical Terms:
579943
Proof theory.
LC Class. No.: QA9.54 / .S94 1978
Dewey Class. No.: 511/.3
Algebra of proofs
LDR
:00836nam a2200229 a 4500
001
807168
005
20130328094803.0
008
150720s1978 ne sb 001 0 eng
010
$a
77000706
020
$a
9780720422863 (electronic bk.)
020
$a
9780720422863
035
$a
13000121
040
$a
DLC
$c
DLC
$d
CWR
041
0
$a
eng
050
0 0
$a
QA9.54
$b
.S94 1978
082
0 0
$a
511/.3
$2
18
100
1
$a
Szabo, M. E.
$3
901861
245
1 0
$a
Algebra of proofs
$h
[electronic resource] /
$c
M. E. Szabo.
260
$a
Amsterdam ;
$a
New York :
$b
North-Holland Pub. Co. :
$a
New York :
$b
sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
$c
1978.
300
$a
xii, 297 p. ;
$c
23 cm.
490
0
$a
Studies in logic and the foundations of mathematics ;
$v
v. 88
500
$a
Includes indexes.
504
$a
Bibliography: p. 278-284.
650
0
$a
Proof theory.
$3
579943
650
0
$a
Categories (Mathematics)
$3
580337
650
0
$a
Combinatory logic.
$3
901862
856
4 0
$u
http://www.sciencedirect.com/science/book/9780720422863
$z
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login