Cornestones of undecidability/
Main Author: | Rozenberg, Grzegorz |
---|---|
Other Authors: | Salomaa, Arto |
Format: | Book |
Language: | English |
Published: |
New York:
Prentice-Hall,
c1994
|
Series: | Prentice-Hall international series in computer science
|
Subjects: |
Similar Items
-
The classical decision problem/
by: Bo?rger, E. 1946-
Published: (1997) -
Decidability and expressiveness for first-order logics of probability/
by: Adabi, Martin
Published: (1991) -
In the light of logic /
by: Feferman, Solomon.
Published: (1998) -
Mathematical logic in the 20th century /
Published: (2003) -
Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)