A formalization of set theory without variables /
Guardado en:
| Autor Principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Providence, R.I. :
American Mathematical Society,
c1987.
|
| Series: | Colloquium publications (American Mathematical Society) ;
v. 41. |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00944pam a2200253 a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb006896 | ||
| 008 | 860814s1987####riu######b####001#0#eng## | ||
| 005 | 20151013163659.0 | ||
| 245 | 1 | 2 | |a A formalization of set theory without variables / |c by Alfred Tarski and Steven Givant. |
| 260 | |a Providence, R.I. : |b American Mathematical Society, |c c1987. | ||
| 300 | |a xxi, 318 p. ; |c 26 cm. | ||
| 490 | 1 | |a Colloquium publications, |x 0065-9258 ; |v v. 41 | |
| 504 | |a Incluye referencias bibliográficas (p. 273-282) e índices. | ||
| 510 | 4 | |a MR, |c 89g:03012 | |
| 020 | |a 0821810413 (alk. paper) | ||
| 100 | 1 | |a Tarski, Alfred. | |
| 700 | 1 | |a Givant, Steven R. | |
| 830 | 0 | |a Colloquium publications (American Mathematical Society) ; |v v. 41. | |
| 650 | 0 | |a Set theory. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 084 | |a 03B30 (03C05 03E30 03G15) |2 MR | ||
| 010 | |a 86022168 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 859 | |h 03 |i T193f |p A-8938 |b BIB. MATEMATICA | ||