Normal view MARC view ISBD view

Mathematical logic in computer science

Material type: Text

TextSeries: Colloquia mathematica societatis janos bolyai, 26. Publisher: Amsterdam North Holland 1981Description: 758p.ISBN: 0-444-35440-1.Subject(s): Computer science | Mathematical logicDDC classification: 005.131

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type

Current location

Call number

Status

Date due

Barcode

Item holds

Books

ISI Library, Kolkata 4th Floor

005.131 D673 (Browse shelf)

Available

100276

Total holds: 0

Previous	No cover image available	No cover image available		No cover image available	No cover image available			Next
Previous	005.131 D411 Machines,languages,and computation	005.131 D427 Attribute grammars : definitions,systems and bibliography	005.131 D427 Grammatical view of logic programming	005.131 D673 Mathematical logic in computer science	005.131 D716 Efficient graph rewriting and its implementation	005.131 D787 Attribute grammar for the semantic analysis of Ada	005.131 En57 Simple Program scheme and formal languages	Next

There are no comments for this item.

Indian Statistical Institute Library, Kolkata