大葉大學圖書館 |

Language: English

Back

Advances in natural deduction[electr...

Haeusler, Edward Hermann.

Advances in natural deduction[electronic resource] :a celebration in Dag Prawitz's work /

Record Type:	Language materials, printed : Monograph/item
[NT 15000414]:	160
Title/Author:	Advances in natural deduction : a celebration in Dag Prawitz's work // edited by Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva.
other author:	Pereira, Luiz Carlos.
Published:	Dordrecht : : Springer Netherlands :, 2014.
Description:	xvi, 279 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
Subject:	Logic.
Subject:	Philosophy.
Subject:	Mathematical Logic and Formal Languages.
Subject:	Mathematical Logic and Foundations.
ISBN:	9789400775480 (electronic bk.)
ISBN:	9789400775473 (paper)
Online resource:	http://dx.doi.org/10.1007/978-94-007-7548-0

Advances in natural deduction[electronic resource] :a celebration in Dag Prawitz's work /
Advances in natural deductiona celebration in Dag Prawitz's work /[electronic resource] :edited by Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva. - Dordrecht :Springer Netherlands :2014. - xvi, 279 p. :ill., digital ;24 cm. - Trends in logic,v.391572-6126 ;. - Trends in logic. ;v.39..

ISBN: 9789400775480 (electronic bk.)Subjects--Topical Terms:

191646
Logic.

Dewey Class. No.: 160

Advances in natural deduction[electronic resource] :a celebration in Dag Prawitz's work /
LDR:00885nam a2200253 a 4500 001 431644
003 DE-He213
005 20140815172510.0
006 m d
007 cr nn 008maaau
008 160104s2014 ne s 0 eng d
020 $a 9789400775480 (electronic bk.)
020 $a 9789400775473 (paper)
035 $a 978-94-007-7548-0
040 $a GP $c GP
041 0 $a eng
082 0 4 $a 160 $2 23
090 $a BC71 $b .A244 2014
245 0 0 $a Advances in natural deduction $h [electronic resource] : $b a celebration in Dag Prawitz's work / $c edited by Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva.
260 $a Dordrecht : $b Springer Netherlands : $b Imprint: Springer, $c 2014.
300 $a xvi, 279 p. : $b ill., digital ; $c 24 cm.
490 1 $a Trends in logic, $x 1572-6126 ; $v v.39
650 0 $a Logic. $3 191646
650 1 4 $a Philosophy. $3 179430
650 2 4 $a Mathematical Logic and Formal Languages. $3 463478
650 2 4 $a Mathematical Logic and Foundations. $3 464911
700 1 $a Pereira, Luiz Carlos. $3 616308
700 1 $a Haeusler, Edward Hermann. $3 616309
700 1 $a de Paiva, Valeria. $3 616310
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Trends in logic. ; $v v.39. $3 616311
856 4 0 $u http://dx.doi.org/10.1007/978-94-007-7548-0
950 $a Mathematics and Statistics (Springer-11649)

Multimedia

Multimedia file
http://dx.doi.org/10.1007/978-94-007-7548-0

Reviews

Export

pickup library