Freeware and shareware programms

Some music

Natural acne treatment for naturally clear skin
Pure Mathematics

Algebra
Calculus
Combinatorics
Discrete Mathematics
Finite Mathematics
Fractals
Functional Analysis
Group Theory
Logic
Number Theory
Predicate & Propositional Calculus
Set Theory

Machinery Component Maintenance and Repair

Machinery Component
From Book News, Inc.
This revised edition of Volume 3 of Practical machinery management for process plants (first edition, 1985) is a guide for process engineers concerned with machinery and component installation, maintenance, and repair. New information is provided on pump baseplate installation and grouting, repair and maintenance of mechanical seals, metal stitching, and managing rotor repairs at outside shops. Additional illustrations and photos aid the engineer in visua... >>

Beginning Logic

Beginning Logic
Book Description
The aim of this book is to provide an exposition of elementary formal logic. The course, which is primarily intended for first-year students who have no previous knowledge of the subject, forms a working basis for more advanced reading and is presented in such a way as to be intelligible to the layman. The nature of logic is examined with the gradual introduction of worked samples showing how to distinguish the sound statement from the unsound. Arguments whose sound... >>

Mathematical Logic for Computer Science

Mathematical Logic f
From Book News, Inc.
A textbook for undergraduate students of computer science, explaining mathematical logic as it is used in computer science, rather than, like most texts and courses, as it relates to higher mathematics. Assumes a year or two of basic computer science, but no mathematics beyond set theory, which is outlined in an appendix. Annotation copyright Book News, Inc. Portland, Or.--This text refers to an out of print or unavailable edition of this title.
>

Predicate & Propositional Calculus

 
Price
1 Machinery Component Maintenance and Repair $99.95
2 Beginning Logic $6.25
3 Mathematical Logic for Computer Science $37.57
4 Satisfiability Problem: Theory and Applications (Dimacs Series in Discrete Mathematics and Theoretical Computer Science) $283.05
5 Elements of Deductive Inference: An Introduction to Symbolic Logic $28.97
6 Propositional and Predicate Calculus: A Model of Argument $49.95
7 Predicate Calculus and Program Semantics (Texts and Monographs in Computer Science) $60.00
8 Worlds, Times and Selves $47.25
9 Technical Methods in Philosophy (Focus Series) $12.95
10 SAT2000: Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications, V. 63) $108.89