Обложка Rasiowa H. The mathematics of metamathematics
Id: 272634

The mathematics of metamathematics. Т.41

520 с. (English). Букинист. Состояние: 4+.
  • Твердый переплет


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.