國立虎尾科技大學 |

登入

回首頁

Logic Colloquium '82 = proceedings o...

Longo, Giuseppe.

Logic Colloquium '82 = proceedings of the colloquium held in Florence, 23-28 August, 1982 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logic Colloquium '82/ edited by G. Lolli, G. Longo, and A. Marcja.
其他題名:	proceedings of the colloquium held in Florence, 23-28 August, 1982 /
其他作者:	Lolli, Gabriele,
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Amsterdam ;North-Holland ; : 1984.,
面頁冊數:	viii, 358 p. :ill. ; : 23 cm.;
標題:	Model theory - Congresses. -
電子資源:	click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780444868763 (electronic bk.)

Logic Colloquium '82 = proceedings of the colloquium held in Florence, 23-28 August, 1982 /
Logic Colloquium '82proceedings of the colloquium held in Florence, 23-28 August, 1982 /[electronic resource] :edited by G. Lolli, G. Longo, and A. Marcja. - Amsterdam ;North-Holland ;1984. - viii, 358 p. :ill. ;23 cm. - Studies in logic and the foundations of mathematics ;v. 112.

Includes bibliographies.

ISBN: 9780444868763 (electronic bk.)

LCCN: 84001630 Subjects--Topical Terms:

905832
Model theory
--Congresses.

LC Class. No.: QA9.7 / .L64 1982

Dewey Class. No.: 511/.8

Logic Colloquium '82 = proceedings of the colloquium held in Florence, 23-28 August, 1982 /
LDR:00927cam a2200217 a 45 001 808624
005 20130415094813.0
008 150720s1984 ne a sb 10010 eng
010 $a 84001630
020 $a 9780444868763 (electronic bk.)
020 $a 9780444868763 (U.S.)
035 $a 13002149
040 $a DLC $c DLC $d DLC
041 0 $a eng
050 0 $a QA9.7 $b .L64 1982
082 0 $a 511/.8 $2 19
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Logic Colloquium '82 $h [electronic resource] : $b proceedings of the colloquium held in Florence, 23-28 August, 1982 / $c edited by G. Lolli, G. Longo, and A. Marcja.
260 $a Amsterdam ; $a New York : $b North-Holland ; $a New York, N.Y. : $b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., $c 1984.
300 $a viii, 358 p. : $b ill. ; $c 23 cm.
490 0 $a Studies in logic and the foundations of mathematics ; $v v. 112
504 $a Includes bibliographies.
650 0 $a Model theory $x Congresses. $3 905832
650 0 $a Categories (Mathematics) $x Congresses. $3 905833
650 0 $a Lambda calculus $x Congresses. $3 905834
700 1 $a Lolli, Gabriele, $d 1942- $3 905829
700 1 $a Longo, Giuseppe. $3 905830
700 1 $a Marcja, A. $q (Annalisa) $3 905831
856 4 0 $u http://www.sciencedirect.com/science/book/9780444868763 $z click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別