Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Mathematical logic : = a course with...
~
Lascar, D. (1942-)
Linked to FindBook
Google Book
Amazon
博客來
Mathematical logic : = a course with exercises /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Mathematical logic :/ Rene Cori and Daniel Lascar ; translated by Donald H. Pelletier.
Reminder of title:
a course with exercises /
Author:
Cori, Rene.
other author:
Lascar, D.
Published:
Oxford :Oxford University Press, : 2000-,
Description:
v. ;24 cm.
[NT 15003449]:
pt. 1. Propositional calculus, Boolean algebras, predicate calculus -- pt. 2. Recursion theory, G鋌del's theorems, set theory, model theory.
Subject:
Logic, Symbolic and mathematical. -
Online resource:
http://www.loc.gov/catdir/enhancements/fy0610/00056525-t.htmlhttp://www.loc.gov/catdir/enhancements/fy0610/00056525-t.html
Online resource:
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
based on 0 review(s)
Location:
ALL
六樓西文書區HC-Z(6F Western Language Books)
Year:
Volume Number:
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
W0150158
六樓西文書區HC-Z(6F Western Language Books)
01.外借(書)_YB
一般圖書
QA9 C742513 2000 pt.1
一般使用(Normal)
On shelf
0
Reserve
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login