International Mathematical Series

Mathematical Problems from Applied Logic II

Logics for the XXIst Century

Editors: Gabbay, Dov, Goncharov, Sergei, Zakharyaschev, Michael (Eds.)

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-0-387-69245-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $229.00
price for USA
  • ISBN 978-0-387-69244-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $159.00
price for USA
  • ISBN 978-1-4419-2408-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

Contributors include: Sergei Artemov, USA; John Case, USA; Sergei Goncharov, Russia, Judit X. Madarász, István Németi, and Gergely, Székely, Hungary, Anil Nerode, USA and Dimiter Vakarelov, Bulgaria.

Table of contents (6 chapters)

  • On Two Models of Provability

    Artemov, Sergei

    Pages 1-52

  • Directions for Computability Theory Beyond Pure Mathematical

    Case, John

    Pages 53-98

  • Computability and Computable Models

    Goncharov, Sergei S.

    Pages 99-216

  • First-Order Logic Foundation of Relativity Theories

    Madarász, Judit X. (et al.)

    Pages 217-252

  • Beyond Hybrid Systems

    Nerode, Anil

    Pages 253-266

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-0-387-69245-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $229.00
price for USA
  • ISBN 978-0-387-69244-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $159.00
price for USA
  • ISBN 978-1-4419-2408-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Problems from Applied Logic II
Book Subtitle
Logics for the XXIst Century
Editors
  • Dov Gabbay
  • Sergei Goncharov
  • Michael Zakharyaschev
Series Title
International Mathematical Series
Series Volume
5
Copyright
2007
Publisher
Springer-Verlag New York
Copyright Holder
Springer-Verlag New York
eBook ISBN
978-0-387-69245-6
DOI
10.1007/978-0-387-69245-6
Hardcover ISBN
978-0-387-69244-9
Softcover ISBN
978-1-4419-2408-7
Series ISSN
1571-5485
Edition Number
1
Number of Pages
XXX, 354
Topics