Mathematical interpretation of formal systems
| Otros Autores: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Amsterdam
North-Holland
1955
|
| Materias: |
| LEADER | 00695nam a2200205 a 4500 | ||
|---|---|---|---|
| 001 | 000000016152 | ||
| 003 | OSt | ||
| 005 | 20150930134211.0 | ||
| 008 | 150930b xxu||||| |||| 00| 0 eng d | ||
| 040 | |a Sistema de Bibliotecas UNAH | ||
| 082 | 0 | |a 511.3-M42 | |
| 245 | 0 | 0 | |a Mathematical interpretation of formal systems |c T. H. Skolem... [et al.] |
| 260 | |c 1955 |a Amsterdam |b North-Holland | ||
| 300 | |a 113 p. | ||
| 650 | 4 | |a LÓGICA MATEMÁTICA | |
| 700 | 1 | |a Skolem, T. H. | |
| 942 | |2 ddc |c LB | ||
| 999 | |c 16152 |d 16152 | ||
| 952 | |0 0 |1 0 |2 ddc |4 0 |6 511_000000000000000_3M42 |7 0 |9 46365 |a CG |b BC |l 0 |o 511.3-M42 |p 270155 |y LB | ||
| 952 | |0 0 |1 0 |2 ddc |4 0 |6 511_000000000000000_3M42 |7 0 |9 46366 |a CG |b BC |l 0 |o 511.3-M42 |p 270156 |y LB | ||