higher order logic (PSH7103) — PSH

CS / EN

higher order logic

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

Czech equivalent

logiky vyšších řádů

Broader concept

mathematical logic

Narrower concepts

theory of types

Concept in JSON-LD format

Top concepts
mathematics
mathematical logic
higher order logic

theory of types

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!