Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Spremljeno u:
| Format: | Knjiga |
|---|---|
| Jezik: | francuski |
| Izdano: |
París
Gauther-Villars
1965
|
| Serija: | Collection de Logique Mathématique, 19
|
| Teme: | |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | UCQ8253 | ||
| 003 | CL-VaPUC | ||
| 008 | 981209e19650000FR |||||||||||||||||fre|d | ||
| 082 | 0 | 4 | |a 511.3 |b COL |2 21 |
| 245 | 1 | 0 | |a Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications |
| 300 | |a 317 p | ||
| 942 | |c BK | ||
| 945 | |d 19981209 00:00:00 |a crobeson | ||
| 260 | |a París |b Gauther-Villars |c 1965 | ||
| 650 | 0 | |a Lógica matemática |9 262442 | |
| 650 | 0 | |a Matemática |9 260235 | |
| 650 | 0 | |a Lógica simbólica |9 269868 | |
| 650 | 7 | |a MAQUINAS DE TURING |2 CL-VaPUC |9 422089 | |
| 650 | 7 | |a INTELIGENCIA ARTIFICIAL |2 CL-VaPUC |9 422090 | |
| 583 | |a last modification |c 19981209 00:00:00 |k Rodrigo Vera | ||
| 490 | 0 | |a Collection de Logique Mathématique, 19 | |
| 999 | |c 277538 |d 277536 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_COL_1965 |7 0 |8 A |9 315531 |a BIBMAT |b BIBMAT |d 2019-11-20 |i 1300156 |o 511.3 COL 1965 |p 1300156 |r 2025-01-07 |w 2019-11-20 |y BK |k MAT | ||