國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Logical frameworks for truth and abs...

~

Cantini, Andrea.

Logical frameworks for truth and abstraction = an axiomatic study /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Logical frameworks for truth and abstraction/ Andrea Cantini.
Reminder of title:	an axiomatic study /
Author:	Cantini, Andrea.
Published:	Amsterdam ;Elsevier Science B.V., : 1996.,
Description:	xii, 461 p. :ill. ; : 23 cm.;
Subject:	Logic, Symbolic and mathematical. -
Online resource:	click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780444823069 (electronic bk.)

Logical frameworks for truth and abstraction = an axiomatic study /
Cantini, Andrea.

Logical frameworks for truth and abstractionan axiomatic study /[electronic resource] :Andrea Cantini. - Amsterdam ;Elsevier Science B.V.,1996. - xii, 461 p. :ill. ;23 cm. - Studies in logic and the foundations of mathematics ;v. 135.

Includes bibliographical references (p. [425]-440) and index.

ISBN: 9780444823069 (electronic bk.)

LCCN: 96004681 Subjects--Topical Terms:

527823
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .C324 1996

Dewey Class. No.: 511.3

Logical frameworks for truth and abstraction = an axiomatic study /
LDR:00884cam a2200217 a 45 001 808643
005 20130415100229.0
008 150720s1996 ne a sb 001 0 eng
010 $a 96004681
020 $a 9780444823069 (electronic bk.)
020 $a 9780444823069
035 $a 13002174
040 $a DLC $c DLC $d DLC
041 0 $a eng
050 0 0 $a QA9 $b .C324 1996
082 0 0 $a 511.3 $2 20
100 1 $a Cantini, Andrea. $3 905870
245 1 0 $a Logical frameworks for truth and abstraction $h [electronic resource] : $b an axiomatic study / $c Andrea Cantini.
260 $a Amsterdam ; $a New York : $b Elsevier Science B.V., $c 1996.
300 $a xii, 461 p. : $b ill. ; $c 23 cm.
490 0 $a Studies in logic and the foundations of mathematics ; $v v. 135
504 $a Includes bibliographical references (p. [425]-440) and index.
650 0 $a Logic, Symbolic and mathematical. $3 527823
650 0 $a Truth. $3 559770
856 4 0 $u http://www.sciencedirect.com/science/book/9780444823069 $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

Change password

Login