4

Calude: Theories of Computational Complexities
–
 1988

2

Godel Theorems, Exponential Difficulty and Undecidability of Arithmetic Theories: An Exposition
–
 1985

2

2nd Edition
–
 1987

2

Smullyan: Godel's Incompleteness Theorems
–
 1992

2

Collected Works. Edited by
–
 1986

5

Independent instances for some undecidable problems
–
 1983

6

Does Gödel’s theorem matter to mathematics
–
 1985

26

The random number omega bids fair to hold the mysteries of the universe
–
 1979

13

Cornerstones of undecidability
–
 1994

14

Independence results in computer science
–
 1976

15

Undecidability and incompleteness in classical mechanics
–
 1991

3

Shyr: Free Monoids and Languages
–

76

A mathematical incompleteness in Peano arithmetic, Handbook for mathematical logic
–
 1977

6

Informationtheoretic Incompleteness
–
 1992

9

Relations on free monoids, their independent sets, and codes
–
 1991

838

Theory of recursive functions and effective computability
–
 1967

387

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte der
–
 1931

139

The emperor’s new mind: concerning computers, minds, and the laws of physics
–
 1989

4

On the unique satis problem
–
 1982
