東華大學圖書館 |

Language: English

Back

Switch To: Labeled | MARC Mode | ISBD

A first course in logic : = an intro...

Hedman, Shawn.

Amazon

博客來

A first course in logic : = an introduction to model theory, proof theory, computability, and complexity /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	A first course in logic :/ Shawn Hedman.
Reminder of title:	an introduction to model theory, proof theory, computability, and complexity /
Author:	Hedman, Shawn.
Published:	Oxford ;Oxford University Press, : 2004.,
Description:	xx, 431 p. :ill. ;25 cm.
Series:	Oxford texts in logic ;
Subject:	Logic, Symbolic and mathematical. -
Online resource:	http://www.loc.gov/catdir/enhancements/fy0620/2004303637-t.htmlhttp://www.loc.gov/catdir/enhancements/fy0620/2004303637-t.html
Online resource:	http://www.loc.gov/catdir/enhancements/fy0620/2004303637-d.htmlhttp://www.loc.gov/catdir/enhancements/fy0620/2004303637-d.html
ISBN:	0198529805

A first course in logic : = an introduction to model theory, proof theory, computability, and complexity /
Hedman, Shawn.

A first course in logic :an introduction to model theory, proof theory, computability, and complexity /Shawn Hedman. - Oxford ;Oxford University Press,2004. - xx, 431 p. :ill. ;25 cm. - Oxford texts in logic ;1.

Includes bibliographical references (p. [426]-427) and index.

ISBN: 0198529805

LCCN: 2004303637Subjects--Topical Terms:

532051
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .H36 2004

Dewey Class. No.: 160

A first course in logic : = an introduction to model theory, proof theory, computability, and complexity /
LDR:01098cam a2200253 a 45 001 786813
005 20090721
008 090721s2004 enka b 001 0 eng
010 $a 2004303637
020 $a 0198529805
020 $a 0198529813 (pbk.)
020 $a 9780198529811 (pbk.) : $c GBP37
035 $a (OCoLC)ocm56446102
035 $a AS98T04017
040 $a UKM $c UKM $d C#P $d DLC
042 $a lccopycat
050 0 0 $a QA9 $b .H36 2004
082 0 0 $a 160 $2 22
100 $a Hedman, Shawn. $3 931926
245 1 2 $a A first course in logic : $b an introduction to model theory, proof theory, computability, and complexity / $c Shawn Hedman.
260 $a Oxford ; $a New York : $c 2004. $b Oxford University Press,
300 $a xx, 431 p. : $b ill. ; $c 25 cm.
440 0 $a Oxford texts in logic ; $v 1
504 $a Includes bibliographical references (p. [426]-427) and index.
650 $a Logic, Symbolic and mathematical. $3 532051
650 $a Logic. $3 529544
856 4 1 $3 Table of contents only $u http://www.loc.gov/catdir/enhancements/fy0620/2004303637-t.html $z http://www.loc.gov/catdir/enhancements/fy0620/2004303637-t.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0620/2004303637-d.html $z http://www.loc.gov/catdir/enhancements/fy0620/2004303637-d.html