(Q1433067)

English

formalism

view that statements of logic can be considered to be statements about the consequences of certain string manipulation rules

  • mathematical formalism

Statements

Identifiers