Mathematical logic in computer science / edited by B. Dömölki and T. Gergely. (Colloquia mathematica societatis János Bolyai ; 26)

Mathematical logic in computer science / edited by B. Dömölki and T. Gergely.

(Colloquia mathematica societatis János Bolyai ; 26)

Notes on use

Note (General)：: Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgótarján, September 10-15, 1978 under the auspices of Bolyai J...

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

Material Type: 図書
ISBN: 0444854401
ISSN (series): 0139-3383
Title: Mathematical logic in computer science / edited by B. Dömölki and T. Gergely.
Series Title: Colloquia mathematica societatis János Bolyai ; 26
Author Heading: Dömölki, B.
Gergely, T. (Tamás)
Bolyai János Mathematikai Társulat.
Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján, Hungary)
Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.
New York : North-Holland Pub. Co.
Publication Date: 1981.
Publication Date (W3CDTF): 1981
Extent: 758 p. : ill. ; 25 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Computer programming.
Programming languages (Electronic computers) -- Semantics.
LCC: QA76
DDC: 519.4
NDLC: M159
Note (General): Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgótarján, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society.
Holding library: 国立国会図書館
Call No.: M159-184
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006172466
http://id.ndl.go.jp/bib/000006172466
LC Control Number: 82101557 //r92
https://lccn.loc.gov/82101557
Bibliographic Record Category (NDL): 211