Sets, Models and Proofs
-15%
portes grátis
Sets, Models and Proofs
van Oosten, Jaap; Moerdijk, Ieke
Springer International Publishing AG
12/2018
141
Mole
Inglês
9783319924137
15 a 20 dias
454
Descrição não disponível.
Introduction.- 1 Sets.- 2 Models.- 3 Proofs.- 4 Sets Again.- Appendix: Topics for Further Study.- Photo Credits.- Bibliography.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
MSC (2010): 03-0, 03-B10, 03-C07, 03-E25, 03E10;mathematical logic;first order logic;model theory;quantifier elimination;completeness theorem;set theory;axiom of choice;proof tree
Introduction.- 1 Sets.- 2 Models.- 3 Proofs.- 4 Sets Again.- Appendix: Topics for Further Study.- Photo Credits.- Bibliography.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
