Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Proof, computation and agencylogic a...
~
Benthem, Johan van.
Proof, computation and agencylogic at the crossroads /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Proof, computation and agencyedited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
Reminder of title:
logic at the crossroads /
other author:
Benthem, Johan van.
Published:
Dordrecht :Springer Science+Business Media B.V.,2011.
Description:
xxiv, 371 p. :ill., digital ;24 cm.
Series:
Synthese library ;
Contained By:
Springer eBooks
Subject:
Logic
Online resource:
http://dx.doi.org/10.1007/978-94-007-0080-2
ISBN:
9789400700802 (electronic bk.)
Proof, computation and agencylogic at the crossroads /
Proof, computation and agency
logic at the crossroads /[electronic resource] :edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. - Dordrecht :Springer Science+Business Media B.V.,2011. - xxiv, 371 p. :ill., digital ;24 cm. - Synthese library ;v.352.
ISBN: 9789400700802 (electronic bk.)Subjects--Topical Terms:
217984
Logic
LC Class. No.: BC5 / .P76 2011
Dewey Class. No.: 160
Proof, computation and agencylogic at the crossroads /
LDR
:00844nmm 2200241 a 4500
001
294525
003
Springer
005
20110725193558.0
006
m d
007
cr nn 008maaau
008
110816s2011 ne s j eng d
020
$a
9789400700802 (electronic bk.)
020
$a
9789400700796 (paper)
035
$a
978-94-007-0079-6
050
0 4
$a
BC5
$b
.P76 2011
082
0 4
$a
160
$2
22
090
$a
BC5
$b
.P965 2011
245
0 0
$a
Proof, computation and agency
$h
[electronic resource] :
$b
logic at the crossroads /
$c
edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
260
$a
Dordrecht :
$b
Springer Science+Business Media B.V.,
$c
2011.
300
$a
xxiv, 371 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Synthese library ;
$v
v.352
650
0
$a
Logic
$3
217984
650
1 4
$a
Philosophy.
$3
176573
650
2 4
$a
Logic.
$3
180785
650
2 4
$a
Mathematical Logic and Foundations.
$3
274479
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Non-Western Philosophy.
$3
338771
700
1
$a
Benthem, Johan van.
$3
511750
700
1
$a
Gupta, Amitabha.
$3
511751
700
1
$a
Parikh, Rohit.
$3
512133
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-0080-2
950
$a
Humanities, Social Science and Law (Springer-11648)
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
000000055470
電子館藏
1圖書
電子書
EB BC5 .P76 2011
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-94-007-0080-2
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login