theory of types

Czech equivalent

Nonpreffered labels

  • statement type

Broader concept

  1. Top concepts
  2. mathematics
  3. mathematical logic
  4. higher order logic
  5. theory of types

Polythematic Structured Subject Heading System (PSH) created by the National Library of Technology is licensed under the Creative Commons Attribution-ShareAlike 3.0 Czech Republic license.
Do you have any questions or suggestions on PSH? Contact us!