國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Methods of cut-elimination

~

Baaz, Matthias.

Methods of cut-elimination

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Methods of cut-elimination/ by 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:

579943
Proof theory.

LC Class. No.: QA9.54 / .B33 2011

Dewey Class. No.: 511.36

Methods of cut-elimination
LDR:00789nam 2200241 a 4500 001 677360
003 Springer
005 20110708115444.0
006 m d
007 cr nn 008maaau
008 111108s2011 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 784345
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 579943
650 1 4 $a Mathematics. $3 527692
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Leitsch, Alexander. $3 784346
710 2 $a SpringerLink (Online service) $3 593884
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)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login