Skip to main content
Elsevier
View Cart

Elsevier Science

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 27
    • Lev D. Beklemishev
    • English

  • Logic Colloquium '77

    • 1st Edition
    • Volume 96
    • Lev D. Beklemishev
    • English

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 18
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 13
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • A Deductive Theory of Space and Time

    • 1st Edition
    • Volume 45
    • Lev D. Beklemishev
    • English

  • DNA Sequencing

    • 1st Edition
    • Volume 10
    • J. Hindley
    • English
    This volume provides a comprehensive description of the principles and methods used in DNA sequencing. Following a detailed introduction the chapters are: DNA sequencing; Chain terminator sequencing; Primed synthesis methods applied to DNA fragments cloned into phage M13; DNA sequencing by the Maxam-Gilbert chemical procedure; Computer methods for DNA sequencers; Appendices including contractions and special terms, cloning vectors, commercially available restriction endonucleases, and autoradiography.

  • SET THEORY

    • 1st Edition
    • Volume 53
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 4
    • Lev D. Beklemishev
    • English

  • Non-Classical Logics, Model Theory, And Computability

    • 1st Edition
    • Volume 89
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 7
    • Lev D. Beklemishev
    • English

Browse by Publisher