Cornerstones of undecidability

Grzegorz Rozenberg and Arto Salomaa
Bok · Engelsk · 1994

Utgitt	New York : Prentice Hall , 1994
Omfang	XVI, 197 s. : fig.
Emner	Decidability (Mathematical logic) Unsolvability (Mathematical logic) Formelle språk Matematisk logikk
Dewey	511.3
ISBN	0132974258