|
|
|
|
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
|