456 pages | Dec 12, 1997 |ISBN:0412808307 | PDF | 6 Mb

Book Description:

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them. Introduction to Mathematical Logic includes: · propositional logic · first-order logic · first-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarski · axiomatic set theory · theory of computability

Image Smith v1.1.4 | 5.2 Mb

Image Smith is a powerful batch image processing tool. With a variety of features you can easily scale, reorient, recolorize, convert, and flatten images. Image Smith can open numerous different picture file types, and output in the most common industry standard formats like JPEG, GIF, and PNG. Use the numerous predefined presets in Image Smith to scale or stretch images down to formats suitable for web banners, e-mailing photos, backups, and more! This is ideal for taking large photos from your camera, which may be upwards of five megabytes each, and scaling and converting them down to a manageable size of only a few hundred kilobytes.