新生學校財團法人新生醫護管理專科學校圖書館 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Computability and logic /

~

Jeffrey, Richard C.

Computability and logic /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Computability and logic // George S. Boolos, Richard C. Jeffrey.
Author:	Boolos, George.
other author:	Jeffrey, Richard C.
Published:	Cambridge ;Cambridge University Press, : 1989,
Description:	x, 304 p. :ill. ; : 24 cm.;
Subject:	Logic, Symbolic and mathematical. -
Online resource:	http://www.loc.gov/catdir/description/cam023/89032584.html
ISBN:	052138026X

Computability and logic /
Boolos, George.

Computability and logic /George S. Boolos, Richard C. Jeffrey. - 3rd ed. - Cambridge ;Cambridge University Press,1989 - x, 304 p. :ill. ;24 cm.

Includes bibliographical references and index.

ISBN: 052138026X

LCCN: 89032584 Subjects--Topical Terms:

93197
Logic, Symbolic and mathematical.

LC Class. No.: QA9.59 / .B66 1989

Dewey Class. No.: 511.3

Computability and logic /
LDR:00824cam0 22002411 450L 001 60772
003 DLC
005 2005030984520.0
008 09051510s1989 enka b 001 0 eng
010 $a 89032584
019 $a 978 8903254 7
020 $a 052138026X
020 $a 0521389232 (pbk.) : $c 新台幣1228
035 $a 1062224
040 $a DLC $c DLC $d DLC
050 0 0 $a QA9.59 $b .B66 1989
082 0 0 $a 511.3 $2 20
100 $a Boolos, George. $3 96018
245 1 0 $a Computability and logic / $c George S. Boolos, Richard C. Jeffrey.
250 $a 3rd ed.
260 $a Cambridge ; $a New York : $c 1989 $b Cambridge University Press,
300 $a x, 304 p. : $b ill. ; $c 24 cm.
504 $a Includes bibliographical references and index.
650 $a Logic, Symbolic and mathematical. $3 93197
650 $a Recursive functions. $3 96020
650 $a Computable functions. $3 96019
700 $a Jeffrey, Richard C. $3 96017
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/description/cam023/89032584.html
856 4 1 $3 Table of contents $u http://www.loc.gov/catdir/toc/cam025/89032584.html

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login