This page represents the introductory chapter "The Nature of Formal Theories" of the book:
K. Podnieks. Around Goedel's theorem. Latvian State University Press, Riga, 1981, 105 pp. (in Russian)

Open PDF.