|
|
|
|
| LEADER |
01845cam a2200445 4500 |
| 001 |
PPN054141907 |
| 003 |
http://www.sudoc.fr/054141907 |
| 005 |
20240319104300.0 |
| 010 |
|
|
|a 0-7923-6544-5
|b rel.
|
| 035 |
|
|
|a (OCoLC)469310950
|
| 035 |
|
|
|a sib1678223
|
| 073 |
|
1 |
|a 9780792365440
|
| 100 |
|
|
|a 20001220d2000 k y0frey0103 ba
|
| 101 |
0 |
|
|a eng
|2 639-2
|
| 102 |
|
|
|a NL
|a US
|a GB
|
| 105 |
|
|
|a y a 101yy
|
| 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
|
| 200 |
1 |
|
|a Proof theory
|e history and philosophical signifiance
|f edited by Vincent F. Hendricks,... Stig Andur Pedersen and Klaus Frovin Jørgensen,...
|
| 210 |
|
|
|a Dordrecht
|a Boston
|a London
|c Kluwer
|d cop. 2000
|
| 215 |
|
|
|a 1 vol. (XII-244 p.)
|c fig.
|d 25 cm
|
| 225 |
0 |
|
|a Synthese library
|e studies in epistemology, logic, methodology, and philosophy of science
|v 292
|
| 300 |
|
|
|a Ouvrage issu de la conférence intitulée "Proof theory : history and philosophical signifiance" tenue à l'Université de Roskilde, Danemark, du 31 octobre au 1er novembre 1997
|
| 320 |
|
|
|a Bibliogr. en fin de contributions. Notes bibliogr. Index
|
| 410 |
|
| |
|0 039111717
|t Synthese Library (Dordrecht)
|x 0166-6991
|v 292
|
| 606 |
|
|
|3 PPN03145836X
|a Théorie de la démonstration
|3 PPN02726470X
|x Histoire
|2 rameau
|
| 608 |
|
|
|3 PPN02886431X
|a Actes de congrès
|2 rameau
|
| 686 |
|
|
|a F.4
|2 acm
|
| 701 |
|
1 |
|3 PPN060347627
|a Hendricks
|b Vincent Fella
|f 1970-....
|4 651
|
| 701 |
|
1 |
|3 PPN060347767
|a Jørgensen
|b Klaus Frovin
|4 651
|
| 701 |
|
1 |
|3 PPN060347953
|a Pedersen
|b Stig Andur
|4 651
|
| 801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20220328
|g AFNOR
|
| 979 |
|
|
|a PHILO
|
| 930 |
|
|
|5 441092107:253455804
|b 441092107
|a M 18283
|j s
|
| 991 |
|
|
|5 441092107:253455804
|a Rétroconversion Philosophie
|
| 998 |
|
|
|a 446714
|
Nantilus
