Atjaunināt sīkdatņu piekrišanu

Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987 1989 ed. [Mīkstie vāki]

Edited by , Edited by , Edited by
  • Formāts: Paperback / softback, 226 pages, height x width: 235x155 mm, weight: 750 g, V, 226 p., 1 Paperback / softback
  • Sērija : Lecture Notes in Mathematics 1388
  • Izdošanas datums: 09-Aug-1989
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540515275
  • ISBN-13: 9783540515272
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 42,44 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 49,94 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987 1989 ed.Palielināt
  • Formāts: Paperback / softback, 226 pages, height x width: 235x155 mm, weight: 750 g, V, 226 p., 1 Paperback / softback
  • Sērija : Lecture Notes in Mathematics 1388
  • Izdošanas datums: 09-Aug-1989
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540515275
  • ISBN-13: 9783540515272
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783540515272.html
Keywords:
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.

Papildus informācija

Springer Book Archives
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.