東華大學圖書館 |

語系: 繁體中文

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Logic Colloquium '88 : = proceedings...

Ferro, R.

FindBook

Amazon

博客來

Logic Colloquium '88 : = proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logic Colloquium '88 :/ edited by R. Ferro ... [et al.].
其他題名:	proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
其他作者:	Ferro, R.
團體作者:	Logic Colloquium
出版者:	Amsterdam ;North-Holland ; : 1989.,
面頁冊數:	viii, 403 p :ill. ;23 cm.
叢書名:	Studies in logic and the foundations of mathematics ;
標題:	Logic, Symbolic and mathematical - Congresses. -
ISBN:	0444874550

Logic Colloquium '88 : = proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Logic Colloquium '88 :proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /edited by R. Ferro ... [et al.]. - Amsterdam ;North-Holland ;1989. - viii, 403 p :ill. ;23 cm. - Studies in logic and the foundations of mathematics ;v. 127.

Includes bibliographical references.

ISBN: 0444874550Subjects--Topical Terms:

658487
Logic, Symbolic and mathematical
--Congresses.

LC Class. No.: QA9.A1 / L63 1988

Logic Colloquium '88 : = proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
LDR:00650nam a2200169 a 45 001 653786
003 OCoLC
005 19950803113818.0
008 890911s1989 ne a b 100 0 eng d
020 $a 0444874550
035 $a dt 00011772
040 $a TXA $c TXA $d PIT $d FPU $d LUU
050 $a QA9.A1 $b L63 1988
111 $a Logic Colloquium $d (1988 : $c Padova, Italy) $3 672449
245 1 0 $a Logic Colloquium '88 : $b proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 / $c edited by R. Ferro ... [et al.].
260 $a Amsterdam ; $a New York : $a New York, N.Y. U.S.A. : $c 1989. $b North-Holland ; $b Distributed by Elsevier Science Pub. Co.,
300 $a viii, 403 p : $b ill. ; $c 23 cm.
440 0 $a Studies in logic and the foundations of mathematics ; $v v. 127
504 $a Includes bibliographical references.
650 $a Logic, Symbolic and mathematical $x Congresses. $3 658487
700 $a Ferro, R. $q (Ruggero) $3 672448