Skip to main content
View Cart

Books in Physical sciences and engineering

  • Algebra of Proofs

    • 1st Edition
    • M. E. Szabo
    • K. J. Barwise + 2 more
    • English
    Algebra of Proofs deals with algebraic properties of the proof theory of intuitionist first-order logic in a categorical setting. The presentation is based on the confluence of ideas and techniques from proof theory, category theory, and combinatory logic. The conceptual basis for the text is the Lindenbaum-Tarski algebras of formulas taken as categories. The formal proofs of the associated deductive systems determine structured categories as their canonical algebras (which are of the same type as the Lindenbaum-Tarski algebras of the formulas of underlying languages). Gentzen's theorem, which asserts that provable formulas code their own proofs, links the algebras of formulas and the corresponding algebras of formal proofs. The book utilizes the Gentzen's theorem and the reducibility relations with the Church-Rosser property as syntactic tools. The text explains two main types of theories with varying linguistic complexity and deductive strength: the monoidal type and the Cartesian type. It also shows that quantifiers fit smoothly into the calculus of adjoints and describe the topos-theoretical setting in which the proof theory of intuitionist first-order logic possesses a natural semantics. The text can benefit mathematicians, students, or professors of algebra and advanced mathematics.

  • Vistas in Astronomy

    Solar-Terrestrial Relations, Geophysics, Planetary System, Stellar Astronomy, Photometry, Spectroscopy, Spectral Peculiarities and Novae, Galaxies, Cosmogony and Cosmology
    • 1st Edition
    • Arthur Beer
    • English
    Vistas in Astronomy, Volume 2 covers the spectacular and interesting developments in the field of astronomy. This volume is organized into six parts encompassing 59 chapters that specifically explore solar-terrestrial relations, geophysics, planetary system, stellar astronomy, photometry, and spectroscopy. The first part deals with the events in the ionosphere, the absorption of radio waves in the ionosphere, solar flares, and cosmic rays. The second part reviews the geophysical aspects of astronomy, particularly Earth's atmosphere, the ozone layer, and the morphology of geomagnetic storms and bays. The third part examines the status of planetary system research concerning the minor planets, comets, and meteors, while the fourth part highlights research works on stars. The last two parts are devoted to the application of photometry and spectroscopy in delineating certain aspects of astronomy, including galactic cluster, eclipse, and stellar temperatures and luminosity. This book will be of value to astronomers, astrophysicists, geophysicists, and workers and researchers in the allied fields.

  • Elementary Theory

    Fundamentals of the Theory of Operator Algebras
    • 1st Edition
    • Richard V. Kadison + 1 more
    • Samuel Eilenberg + 1 more
    • English
    Fundamentals of the Theory of Operator Algebras, Volume I: Elementary Theory provides information pertinent to the fundamental aspects of the theory of operator algebras. This book discusses the finite-dimensional linear algebra. Organized into five chapters, this volume begins with an overview of the fundamental aspects of linear functional analysis that are needed in the study of operator algebras. This text then discusses the continuous linear operators, continuous linear functionals, weak topologies, and convexity in the context of linear topological spaces. Other chapters consider the elementary geometry of Hilbertspaces and the simplest properties of Hilbert space operators. This book discusses as well algebras that have a Banach-space structure relative to which the multiplication is continuous. The final chapter deals with those C*-algebras that are strong-operator closed in their action on some Hilbert space, which play a fundamental role in the subject. This book is a valuable resource for mathematicians.

  • Alicyclic Compounds

    A Modern Comprehensive Treatise
    • 2nd Edition
    • M. F. Ansell
    • English
    Supplements to the Second Edition of Rodd’s Chemistry of Carbon Compounds, Volume II: Alicyclic Compounds: Part C: Polycarbocyclic Compounds, Excluding Steroids covers the classification, natural products, and biogenesis of polycarbocyclic compounds. This book is divided into 11 chapters. Considerable chapters are devoted to the classification and nomenclature of polycarbocyclic compounds, including bicyclic monoterpenoids, sesquiterpenoids, diterpenoids, sesterterpenoids, and triterpenoids. Other chapters deal with the classification and nomenclature of selective steroids, such as steroids, bile acids, sex hormones, saponins, and sapogenins. The concluding chapter highlights the biogenesis of terpenes and sterols. This book is an ideal source for organic chemists and researchers.

  • Atmosphere—Ocean Dynamics

    • 1st Edition
    • Adrian E. Gill
    • William L. Donn
    • English
    Atmosphere-Ocean Dynamics deals with a systematic and unified approach to the dynamics of the ocean and atmosphere. The book reviews the relationship of the ocean-atmosphere and how this system functions. The text explains this system through radiative equilibrium models; the book also considers the greenhouse effect, the effects of convection and of horizontal gradients, and the variability in radiative driving of the earth. Equations in the book show the properties of a material element, mass conservation, the balance of scalar quantity (such as salinity), and the mathematical behavior of the ocean and atmosphere. The book also addresses how the ocean-atmosphere system tends to adjust to equilibrium, both in the absence and presence of driving forces such as gravity. The text also explains the effect of the earth's rotation on the system, as well as the application of forced motions such as that produced by wind or temperature changes. The book explains tropical dynamics and the effects of variation of the Coriolis parameter with latitude. The text will be appreciated by meteorologists, environmentalists, students studying hydrology, and people working in general earth sciences.

  • Mechanics of Deformable Bodies

    Lectures on Theoretical Physics, Vol. 2
    • 1st Edition
    • Arnold Sommerfeld
    • English
    Mechanics of Deformable Bodies: Lectures on Theoretical Physics, Volume II covers topics on the mechanics of deformable bodies. The book discusses the kinematics, statics, and dynamics of deformable bodies; the vortex theory; as well as the theory of waves. The test also describes flow with given boundaries. Supplementary notes on selected hydrodynamic problems, as well as supplements to the theory of elasticity are also provided. Physicists, mathematicians, and students taking related courses will find the book invaluable.

  • Purines, Pyrimidines and Nucleotides and the Chemistry of Nucleic Acids

    • 1st Edition
    • T. L. V. Ulbricht
    • Robert Robinson
    • English
    Purines, Pyrimidines and Nucleotides and the Chemistry of Nucleic Acids is a five-chapter text that presents a simple introduction to the basic chemistry of purines and pyrimidines and their derivatives. The opening chapters describe the general properties, reactions, and synthesis of purines and pyrimidines. The next chapter deals with the structure, synthesis, mechanism, and stereochemistry of nucleosides and their analogues. These topics are followed by a discussion on the reactions and biosynthesis of nucleotides. The final chapter focuses on the structure and biosynthesis of DNA, RNA, and other nucleic acids. This book is of value to organic chemists and biochemists, as well as researchers in the allied fields.

  • Surface & Coatings Technology

    Volume 27-29
    • 1st Edition
    • J. P. G. Farr + 1 more
    • English
    Surface & Coatings Technology represents the start of a new era for the journal, not only with the change in title to Surface and Coatings Technology, but also with the significant change in the journal's scope, which is intended to place it in the forefront of the coatings and surface modification field. This presents volume contains 100 contributions. It is intended to become the principal forum for the interchange of information on the science, technology, and application of coatings and modified surfaces as they relate to modification of the mechanical, chemical, or optical properties of materials. The aim of the journal is to publish research papers and invited review articles on various subjects. A new feature will be the addition of a short section at the beginning of each issue in which each author states which technical problems are being addressed in his article. These will be catalogued at the end of each year in order that a scientist or engineer who has a particular problem related to coatings can determine whether there were any papers that addressed the problem. It is hoped that Surface and Coatings Technology will have a significant impact in one of the most exciting areas of materials research being investigated today.

  • Mechanics of Composite Materials

    Composite Materials, Vol. 2
    • 1st Edition
    • G. P. Sendeckyj
    • English
    Composite Materials, Volume 2: Mechanics of Composite Materials deals with the prediction of the deformation behavior and strength of composite materials. The book discusses the basic concepts in micromechanics, definition of effective moduli, and the influence of the number of fibers through-the-thicknes... within a single composite layer on the effective properties. The text also describes the exact moduli of anisotropie laminates; the elastic behavior of composites; and the viscoelastic behavior and analysis of composite materials. The elastoplastic behavior of composites, and the application of statistical theories for the determination of thermal, electrical, and magnetic properties of heterogeneous materials are also considered. The book further tackles the finite deformations of ideal fiber-reinforced composites; wave propagation and vibrations in directionally reinforced composites; and the phenomenological anisotropie failure criterion. The text also looks into the photoelastic investigation of composites. Civil engineers, mechanical engineers, aerospace engineers, and people involved in the study of non-metallic materials will find the book invaluable.

  • TAUP 91

    Proceedings of the Second International Workshop on Theoretical and Phenomenological Aspects of Underground Physics
    • 1st Edition
    • A. Morales + 2 more
    • English
    TAUP 91 covers the proceedings of the Second International Workshop on Theoretical and Phenomenological Aspects of Underground Physics, held in Toledo, Spain on September 9-13, 1991. The book focuses on the processes, methodologies, reactions, and transformations involved in underground physics. The selection first offers information on the fundamental issues in particle astrophysics and an overview of the problems related to general cosmology. Topics include connections between particle physics, astrophysics, and cosmology, stellar physics and particles, astrophysical ages, cosmic background radiation, and abundances of light elements. The text also takes a look at big bang nucleosynthesis constraints on new physics and microwave background radiation. The publication ponders on very wide band interferometric gravitational wave antenna and search for stellar gravitational collapse by macro. The text also examines high energy cosmic neutrinos of acceleration and non-acceleration origin; tests of general relativity and Newtonian gravity at large distances and the dark matter problem; and nuclear form factors for the scattering of neutralinos. The selection is a valuable reference for readers interested in underground physics.

Related subjects