deductive systems (PSH7124) — PSH

CS / EN

deductive systems

http://psh.techlib.cz/skos/PSH7124

Czech equivalent

deduktivní systémy

Broader concept

proof theory

Concept in JSON-LD format

Top concepts
mathematics
mathematical logic
proof theory
deductive systems

See detailed results in the NTK catalogue

See detailed results in the NRGL repository

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!