-
Notifications
You must be signed in to change notification settings - Fork 0
/
bibliografiaLibroISFODOSU.bib
executable file
·150 lines (130 loc) · 3.33 KB
/
bibliografiaLibroISFODOSU.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
@book{AI1982,
title={Tratados de l{\'o}gica ({{\'O}}rganon) volumen {I}},
author={Arist\'oteles},
volume={51},
year={1982},
publisher={Biblioteca Cl\'{a}sica Gredos}
}
@book{AII1988,
title={Tratados de l{\'o}gica ({{\'O}}rganon) volumen {II}},
author={Arist\'oteles},
volume={115},
year={1988},
publisher={Biblioteca Cl\'{a}sica Gredos}
}
@book{C1977,
title={Symbolic logic},
author={Carroll, Lewis},
year={1977},
publisher={Harvester Press}
}
@book{P2010,
title={Introducci{\'o}n a la l{\'o}gica moderna},
author={P{\'a}ez, Andr{\'e}s},
publisher={Ediciones Uniandes},
year={2010}
}
@book{SH1963,
title={First course in mathematical logic},
author={Suppes, Patrick and Hill, Shirley A.},
year={1963},
publisher={Editorial Revert\'e, S.A.}
}
@book{UZ2011,
title={L{\'o}gica, conjuntos y n{\'u}meros},
author={Uzc{\'a}tegui Aylwin, Carlos},
publisher={Universidad de los Andes, Consejo de Publicaciones, Colecci{\'o}n: Ciencias B{\'a}sicas, Serie: Matem{\'a}ticas},
year={2011}
}
@book{UZC2011,
title={Los n{\'u}meros reales y el infinito},
author={Uzc{\'a}tegui Aylwin, Carlos},
publisher={Universidad de los Andes, Consejo de Publicaciones, Colecci{\'o}n: Ciencias B{\'a}sicas, Serie: Matem{\'a}ticas},
year={2011}
}
@book{P2012,
title={Fundamentos de matem{\'a}tica avanzada},
author={Piedra, Ren{\'e}},
year={2012},
publisher={Instituto Tecnol{\'o}gico de Santo Domingo}
}
@book{S1979,
title={Set theory and logic},
author={Stoll, Robert Roth},
year={1979},
publisher={Courier Corporation}
}
@book{Q2009,
title={Set theory and its logic},
author={Quine, Willard van O.},
year={2009},
publisher={Harvard University Press}
}
@book{B1982,
title={Handbook of mathematical logic},
author={Barwise, Jon},
year={1982},
publisher={Elsevier}
}
@book{C1997,
title={Set theory for the working mathematician},
author={Ciesielski, Krzysztof},
number={39},
year={1997},
publisher={Cambridge University Press}
}
@book{J2003,
title={Set Theory: {T}he third millennium edition},
author={Jech, T.},
year={2003},
publisher={Springer Monographs in Mathematics. Berlin: Springer}
}
@book{K2014,
title={Set theory an introduction to independence proofs},
author={Kunen, Kenneth},
year={2014},
publisher={Elsevier}
}
@book{L2015,
title={A friendly introduction to mathematical logic},
author={Leary, Christopher C and Kristiansen, Lars},
year={2015},
publisher={Upper Saddle River, NJ:Prentice Hall}
}
@book{H2017,
title={Naive set theory},
author={Halmos, Paul R.},
year={2017},
publisher={Courier Dover Publications}
}
@book{M2004,
title={L{\'o}gica para principiantes},
author={Manzano, Mar{\'\i}a and Huertas, Antonia},
volume={90},
year={2004},
publisher={Anaya-Spain}
}
@book{S1972,
title={Axiomatic set theory},
author={Suppes, Patrick},
year={1972},
publisher={Courier Corporation}
}
@book{E1977,
title={Elements of set theory},
author={Enderton, Herbert B.},
year={1977},
publisher={Academic press}
}
@book{CCR2016,
title={Introduction to logic},
author={Copi, Irving and Cohen, Carl and Rodych, Victor},
year={2016},
publisher={Routledge}
}
@book{AFJM2001,
title={Fundamentos de l{\'o}gica matem{\'a}tica},
author={Aranda, J. and Fern{\'a}ndez, J. L. and Jim{\'e}nez, J. and Morilla, F.},
year={2001},
publisher={Sanz y Torres, Madrid}
}