TY - BOOK ID - 86363773 TI - Founding mathematics on semantic conventions PY - 2021 SN - 3030885348 303088533X PB - Cham, Switzerland : Springer, DB - UniCat KW - Filosofia de la matemàtica KW - Lògica matemàtica KW - Lògica formal KW - Lògica simbòlica KW - Lògica simbòlica i matemàtica KW - Lògica universal KW - Logística (Filosofia) KW - Matemàtica KW - Atzar KW - Càlcul lambda KW - Categories (Matemàtica) KW - Decidibilitat (Lògica matemàtica) KW - Funcions recursives KW - Independència (Matemàtica) KW - Lògica algebraica KW - Lògica borrosa KW - Lògica combinatòria KW - Lògica de primer ordre KW - Lògica informàtica KW - Matemàtica constructiva KW - Metodologia de la ciència KW - Nombres cardinals KW - Pragmàtica (Lingüística) KW - Probabilitats KW - Semàntica (Filosofia) KW - Teoria axiomàtica de conjunts KW - Teorema de Gödel KW - Teoria de la commutació KW - Teoria de la prova KW - Teoria de la recursió KW - Teoria de màquines KW - Teoria de models KW - Teoria de tipus KW - Àlgebra abstracta KW - Metamatemàtica KW - Programació lògica KW - Sil·logisme KW - Teoria de conjunts KW - Lògica de la matemàtica KW - Filosofia de la ciència KW - Continuïtat KW - Mathematics KW - Logic, Symbolic and mathematical. KW - Semantics (Philosophy) KW - Philosophy. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Logic of mathematics KW - Mathematics, Logic of KW - Intension (Philosophy) KW - Logical semantics KW - Semantics (Logic) KW - Semeiotics KW - Significs KW - Syntactics KW - Unified science KW - Language and languages KW - Logic, Symbolic and mathematical KW - Logical positivism KW - Meaning (Psychology) KW - Philosophy, Modern KW - Semiotics KW - Signs and symbols KW - Symbolism KW - Analysis (Philosophy) KW - Definition (Philosophy) KW - Lògica difusa KW - Lògica matemàtica. UR - https://www.unicat.be/uniCat?func=search&query=sysid:86363773 AB - ER -