HOME > Detail View

Detail View

Engines of logic : mathematicians and the origin of the computer

Engines of logic : mathematicians and the origin of the computer (Loan 9 times)

Material type
단행본
Personal Author
Davis, Martin , 1928-.
Title Statement
Engines of logic : mathematicians and the origin of the computer / Martin Davis.
Publication, Distribution, etc
New York :   Norton ,   2001.  
Physical Medium
xii, 257 p. : ill. ; 25 cm.
ISBN
0393322297 (pbk.) 9780393322293 (pbk.)
General Note
Originally published under the title "The Universal Computer"  
Bibliography, Etc. Note
Includes bibliographical references (p. [239]-247) and index.
Subject Added Entry-Topical Term
Electronic digital computers -- History.
000 00992camuu22002774a 4500
001 000045345098
005 20080820111608
008 000510r20012000nyua b 001 0 eng
020 ▼a 0393322297 (pbk.)
020 ▼a 9780393322293 (pbk.)
035 ▼a (KERIS)REF000006010654
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
042 ▼a pcc
050 4 ▼a QA76.17. ▼b D38 2001
082 0 4 ▼a 004/.09 ▼2 22
090 ▼a 004.09 ▼b D263e
100 1 ▼a Davis, Martin , ▼d 1928-.
245 1 0 ▼a Engines of logic : ▼b mathematicians and the origin of the computer / ▼c Martin Davis.
260 ▼a New York : ▼b Norton , ▼c 2001.
300 ▼a xii, 257 p. : ▼b ill. ; ▼c 25 cm.
500 ▼a Originally published under the title "The Universal Computer"
504 ▼a Includes bibliographical references (p. [239]-247) and index.
650 0 ▼a Electronic digital computers ▼x History.
740 0 ▼a Universal computer : the road from Leibniz to Turing
945 ▼a KINS

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Western Books/ Call Number 004.09 D263e Accession No. 111488541 Availability Available Due Date Make a Reservation Service B M
No. 2 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.09 D263e Accession No. 121145086 Availability Available Due Date Make a Reservation Service B M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Western Books/ Call Number 004.09 D263e Accession No. 111488541 Availability Available Due Date Make a Reservation Service B M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.09 D263e Accession No. 121145086 Availability Available Due Date Make a Reservation Service B M

Contents information

Author Introduction

마틴 데이비스(지은이)

1950년에 프린스턴 대학교에서 박사학위를 받았다. 저명한 수학자이자 논리학자인 에밀 L. 포스트의 제자였으며 자동 연역 분야를 주로 연구했다. 2005년 현재 뉴욕대학교의 쿠란트연구소의 교수로 재직 중이다. 지은 책으로 <계산 가능성과 해결 불가능성> 등이 있다.

Information Provided By: : Aladin

New Arrivals Books in Related Fields

김종원 (2020)