About: Μαθηματική λογική

Property	Value
dbo:wikiPageID	80582 (xsd:integer)
dbo:wikiPageRevisionID	5385288 (xsd:integer)
prop-el:wikiPageUsesTemplate	dbpedia-el:Πρότυπο:Commonscat dbpedia-el:Πρότυπο:Catmore
rdf:type	skos:Concept
rdfs:label	Μαθηματική λογική (el) Μαθηματική λογική (el)
skos:broader	dbpedia-el:Κατηγορία:Λογική dbpedia-el:Κατηγορία:Μαθηματικά dbpedia-el:Κατηγορία:Περιοχές_των_μαθηματικών dbpedia-el:Κατηγορία:Φιλοσοφία_των_μαθηματικών
skos:prefLabel	Μαθηματική λογική (el) Μαθηματική λογική (el)
prov:wasDerivedFrom	wikipedia-el:Κατηγορία:Μαθηματική_λογική?oldid=5385288&ns=14
is dct:subject of	dbpedia-el:Αλγεβρική_σημασιολογία dbpedia-el:Αλγόριθμος dbpedia-el:Αν_και_μόνο_αν dbpedia-el:Αναδρομή dbpedia-el:Αναδρομικό_σύνολο dbpedia-el:Αξίωμα dbpedia-el:Αξιώματα_Πεάνο dbpedia-el:Αρίθμηση_Γκέντελ dbpedia-el:Εις_άτοπον_απαγωγή dbpedia-el:Ημι-υπολογίσιμη_συνάρτηση dbpedia-el:Θεμέλια_των_μαθηματικών dbpedia-el:Θεωρήματα_μη_πληρότητας_του_Γκέντελ dbpedia-el:Θεωρία_(μαθηματική_λογική) dbpedia-el:Θεωρία_συνόλων dbpedia-el:Ισότητα_(μαθηματικά) dbpedia-el:Λήμμα_του_Τσορν dbpedia-el:Λογικές_πράξεις dbpedia-el:Λογικές_συναρτήσεις dbpedia-el:Λογική_Σχεδίαση dbpedia-el:Λογική_ανώτερου_βαθμού dbpedia-el:Λογική_δευτέρου_βαθμού dbpedia-el:Λογική_διάζευξη dbpedia-el:Λογική_με_πολλούς_τύπους dbpedia-el:Λογική_πρώτου_βαθμού dbpedia-el:Μέθοδος_διάψευσης dbpedia-el:Μαθηματική_απόδειξη dbpedia-el:Μαθηματική_λογική dbpedia-el:Πράξη_(μαθηματικά) dbpedia-el:Προτασιακός_λογισμός dbpedia-el:Συμβολική_λογική dbpedia-el:Συμπερασματικός_κανόνας dbpedia-el:Ταυτότητα_(μαθηματικά) dbpedia-el:Ταύτιση dbpedia-el:Τυπική_γλώσσα dbpedia-el:Τυπικό_σύστημα dbpedia-el:Υπολογισμός dbpedia-el:Μαθηματική_επαγωγή dbpedia-el:Συμπερασματικό_σύστημα
is skos:broader of	dbpedia-el:Κατηγορία:Άλγεβρα_Μπουλ dbpedia-el:Κατηγορία:Αναδρομή dbpedia-el:Κατηγορία:Θεωρία_αποδείξεων dbpedia-el:Κατηγορία:Θεωρία_μοντέλων dbpedia-el:Κατηγορία:Θεωρία_συνόλων dbpedia-el:Κατηγορία:Θεωρία_υπολογισμού dbpedia-el:Κατηγορία:Λ-λογισμός dbpedia-el:Κατηγορία:Προτασιακός_λογισμός