東華大學圖書館 |

Language: English

Back

Switch To: Labeled | MARC Mode | ISBD

Logic Colloquium '86 : = proceedings...

Drake, F. R.

Amazon

博客來

Logic Colloquium '86 : = proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Logic Colloquium '86 :/ edited by F.R. Drake and J.K. Truss.
Reminder of title:	proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
other author:	Drake, F. R.
corporate name:	Logic Colloquium
Published:	Amsterdam ;North-Holland, : c1988.,
Description:	ix, 342 p. :ill. ;23 cm.
Series:	Studies in logic and the foundations of mathematics ;
Subject:	Logic, Symbolic and mathematical - Congresses. -
ISBN:	0444703268

Logic Colloquium '86 : = proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Logic Colloquium '86 :proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /edited by F.R. Drake and J.K. Truss. - Amsterdam ;North-Holland,c1988. - ix, 342 p. :ill. ;23 cm. - Studies in logic and the foundations of mathematics ;v. 124.

Includes bibliographies.

ISBN: 0444703268Subjects--Topical Terms:

658487
Logic, Symbolic and mathematical
--Congresses.

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

Logic Colloquium '86 : = proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
LDR:00612nam a2200169 a 45 001 653785
003 OCoLC
005 19950803113811.0
008 880115s1988 ne a b 100 0 eng d
020 $a 0444703268
035 $a dt 00011771
040 $a KUK $c KUK $d EUN $d HLS $d PIT
050 $a QA9.A1 $b L63 1986
111 $a Logic Colloquium $d (1986 : $c Hull, Humberside) $3 672447
245 1 0 $a Logic Colloquium '86 : $b proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 / $c edited by F.R. Drake and J.K. Truss.
260 $a Amsterdam ; $a New York : $c c1988. $b North-Holland,
300 $a ix, 342 p. : $b ill. ; $c 23 cm.
440 0 $a Studies in logic and the foundations of mathematics ; $v v. 124
504 $a Includes bibliographies.
650 $a Logic, Symbolic and mathematical $x Congresses. $3 658487
700 $a Drake, F. R. $q (Frank Robert) $3 672446