TY - BOOK ID - 101217175 TI - Mathematical Logic AU - Csirmaz, Laszlo AU - Gyenis, Zalán AU - SpringerLink (Online service) PY - 2022 SN - 9783030790103 PB - Cham Springer International Publishing :Imprint: Springer DB - UniCat KW - Lògica matemàtica KW - Teoria de models KW - Anàlisi matemàtica no-estàndard KW - Forcing (Teoria de models) 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 tipus KW - Àlgebra abstracta KW - Metamatemàtica KW - Programació lògica KW - Sil·logisme KW - Teoria de conjunts KW - Model theory. KW - Logic, Symbolic and mathematical. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Logic, Symbolic and mathematical UR - https://www.unicat.be/uniCat?func=search&query=sysid:101217175 AB - ER -