Elsevier bv jun 2007 (4 résultats)
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 225,00
EUR 30,50 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. Neuware - The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic l…ogic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics. As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples. We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones. Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric. Considers both the algebraic and logical perspective within a common framework Written by experts in the area Easily accessible to graduate students and researchers from other fields Results summarized in tables and diagrams to provide an overview of the area Useful as a textbook for a course in algebraic logic, with exercises and suggested research directions Provides a.
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 248,00
EUR 41,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. Neuware - Volume 3 of this series of the Handbooks in Economics follows on from the previous two volumes by focusing on the fundamental concepts of agricultural economics. The first part of the volume examines the developments in human resources and technology mastery. The second part follows on by considering…the processes and impact of invention and innovation in this field. The effects of market forces are examined in the third part, and the volume concludes by analysing the economics of our changing natural resources, including the past effects of climate change.Overall this volume forms a comprehensive and accessible survey of the field of agricultural economics and is recommended reading for anyone with an interest, either academic or professional, in this area.
Langue : anglais
Edité par Elsevier BV Jun 2007, 2007
Série : Livre 10 sur 57 - Comprehensive Analytical Chemistry
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 382,00
EUR 65,11 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. Neuware - Monitoring pollutants in air, soil and water is a routine requirement in the workplace, and in the wider environment. Passive samplers can provide a representative picture of levels of pollutants over a period of time from days to months by measuring the average concentrations to which they have been…exposed. Air monitors are widely used, for instance to measure the exposure of workers to volatile compounds, but also for monitoring the fate of pollutants in the atmosphere. Passive sampling devices are now becomining increasingly used to monitor pollutants in rivers, coastal waters and ground water where contamination results from sources such as domestic and industrial discharges, and the use of agrochemicals. Passive Sampling Techniques in Environmental Monitoring provides a timely collection of information on a set of techniques that help monitor the quality of air, surface and ground waters. Passive sampling can provide an inexpensive means of obtaining a representative picture of quality over a period of time, even where levels of pollutants fluctuate due to discontinuous discharges or seasonal application of chemicals such as pesticides. Recent changes in legislation have increased the pressure to obtain better information than that provided by classical infrequent spot sampling.Brought together in one source, this book looks at the performance of a range of devices for the passive sampling of metals, and of non-polar and polar organic chemicals in air and in water. The strengths and weaknesses and the range of applicability of the technology are considered.
- Couverture rigide
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 165,00
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a philosophically informed and mathematically rigorous introduction to the 'standard model' of particle physics. The standard model is the currently accepted and experimentally verified model of all the particles and interac…tions in our universe. All the elementary particles in our universe, and all the non-gravitational interactions -the strong nuclear force, the weak nuclear force, and the electromagnetic force - are collected together and, in the case of the weak and electromagnetic forces, unified in the standard model. Rather than presenting the calculational recipes favored in most treatments of the standard model, this text focuses upon the elegant mathematical structures and the foundational concepts of the standard model. 264 pp. Englisch.
