Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds.

• 資料種別: 図書
• ISBN: 3540632468 (alk. paper)
• ISSN（シリーズ）: 0302-9743
• タイトル: Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds.
• シリーズタイトル: Lecture notes in computer science ; 1261
• 著者標目: Mycielski, Jan, 1932-; Rozenberg, Grzegorz ( 00794320 )典拠; Salomaa, Arto ( 00455202 )典拠
• 出版事項: Berlin : Springer; Tokyo : Springer
• 出版年月日等: c1997.
• 出版年（W3CDTF）: 1997
• 数量: x, 370 p. : ill. ; 24 cm.
• 出版地（国名コード）: DE
• 本文の言語コード: eng
• 件名標目: Ehrenfeucht, Andrzej.; 電子計算機 (地理区分) Densikeisanki.; 記号論理学. Kigoronrigaku.; Computer science.; Logic, Symbolic and mathematical.
• LCC: QA76
• DDC: 511.3
• NDLC: M154
• 書誌注記: Includes bibliographical references and index.
• 所蔵機関: 国立国会図書館
• 請求記号: M154-A302
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003277764; http://id.ndl.go.jp/bib/000003277764
• LC control number: 97027558 //r98; https://lccn.loc.gov/97027558
• 整理区分コード: 211

目次

Contents

Model Theory

On the Work of Andrzej Ehrenfeucht in Model Theory/ 1

Syntax vs. Semantics on Finite Structures/ 14

Expressive Power of Unary Counters/ 34