|
|
|
|
| LEADER |
01428cam a2200421 4500 |
| 001 |
PPN100537197 |
| 003 |
http://www.sudoc.fr/100537197 |
| 005 |
20190627114100.0 |
| 010 |
|
|
|a 0-19-853027-7
|b br.
|
| 010 |
|
|
|a 978-0-19-853026-8
|b rel.
|
| 035 |
|
|
|a (OCoLC)493653513
|
| 073 |
|
1 |
|a 9780198530275
|
| 073 |
|
1 |
|a 9780198530268
|
| 100 |
|
|
|a 20060428h20052005k y0frey0103 ba
|
| 101 |
0 |
|
|a eng
|
| 102 |
|
|
|a GB
|
| 105 |
|
|
|a a ||||001yy
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Proof and disproof in formal logic
|b Texte imprimé
|e an introduction for programmers
|f Richard Bornat
|
| 210 |
|
|
|a Oxford
|c Oxford university press
|d cop. 2005
|
| 215 |
|
|
|a 1 vol. (XIX-243 p.)
|c fig., tabl., couv. ill. en coul.
|d 24 cm
|
| 225 |
|
|
|a Oxford texts in logic
|v 2
|
| 305 |
|
|
|a Réimpression : 2007
|
| 320 |
|
|
|a Index
|
| 410 |
|
| |
|0 13692915X
|t Oxford texts in logic
|v 2
|
| 606 |
|
|
|3 PPN035073144
|a Logique informatique
|2 rameau
|
| 606 |
|
|
|3 PPN027662799
|a Logique mathématique
|2 rameau
|
| 686 |
|
|
|a 03-01
|c 2000
|2 msc
|
| 686 |
|
|
|a 03B05
|c 2000
|2 msc
|
| 686 |
|
|
|a 03B10
|c 2000
|2 msc
|
| 700 |
|
1 |
|3 PPN098544691
|a Bornat
|b Richard
|f 1944-
|4 070
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20170620
|g AFNOR
|
| 915 |
|
|
|5 441092208:639602029
|b 16736
|
| 930 |
|
|
|5 441092208:639602029
|b 441092208
|a 03C164
|j u
|
| 979 |
|
|
|a CCFA
|
| 991 |
|
|
|5 441092208:639602029
|a exemplaire créé automatiquement par l'ABES
|
| 997 |
|
|
|a CCFA
|b 16736
|d CMB
|e BAP
|s d
|c 03C164
|
| 998 |
|
|
|a 848041
|
Nantilus
