proof theory

Czech equivalent

Nonpreffered labels

  • constructive mathematics

Broader concept

Narrower concepts

  1. Top concepts
  2. mathematics
  3. mathematical logic
  4. proof theory

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!