Translator Disclaimer
VOL. 6 | 1950 Chapter I: Formal Systems and Formal Reasoning

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

CHAPTER
18 PAGES


SHARE
Vol. 6 • 1 January 1950
Back to Top