deductive systems

Czech equivalent

Broader concept

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

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!