| 010 ## - ISBN |
|---|
| ISBN |
1852333197 |
| qualificatif |
br. |
| 200 ## - titre |
|---|
| titre |
Mathematical logic for computer science |
| Type document |
Livre |
| auteur |
Mordechai, Ben-Ari |
| 205 ## - mention d'édition |
|---|
| mention d'édition |
2nd ed. |
| 210 ## - éditeur |
|---|
| lieu de publication |
London |
| -- |
Berlin |
| -- |
Paris |
| nom de l'editeur |
Springer |
| date de publication |
2001 |
| 101 ## - langue |
|---|
| langue du document |
Anglais |
| langue de l'oeuvre originale |
Anglais |
| 215 ## - description |
|---|
| Nombre de pages |
1 vol. (XIV-304 p.) |
| format |
24 cm |
| 300 ## - note |
|---|
| Note |
Bibliogr. p. [293]-295. Index. |
| 606 ## - sujets |
|---|
| sujet |
Informatique |
| subdivision du sujet |
Mathématiques |
| 606 ## - sujets |
|---|
| sujet |
Logique informatique |
| 606 ## - sujets |
|---|
| sujet |
Logique symbolique et mathématique |
| 686 ## - Classification |
|---|
| Classification |
004.16 Logique mathématique |
| 700 #1 - auteur(s) |
|---|
| auteur |
Ben-Ari |
| partie du nom autre que l'élément d';entrée |
Mordechai |
| dates |
1948-.... |
| koha internal code |
23078 |
| 100 ## - données générales de traitement |
|---|
| données générales de traitement |
20110706 frey50 |