@prefix dc: .
@prefix rdfs: .
@prefix owl: .
@prefix rdf: .
@prefix skos: .
@prefix dcterms: .
skos:prefLabel "Encabezamientos de materia"@es .
skos:prefLabel "Àlgebra abstracta"@ca .
skos:prefLabel "Logika matematikoa"@eu .
skos:prefLabel "Commutació, Teoria de la"@ca .
skos:prefLabel "Lógica matemática"@es .
skos:prefLabel "Lògica algebraica"@ca .
skos:prefLabel "Màquines, Teoria de"@ca .
skos:prefLabel "Lógica matemática"@es .
skos:prefLabel "Lògica combinatòria"@ca .
a skos:Concept ;
dcterms:created "1989-07-27T00:00:00Z"^^ ;
dcterms:modified "2012-12-30T00:00:00+01:00"^^ ;
skos:altLabel "Logística"@ca , "Lògica simbòlica i matemàtica"@ca ;
skos:broader ;
skos:closeMatch , , , , , , ;
skos:inScheme , ;
skos:narrower , , , , , , , , , , , , , , , , , , , , ;
skos:prefLabel "Lògica matemàtica"@ca ;
skos:related , .
skos:prefLabel "Lóxica matemática"@gl .
skos:prefLabel "Semàntica (Filosofia)"@ca .
skos:prefLabel "Ciència-Metodologia"@ca .
skos:prefLabel "Conjunts, Teoria axiomàtica de"@ca .
skos:prefLabel "Raonament"@ca .
skos:prefLabel "Prova, Teoria de la"@ca .
skos:prefLabel "Models, Teoria dels"@ca .
skos:prefLabel "Matemàtica constructiva"@ca .
skos:prefLabel "Funcions recursives"@ca .
skos:prefLabel "Lògica de primer ordre"@ca .
skos:prefLabel "Lògica difusa"@ca .
skos:prefLabel "Logic, Symbolic and mathematical"@en .
skos:prefLabel "Matemàtica"@ca .
skos:prefLabel "Decidibilitat (Lògica matemàtica)"@ca .
skos:prefLabel "Gödel, Teorema de"@ca .
skos:prefLabel "Pragmàtica"@ca .
skos:prefLabel "Atzar"@ca .
skos:prefLabel "Logique mathématique"@fr .
skos:prefLabel "Categories (Matemàtica)"@ca .
skos:prefLabel "LEMAC" .
skos:prefLabel "Màquines lògiques"@ca .
skos:prefLabel "Lògica informàtica"@ca .
skos:prefLabel "Conjunts, Teoria de"@ca .