Elsevier Science

Logic in Algebraic Form
1st Edition
Volume 72
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 14
Lev D. Beklemishev
English
Logic Colloquium '77
1st Edition
Volume 96
Lev D. Beklemishev
English
Introduction to Global Variational Geometry
1st Edition
Volume 23
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
Provability, Computability and Reflection
1st Edition
Volume 32
Lev D. Beklemishev
English
Foundational Studies Selected Works
1st Edition
Volume 93A
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 20
Lev D. Beklemishev
English
Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.
Contributions to Non-Standard Analysis
1st Edition
Volume 69
Lev D. Beklemishev
English
Formal Systems and Recursive Functions
1st Edition
Volume 40
Lev D. Beklemishev
English
Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities
1st Edition
Volume 59
Lev D. Beklemishev
English

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Elsevier Science

Logic in Algebraic Form

Provability, Computability and Reflection

Logic Colloquium '77

Introduction to Global Variational Geometry

Provability, Computability and Reflection

Foundational Studies Selected Works

Provability, Computability and Reflection

Contributions to Non-Standard Analysis

Formal Systems and Recursive Functions

Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities

Browse by Publisher