Annals of pure and applied logic
Gorde:
| Aurreko izenburua: | Annals of mathematical logic (Online) |
|---|---|
| Egile korporatiboa: | , |
| Formatua: | Revue numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
[S.l.] :
Elsevier Science
199.-.
|
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur : Elsevier Accès sur la plateforme ISTEX : Elsevier Accès Université d'Orléans et IFPM Accès INSA CVL |
| Oharra: |
Consultation de la ressource (2011-12-13) Articles mis en ligne sur la base de données Science-Direct Elsevier (Licence nationale) Elsevier (Licence nationale) The Keepers Registry Type of computer file: Articles en texte intégral au format PDF |
| Autres localisations: | Voir dans le Sudoc |
| État de collection: | Revue électronique, (1995) - (2001)180339901, (1995) - (2001) |
| Edition sous un autre format: | • Annals of pure and applied logic (Print), 0168-0072 |
| LEADER | 02531nam a22004817a 4500 | ||
|---|---|---|---|
| 001 | 986447 | ||
| 008 | 050208c19909999xx ||| |||| 00| 0 eng d | ||
| 009 | PPN083779264 | ||
| 022 | |a 18732461 | ||
| 041 | 0 | |a eng | |
| 080 | |a 510.6 | ||
| 080 | |a 16 | ||
| 080 | |a 517.1 | ||
| 110 | 2 | |a Association for symbolic logic. |4 pbd | |
| 245 | 1 | 0 | |a Annals of pure and applied logic |c managing ed. I. Moerdijk, S. N Artemov, J.-Y. Girard... [et al.]. |
| 256 | |a Données textuelles | ||
| 260 | |a [S.l.] : |b Elsevier Science, |c 199.-. | ||
| 310 | |a Mensuel |b 1988- | ||
| 310 | |a Bimestriel |b 1983-1987 | ||
| 500 | |a Consultation de la ressource (2011-12-13) | ||
| 500 | |a Articles mis en ligne sur la base de données Science-Direct | ||
| 500 | |a Elsevier (Licence nationale) | ||
| 500 | |a Elsevier (Licence nationale) | ||
| 500 | |a The Keepers Registry | ||
| 500 | |a Type of computer file: Articles en texte intégral au format PDF | ||
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/elsevier-contrat-licence-ln-2013 | ||
| 538 | |a Navigateur internet, lecteur de fichier PDF | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Périodique | ||
| 710 | 2 | |a Association for symbolic logic. |4 pbd | |
| 710 | 2 | |a Elsevier. |b North-Holland. |4 pbd | |
| 776 | 0 | |0 039116263 |t Annals of pure and applied logic (Print) |x 0168-0072 | |
| 780 | 0 | |0 127800239 |t Annals of mathematical logic (Online) |x 1878-3767 | |
| 856 | 4 | |u https://www.sciencedirect.com/science/journal/01680072 |z Accès sur la plateforme de l'éditeur : Elsevier | |
| 856 | 4 | |u https://revue-sommaire.data.istex.fr/ark:/67375/8Q1-K1T828GK-6 |z Accès sur la plateforme ISTEX : Elsevier | |
| 856 | 4 | |5 452349901:762799323 |u https://ezproxy.univ-orleans.fr/login?url=https://www.sciencedirect.com/science/journal/01680072 |z Accès Université d'Orléans et IFPM | |
| 856 | 4 | |5 180339901:762837071 |u https://ezproxy.insa-cvl.fr/login?qurl=https://www.sciencedirect.com/science/journal/01680072 |z Accès INSA CVL | |
| 866 | |a Revue électronique, (1995) - (2001) | ||
| 866 | |a 180339901, (1995) - (2001) | ||
| 955 | 4 | 1 | |5 452349901:762799323 |i 1995 |i 2001 |r (1995) - (2001) |
| 955 | 4 | 1 | |5 180339901:762837071 |i 1995 |i 2001 |r (1995) - (2001) |
| 997 | |0 986447 |1 Revue numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||