Logic and computer science

Name: Logic and computer science
Author: / S. Homer... [et al.]

Author

/ S. Homer... [et al.]

Edition 1

list

شناسنامه

Title and Author

Logic and computer science / / S. Homer... [et al.]

Publication Details

برلین : : Springer - Verlag، 1990م

Physical Description

162p.؛ ; 25 cm؛ : ill..

Subject

Logic, Symbolic and mathematical
Congresses
Programming language (Electronic Computers)
Syntax
Computational complextiy
Congresses

series

(Lecture notes in mathematics؛ ; 1429)

Added Identifiers

Homer, S.(Steven)، نویسنده .
Odifreddi, Piergiorgio, 1950-، نویسنده .
Centro internazionale matematico estivo، نویسنده .

Language

انگلیسی

Retrieval Number

Congress:

انگليسي.

Includes bibliographical references.