Mathematische Logik
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Benson_Mates
label: Aro-teorio @eo
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Real_analysis
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Mathematical_analysis
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Automated_theorem_proving
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Alfred_Tarski
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Luitzen_Egbertus_Jan_Brouwer
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Georg_Cantor
description: campo della matematica @it
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Cambridge_University_Press
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/American_Mathematical_Monthly
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Chrysippus
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Saunders_Mac_Lane
wiki page external link: https://www.springer.com/mathematics/book/978-0-387-94258-2
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Intuitionistic_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Domain_of_discourse
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Determinacy
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Entscheidungsproblem
wiki page external link: https://www.gutenberg.org/ebooks/28696
label: Tacartheoiric @ga
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Stephen_Cole_Kleene
label: Lògica matemàtica @ca
label: Теория множеств @ru
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Syllogism
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/David_Hilbert
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Zermelo–Fraenkel_set_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Lambda_calculus
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Nicolas_Bourbaki
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Bertrand_Russell
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Cumulative_hierarchy
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Proof_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Joseph_Henry_Woodger
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Computable_model_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Ernst_Schröder_(mathematician)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Intuitionism
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Theory_(mathematical_logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Consistency
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Academic_Press
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/NP_(complexity)
wiki page external link: http://matwbn.icm.edu.pl/ksiazki/fm/fm6/fm6127.pdf
id: p/m062660 @en
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Abraham_Fraenkel
subject: Category:Philosophy of mathematics
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Constructible_universe
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Abstract_algebra
subject: Category:Logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Set_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Paul_Cohen
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Heinrich_Scholz
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Inaccessible_cardinal
wiki page uses template: Template:Portal
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Proceedings_of_the_London_Mathematical_Society
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Isomorphism
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Well-ordered
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Fundamenta_Mathematicae
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Philotheus_Boehner
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Decidable_set
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Gottfried_Wilhelm_Leibniz
description: Teilgebiet der Mathematik
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Primitive_recursive_function
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Cantor's_first_uncountability_proof
wiki page external link: http://worldcat.org/oclc/523472
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Quantifier_elimination
subject: Category:Mathematical logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Computable_function
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Pyotr_Novikov
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Busy_beaver
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/(ε,_δ)-definition_of_limit
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Quantifiers_(logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Arithmetic
wiki page external link: https://www.ams.org/notices/200106/fea-woodin.pdf
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Non-Euclidean_geometry
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Cantor's_diagonal_argument
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Non-standard_model_of_arithmetic
wiki page external link: http://www.mathematik.uni-muenchen.de/~schwicht/lectures/logic/ws03/ml.pdf
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Cardinal_numbers
label: Teoria dos conjuntos @pt
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Impredicativity