<?xml version="1.0" encoding="UTF-8"?><rdf:RDF xmlns:dc='http://purl.org/dc/elements/1.1/' xmlns:dcterms='http://purl.org/dc/terms/' xmlns:ekt='https://www.semantics.gr/authorities/schemanamespaces/ekt#' xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:skos='http://www.w3.org/2004/02/skos/core#'><skos:Concept rdf:about='http://semantics.gr/authorities/EKT-voc-classifier/1333819553'><skos:prefLabel xml:lang='el'>Μαθηματική λογική</skos:prefLabel>
<skos:prefLabel xml:lang='en'>Logic</skos:prefLabel>
<skos:broader rdf:resource='http://semantics.gr/authorities/EKT-voc-classifier/375615523'></skos:broader>
<skos:note xml:lang='en'>isi - Logic covers resources on the study of logic in all its forms, including mathematical logic (pure and applied), philosophical logic and computational logic (or logic in computer science, theoretical and applied). Based on the particular scope of the resource, it may be cross-referenced in a Mathematics, Philosophy or Computer Science category.</skos:note>
<skos:exactMatch><rdf:Description rdf:about='http://id.loc.gov/authorities/subjects/sh85078115'><rdfs:label>Logic, Symbolic and mathematical</rdfs:label>
</rdf:Description>
</skos:exactMatch>
<skos:exactMatch><rdf:Description rdf:about='http://vocabularies.unesco.org/thesaurus/concept13559'><rdfs:label>Mathematical logic</rdfs:label>
</rdf:Description>
</skos:exactMatch>
<skos:exactMatch><rdf:Description rdf:about='http://semantics.gr/authorities/EKT-voc/1333819553'><rdfs:label xml:lang='el'>Φυσικές Επιστήμες ▶ Μαθηματικά ▶ Μαθηματική λογική</rdfs:label>
<rdfs:label xml:lang='en'>Natural Sciences ▶ Mathematics ▶ Logic</rdfs:label>
</rdf:Description>
</skos:exactMatch>
<ekt:group><rdf:Description rdf:about='http://semantics.gr/authorities/thepe-derivatives/9365120'><rdfs:label xml:lang='el'>Επιστημονικά Πεδία ΕΑΔΔ</rdfs:label>
<rdfs:label xml:lang='en'>Scientific disciplines of the National Archive of Ph.D. Theses</rdfs:label>
</rdf:Description>
</ekt:group>
<dcterms:provenance xml:lang='en'>isi - LOGIC</dcterms:provenance>
<dcterms:provenance xml:lang='en'>sc - Logic</dcterms:provenance>
</skos:Concept>
</rdf:RDF>
