cam a22 4500 533474574 CHVBK 20190313121123.0 950926s1994 sz s00 0 fre d Fr. 15.- (br.) (SNL)991002526389703976 (Sz)000056106 (Sz)56106-41snl_51 (Sz)vtls000056106 (Sz)991002526389703976 Sz Sz Etudes logiques D[enis] Miéville, éd Neuchâtel CdRS, Centre de recherches sémiologiques, Université 1994 VI, 169 p. 21 cm txt rdacontent n rdamedia nc rdacarrier Travaux de logique no 9 Bibliogr. Port-Royal : une logique des idées / Pierre Joray. L'avènement de la théorie sémantique de la vérité de Tarski / David Stauffer. George Boole et l'algèbre de la logique / Nadine Gessler 161.0 snl local sb 1995/20 03 snl-sb Gessler Nadine George Boole et l'algèbre de la logique Joray Pierre Port-Royal : une logique des idées Miéville Denis Stauffer David <<L'>>avènement de la théorie sémantique de la vérité de Tarski Université de Neuchâtel Centre de recherches sémiologiques (DE-588)1030323-6 Travaux de logique 9 (Sz)000010567 SNL 490 1- Travaux de logique no 9 SNL 700 12 Gessler Nadine George Boole et l'algèbre de la logique SNL 700 12 Joray Pierre Port-Royal : une logique des idées SNL 700 1- Miéville Denis SNL 700 12 Stauffer David <<L'>>avènement de la théorie sémantique de la vérité de Tarski SNL 710 2- Université de Neuchâtel Centre de recherches sémiologiques (DE-588)1030323-6 SNL 830 -- Travaux de logique 9 (Sz)000010567 BK020000 XK020000 XK020000 SNL NB001 NB001 P 35433/9 NB10011