|
|
|
|
| LEADER |
01666cam a2200397 4500 |
| 001 |
PPN071606041 |
| 003 |
http://www.sudoc.fr/071606041 |
| 005 |
20240320151700.0 |
| 010 |
|
|
|a 1-4020-0699-3
|b rel.
|
| 035 |
|
|
|a (OCoLC)491106121
|
| 073 |
|
0 |
|a 9781402006999
|
| 100 |
|
|
|a 20030611d2002 k y0frey0103 ba
|
| 101 |
0 |
|
|a eng
|2 639-2
|
| 102 |
|
|
|a NL
|a US
|a GB
|
| 105 |
|
|
|a y a 001yy
|
| 106 |
|
|
|a r
|
| 181 |
|
|
|6 z01
|c txt
|2 rdacontent
|
| 181 |
|
1 |
|6 z01
|a i#
|b xxxe##
|
| 182 |
|
|
|6 z01
|c n
|2 rdamedia
|
| 182 |
|
1 |
|6 z01
|a n
|
| 183 |
|
|
|6 z01
|a nga
|2 RDAfrCarrier
|
| 200 |
1 |
|
|a Handbook of philosophical logic
|h Volume 9
|f edited by D. M. Gabbay,... and F. Guenthner,...
|
| 205 |
|
|
|a 2nd edition
|
| 214 |
|
0 |
|a Dordrecht [etc.]
|c Kluwer Academic Publishers
|
| 214 |
|
4 |
|d C 2002
|
| 215 |
|
|
|a 1 vol. (XIII-368 p.)
|d 24 cm
|
| 320 |
|
|
|a Bibliogr. à la fin des chapitres. Notes bibliogr. Index
|
| 359 |
2 |
|
|p P. 1
|b Rewriting logic as a logical and semantic framework / N. Martí-Oliet and J. Meseguer
|p P. 89
|b Logical frameworks / D. Basin and S. Matthews
|p P. 165
|b Proof theory and meaning / Goran Stundholm
|p P. 199
|b Goal direction deductions / Dov M. Gabbay and Nicola Olivetti
|p P. 287
|b On negation, completeness and consitency / Arnon Avron
|p P. 321
|b Logic as general rationality: a survey / Ton Sales
|
| 606 |
|
|
|3 PPN027284263
|a Logique
|2 rameau
|
| 702 |
|
1 |
|3 PPN027955486
|a Gabbay
|b Dov M.
|f 1945-....
|4 340
|
| 702 |
|
1 |
|3 PPN02853008X
|a Guenthner
|b Franz
|f 1946-....
|4 340
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20200107
|g AFNOR
|
| 979 |
|
|
|a PHILO
|
| 930 |
|
|
|5 441092107:252884647
|b 441092107
|a L 19117
|j s
|
| 991 |
|
|
|5 441092107:252884647
|a Retroconversion Philosophie
|
| 998 |
|
|
|a 445602
|
Nantilus
