Perfume and Flavor Materials of Natural Origin, first published in 1960, is the classic, authoritative reference for a vast array of natural products used in perfumes, scents, f...
Prairie Plants of Illinois is an easy-to-use guide for identifying over 100 of the most common grasses, wildflowers, and shrubs found on the prairies of Illinois and in the surr...
Northeast Ferns, Second Edition, is a full-color field guide to the ferns and lycophytes (fern relatives) found in the northeastern United States. Included are keys, description...
Tree Crops: A Permanent Agriculture, first published in 1929 and last updated in 1953 (and the edition reprinted here) is a classic, pioneering look at the use of trees for food, soil conservati...
Elementary Logic with Applications is written for undergraduate logic and logic
programming courses. Logic has been applied to a wide variety of subjects such
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.’’ Where there was no shortcut ...
The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nels...
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, ...
The development of new and improved proof systems, proof formats and
proof search methods is one of the most essential goals of Logic. But
what is a proof? What makes a proof better than another? H...
Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This emer...
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy ...
This book presents an overview of the development of the
Axiom of Choice since its introduction by Zermelo at the
beginning of the last century. The book surveys the Axiom of
Choice from three pers...
Set theory, initially built on the Cantorian extension of number into the infinite and the Zermelian axiomatization affirming a foundation for mathematics, is today a rich and soph...
This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as ...
Mathematics originates with intuition. But intuition alone can only go so far and formalism develops to handle the more difficult problems. Formalism, however, has its inherent dangers. There are ...