Abstract
Contents
A. Definition of a Formal System
B. An Example from Group Theory
C. Representation and Interpretation
D. Some Semiotical Concepts. The U-Language
E. An Attempt at Mathematical Grammatics
F. Semiotical Aspect of a Formal System. The A-Language
G. Modifications of a Formal System
H. The System G
Information
Published: 1 January 1950
First available in Project Euclid: 29 March 2007
Rights: Copyright © 1950, University of Notre Dame
