Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev. (International mathematical series ; v. 5)

Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev.

(International mathematical series ; v. 5)

Call No. (NDL): MA41-B22
Bibliographic ID of National Diet Library: 000010709322

Material type: 図書

Author: Gabbay, Dov M., 1945-ほか

Publisher: Springer

Publication date: c2007-

Material Format: Paper

Capacity, size, etc.: v. : ill. ; 25 cm.

NDC: -

View All

Notes on use

Note (General)：: Description based on: 2.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 0387692444 (2)
9780387692449 (2)
ISSN (series): 1571-5485
Title: Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev.
Series Title: International mathematical series ; v. 5
Author Heading: Gabbay, Dov M., 1945-
Goncharov, S. S.
Zakharyaschev, Michael.
Publication, Distribution, etc.: New York : Springer
Publication Date: c2007-
Publication Date (W3CDTF): 2007
Extent: v. : ill. ; 25 cm.
Alternative Title: Logics for the XXIst century
Place of Publication (Country Code): US
Text Language Code: eng
Alias of Author: Goncharov, Sergi S.
Subject Heading: Logic, Symbolic and mathematical.
LCC: QA9
DDC: 511.3
NDLC: MA41
Note (General): Description based on: 2.
Note (Bibliography): Includes bibliographical references and index.
Holding library: 国立国会図書館
Call No.: MA41-B22
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010709322
http://id.ndl.go.jp/bib/000010709322
LC Control Number: 2005931830
https://lccn.loc.gov/2005931830
OCLC No.: 63170238
https://www.worldcat.org/oclc/63170238
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 211