東華大學圖書館 |

Language: English

Back

Switch To: Labeled | MARC Mode | ISBD

Logic and computation : = proceeding...

Sieg, Wilfried, (1945-)

Amazon

博客來

Logic and computation : = proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Logic and computation :/ Wilfried Sieg, editor.
Reminder of title:	proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
other author:	Sieg, Wilfried,
corporate name:	Workshop on Logic and Computation
Published:	Providence, R.I. :American Mathematical Society, : c1990.,
Description:	xiv, 297 p. :ill. ;26 cm.
Notes:	"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.
Series:	Contemporary mathematics,
Subject:	Computable functions - Data processing -
ISBN:	0821851101 (pbk. : alk. paper) :

Logic and computation : = proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
Logic and computation :proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /Wilfried Sieg, editor. - Providence, R.I. :American Mathematical Society,c1990. - xiv, 297 p. :ill. ;26 cm. - Contemporary mathematics,v. 1060271-4132 ;.

"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.

Includes bibliographical references.

ISBN: 0821851101 (pbk. : alk. paper) :NT1437.00

LCCN: 90000040Subjects--Topical Terms:

728661
Computable functions
--Data processing

LC Class. No.: QA9.59 / .W67 1990

Dewey Class. No.: 511.3

Logic and computation : = proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
LDR:00797nam a2200193 a 45 001 684803
005 20021028
008 020802s1990 riua b 100 0 eng
010 $a 90000040
020 $a 0821851101 (pbk. : alk. paper) : $c NT1437.00
035 $a asb91000114
040 $a DLC $c DLC $d DLC $d DH
050 0 0 $a QA9.59 $b .W67 1990
082 0 0 $a 511.3 $2 20
111 $a Workshop on Logic and Computation $d (1987 : $c Carnegie Mellon University) $3 728660
245 1 0 $a Logic and computation : $b proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / $c Wilfried Sieg, editor.
260 $a Providence, R.I. : $c c1990. $b American Mathematical Society,
300 $a xiv, 297 p. : $b ill. ; $c 26 cm.
440 0 $a Contemporary mathematics, $x 0271-4132 ; $v v. 106
500 $a "The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.
504 $a Includes bibliographical references.
650 $a Computable functions $x Data processing $x Congresses. $3 728661
700 $a Sieg, Wilfried, $d 1945- $3 728659