Martinez Ruiz, IvanMARTINEZ RUIZ, IVAN; 205993Reyes Flores, Juan Armando2020-03-102020-03-102019-12https://hdl.handle.net/20.500.12371/4918"El tema de esta tesis pertenece a la teoría de modelos que es la rama de la lógica matemática que se ocupa de la relación entre un lenguaje formal y sus interpretaciones o modelos. Nos concentraremos en la teoría de modelos de la lógica de predicados de primer orden, que puede llamarse “teoría modelos clásica”."pdfspaCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRATeoría de conjuntosLógica simbólica y matemáticaTesis de licenciaturaAxioma de fundaciónMatemáticas--FilosofíaopenAccess