Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987
These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lecture...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in mathematics
1388 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Mathematical logic and applications, proceedings of the Logic meeting held in Kyoto, 1987, J. Shinoda, T.A. Slaman, T. Tugué, eds, 1989, Berlin, Springer-Verlag, 1 volume (222 pages), Lecture notes in mathematics, 0-387-51527-5 • Mathematical Logic and Applications, Texte imprimé, 9783662207703 |
| LEADER | 03458nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 970936 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155198947 | ||
| 020 | |a 9783540482208 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 510 | ||
| 084 | |a 03Bxx. 1980 | ||
| 084 | |a 03Dxx. 1980 | ||
| 084 | |a 03Exx. 1980 | ||
| 084 | |a 03Fxx. 1980 | ||
| 111 | 2 | |a Meeting on mathematical logic and its applications |n (87 |d :1987 |c :Kyoto, Japon). | |
| 245 | 1 | 0 | |a Mathematical Logic and Applications : |b Proceedings of the Logic Meeting held in Kyoto, 1987 |c [edited by] J. Shinoda, T.A. Slaman, T. Tugué. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in mathematics |v 1388 |x 1617-9692 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Recursively enumerable sets in models of ?2 collection -- The role of a filter quantifier in set theory -- Syntactical simulation of many-valued logic -- Consistency of Beeson's formal system RPS and some related results -- Elementary properties of a system of fundamental sequences for ?o -- The continuum hypothesis and the theory of the Kleene degrees -- ?1-Collection and the finite injury priority method -- Computational complexity of languages counting random oracles -- Infinitesimal calculus interpreted in infinitary logic. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987. | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Tugué, Tosiyuki, |d 1926- |4 pbd | |
| 700 | 1 | |a Shinoda, Juichi, |d 1948-1998. |4 pbd | |
| 700 | 1 | |a Slaman, Theodore Allen, |d 1954- |4 pbd | |
| 710 | 2 | |a Research institute for mathematical sciences. |4 orm | |
| 776 | 0 | |0 021234256 |t Mathematical logic and applications |o proceedings of the Logic meeting held in Kyoto, 1987 |f J. Shinoda, T.A. Slaman, T. Tugué, eds |d 1989 |c Berlin |n Springer-Verlag |p 1 volume (222 pages) |s Lecture notes in mathematics |z 0-387-51527-5 | |
| 776 | 0 | |t Mathematical Logic and Applications |b Texte imprimé |z 9783662207703 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0083663 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-3JPK7J16-N |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750658010 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0083663 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754007774 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0083663 |z Accès INSA CVL | |
| 997 | |0 970936 |1 Livre 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/ | ||