Encuadernación Rasiowa H. The mathematics of metamathematics
Id: 272634

The mathematics of metamathematics. Т.41

520 pp. (English). Libros usados. Estado: 4+.
  • Cartoné

Resumen del libro

Metamathematics is a theory which deals with formalized mathematical theories. A formalized mathematical thory is, roughly speaking, a set of certain finite sequences of symbols, called formulas and terms, and of certain simple operations performed on those sequences. The forulas and terms are substitutes - formed by means of a few simple rules - of sentences and functions in an intuitive mathematical theory. (Información más detallada)