Logic for mathematicians /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
1988.
|
| Edition: | Rev. edition. |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01353Cam#a2200349#a#4500 | ||
|---|---|---|---|
| 001 | 020261 | ||
| 003 | AR-BeUNQ | ||
| 005 | 20171117091542.0 | ||
| 008 | 080902s1988||||enkd f#b #001|0#eng#d | ||
| 999 | |c 19960 |d 95347 | ||
| 020 | |a 0521368650 | ||
| 040 | |a AR-BeUNQ | ||
| 082 | 0 | 4 | |a 511.3 |2 21 |
| 100 | 1 | |a Hamilton, A G |d 1943- | |
| 245 | 0 | 2 | |a Logic for mathematicians / |c A. G. Hamilton. |
| 250 | |a Rev. edition. | ||
| 260 | |a Cambridge : |b Cambridge University Press, |c 1988. | ||
| 300 | |a viii, 228 p. : |b gráficos ; |c 23 cm. | ||
| 500 | |a Glosario de símbolos: p.220-223. | ||
| 504 | |a Incluye referencias (p.219) e índice (p. 224-228). | ||
| 594 | |a TECNICATURA EN PROGRAMACION INFORMATICA |a LICENCIATURA EN INFORMATICA | ||
| 595 | |a ELEMENTOS DE PROGRAMACION Y LOGICA |d 2016 | ||
| 650 | 7 | |a Lógica matemática |2 spines | |
| 650 | 7 | |a Teoría lógica |2 spines | |
| 650 | 7 | |a Cálculo de predicados |2 spines | |
| 650 | 7 | |a Cálculo de proposiciones |2 spines | |
| 650 | 7 | |a Cálculo de relaciones |2 spines | |
| 650 | 7 | |a Algoritmos |2 spines | |
| 929 | |a COMPRA |b Intelecnia |c Exp. 827-0266/08 1a. compra |d 207,40 |e 20080826 |f PAT0025045 |j 42444 | ||
| 929 | |a COMPRA |b Intelecnia |c Exp. 827-0266/08 1a. compra |d 207,40 |e 20080826 |f PAT0025046 |j 42445 | ||
| 929 | |a COMPRA |b Intelecnia |c Exp. 827-0266/08 1a. compra |d 207,40 |e 20080826 |f PAT0025047 |j 42446 | ||
| 942 | |c LIB |n 0 | ||