東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Mathematical logic : = a course with...

Lascar, D. (1942-)

FindBook

Google Book

Amazon

博客來

Mathematical logic : = a course with exercises /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Mathematical logic :/ Rene Cori and Daniel Lascar ; translated by Donald H. Pelletier.
其他題名:	a course with exercises /
作者:	Cori, Rene.
其他作者:	Lascar, D.
出版者:	Oxford :Oxford University Press, : 2000-,
面頁冊數:	v. ;24 cm.
內容註:	pt. 1. Propositional calculus, Boolean algebras, predicate calculus -- pt. 2. Recursion theory, G鋌del's theorems, set theory, model theory.
標題:	Logic, Symbolic and mathematical. -
電子資源:	http://www.loc.gov/catdir/enhancements/fy0610/00056525-t.htmlhttp://www.loc.gov/catdir/enhancements/fy0610/00056525-t.html
電子資源:	http://www.loc.gov/catdir/enhancements/fy0610/00056525-d.htmlhttp://www.loc.gov/catdir/enhancements/fy0610/00056525-d.html
ISBN:	0198500483 (pt. 1 : pbk.) :

Mathematical logic : = a course with exercises /
Cori, Rene.

Mathematical logic :a course with exercises /Rene Cori and Daniel Lascar ; translated by Donald H. Pelletier. - Oxford :Oxford University Press,2000- - v. ;24 cm.

Includes bibliographical references and indexes.

pt. 1. Propositional calculus, Boolean algebras, predicate calculus -- pt. 2. Recursion theory, G鋌del's theorems, set theory, model theory.

ISBN: 0198500483 (pt. 1 : pbk.) :UK34.00

LCCN: 00056525Subjects--Topical Terms:

532051
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .C742513 2000

Dewey Class. No.: 511.3

Mathematical logic : = a course with exercises /
LDR:01409cam a2200301 a 45 001 710666
005 20061226
008 061215m20009999enk b 001 0 eng
010 $a 00056525
020 $a 0198500483 (pt. 1 : pbk.) : $c UK34.00
020 $a 0198500491 (pt. 1)
020 $a 9780198500483 (pt. 1 : pbk.)
020 $a 9780198500490 (pt. 1)
035 $a asw95000008
040 $a DLC $c DLC $d DLC
041 1 $a eng $h fre
042 $a pcc
050 0 0 $a QA9 $b .C742513 2000
082 0 0 $a 511.3 $2 21
100 $a Cori, Rene. $3 776284
240 1 0 $a Logique mathematique. $l English
245 1 0 $a Mathematical logic : $b a course with exercises / $c Rene Cori and Daniel Lascar ; translated by Donald H. Pelletier.
260 $a Oxford : $c 2000- $b Oxford University Press,
300 $a v. ; $c 24 cm.
504 $a Includes bibliographical references and indexes.
505 0 $a pt. 1. Propositional calculus, Boolean algebras, predicate calculus -- pt. 2. Recursion theory, G鋌del's theorems, set theory, model theory.
650 $a Logic, Symbolic and mathematical. $3 532051
700 $a Lascar, D. $q (Daniel), $d 1942- $3 776283
740 0 2 $a Propositional calculus, Boolean algebras, predicate calculus.
740 0 2 $a Recursion theory, Godel's theorems, set theory, model theory.
856 4 1 $3 Table of contents only $u http://www.loc.gov/catdir/enhancements/fy0610/00056525-t.html $z http://www.loc.gov/catdir/enhancements/fy0610/00056525-t.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0610/00056525-d.html $z http://www.loc.gov/catdir/enhancements/fy0610/00056525-d.html