Translator Disclaimer
VOL. 6 | 1966 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 1966
First available in Project Euclid: 29 March 2007

Rights: Copyright © 1966, University of Notre Dame

CHAPTER
18 PAGES


SHARE
Vol. 6 • 1 January 1966
Back to Top