Book Description
This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.
The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.
The package includes four pieces of software:
Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;
Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);
Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.
Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs will be available on both Windows and Macintosh OS. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value.
The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.
Customer Reviews:
This book sucks.......2007-09-28
I would just like to say that this book is the worst text book I've ever had to go through. Not necessarily the writers fault, it's the subject. It has absolutely no purpose and I actually feel dumber after having read/studied it. If you have any choice at all, do not take logic. Stay far far away from it.
Good service.......2007-08-23
The service was great and the time from purchase to reciept was fantastic. The only reason I did not give this a five (would really be more like a 4 3/4) is that the box was open at both ends with a note that if the box is opened then a return is not possible, which made me a little nervous. It all worked out, though, because the book and CD work great with no returns needed.
Superb coverage & pacing.......2007-02-22
I used this book in a distance learning course, so my experience was halfway between classroom and self-learning. There were moments when the instructor's very helpful remarks made a big difference by placing the immediate subject in a larger context or by giving me a hint for an especially tough proof. But the book itself is so well-paced that I'm convinced one can work one's way through it alone and get most of the benefit. The software is the key, because (if you get the latest edition and buy it new!) you have unlimited access to the Grade Grinder servers. No one need know how many typos or missteps you make in your proofs! Every problem can be solved, sooner or later, if you interact with the automatic grader. The writing style, level of editing, and succinctness of explanations are superb. I found the book plus its software quite a painless way to learn first-order logic.
The worst textbook experience of my life.......2006-10-23
This is the most frustrating piece of software I have ever encountered. The lack of help files was extremely frustrating when you were caught in a problem. The Grade Grinder was useless. It was not very intuitive and should only be used for computer science or mathematics courses.
Very much recommended.......2005-12-06
I originally hated both the book and the software. Now I find them both incredibly effective tools to learn the basics of first-order logic. The book and the software work together. I imagine it must be difficult to get a good grasp of the concepts introduced in the book without exercising them on the software. The software, particularly Boole, the program designed for proofs, does give you inmediate feedback on proofs - not the case when working with pen and paper. Yes, it takes a while to get used to it, but, in the end, the result is quite rewarding!
Average customer rating:
|
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Lawrence C. Paulson
Manufacturer: Cambridge University Press
ProductGroup: Book
Binding: Paperback
 Software Development
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
General
| Certification Central
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
Logic & Language
| Philosophy
| Nonfiction
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 0521395607 |
Book Description
Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.
Average customer rating:
|
On Proof for Existence of God, and Other Reflective Inquiries
Paul Vjecsner
Manufacturer: Penden
ProductGroup: Book
Binding: Hardcover
General
| Philosophy
| Nonfiction
| Subjects
| Books
Logic & Language
| Philosophy
| Nonfiction
| Subjects
| Books
Metaphysics
| Philosophy
| Nonfiction
| Subjects
| Books
Religious
| Philosophy
| Nonfiction
| Subjects
| Books
General
| Medicine
| Subjects
| Books
ASIN: 0961951907 |
Book Description
The book deals with traditional philosophical issues such as the existence of God and other questions of truth. The approach is one of common experience and reasoning guided by dependable rules of logic as they have been known in mathematics.
Book Description
This breakthrough book establishes deep connections between elementary particle theories such as the Standard Model and Superstring theories, and computer languages such as Assembly language, C, and C++ suitably extended. It also proves, for the first time, that the universe must be quantum in nature based on Godel¿s celebrated theorem (that there are statements in any non-trivial mathematical deductive system that cannot be proved or disproved.) Therefore all attempts at building a deterministic fundamental theory of physics (such as Bohm¿s theory) are unacceptable.
Customer Reviews:
Excellent and professional service.......2005-08-13
The book arrived promptly, and it was in excellent shape. I was very pleased with the professional service I received.
Average customer rating:
|
In Search of God: The Language and Logic of Belief (Philosophy)
Daniel Kolak
Manufacturer: Wadsworth Publishing
ProductGroup: Book
Binding: Paperback
General
| Philosophy
| Nonfiction
| Subjects
| Books
General
| Theology
| Christianity
| Religion & Spirituality
| Subjects
| Books
Devotionals
| Worship & Devotion
| Christianity
| Religion & Spirituality
| Subjects
| Books
General
| Religion & Spirituality
| Subjects
| Books
Devotionals
| Spirituality
| Religion & Spirituality
| Subjects
| Books
General
| Theology
| Religious Studies
| Religion & Spirituality
| Subjects
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Nonfiction
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Religion & Spirituality
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Similar Items:
-
Philosophy and Contemporary Issues, Ninth Edition
ASIN: 0534195369 |
Book Description
IN SEARCH OF GOD is the only book designed specifically to move students into a true philosophical position of unknowing, not just abstractly, but by using a hands-on, practical method the author has developed over many years of teaching. Thus, the book is designed not to present reason and argument for one side and then the other, so that students can then just make up their minds and then go cheer for their side, but to use reason and argument to guide students to a center from whose unprejudiced and open-minded vantage point they are ready to engage and do philosophy.
Book Description
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the occasion of his 60th birthday - include invited extended versions of the most interesting contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held in Gargnano, Italy, in March 2006.
Daniele Mundici is widely acknowledged as a leading scientist in many-valued logic and ordered algebraic structures. In the last decades, his work has unvelead profound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists attending the conference have contributed to this wide-ranging collection with papers all variously related to Daniele's work.
Average customer rating:
|
Axiomatising the Logic of Computer Programming (Lecture notes in computer science)
Robert Goldblatt
Manufacturer: Springer-Verlag
ProductGroup: Book
Binding: Paperback
Probability & Statistics
| Applied
| Mathematics
| Science
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
ASIN: 0387112103 |
Average customer rating:
|
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science)
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback
General
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Theory of Computing
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Computer Mathematics
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Automata
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
Logic
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
General
| Science
| Subjects
| Books
General
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Professional & Technical
| Amazon Upgrade
| Stores
| Books
Science
| Amazon Upgrade
| Stores
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Professional
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Science
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 3540633855 |
Book Description
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
Book Description
This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.
The 14 revised full papers presented together with 3 invited lectures were carefully selected from 31 initial submissions. The papers discuss formal approaches to test and analyze programs and monitor and guide their executions by using techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime verification use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc.
Average customer rating:
|
Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback
Software Development
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
UML
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
Testing
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
Logic
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
Information Systems
| Software Engineering
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Accessories:
-
Founders at Work: Stories of Startups' Early Days
-
Use Case Driven Object Modeling with UML: Theory and Practice
-
Practical Subversion, Second Edition (Expert's Voice in Open Source)
ASIN: 354025109X |
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Formal Approaches to Software Testing, FATES 2004, held in Linz, Austria in September 2004.
The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvement; they are organized in topical sections on symbolic test generation, testing non-functional properties, test development with model checking techniques, and test optimization.
Average customer rating:
- Outstanding Textbook on Air Toxics
|
Principles of Air Quality Management
Roger D. Griffin
Manufacturer: CRC
ProductGroup: Book
Binding: Hardcover
Social Services & Welfare
| Poverty
| Current Events
| Nonfiction
| Subjects
| Books
Environmental Science
| Earth Sciences
| Science
| Subjects
| Books
General
| Environmental
| Civil
| Engineering
| Professional & Technical
| Subjects
| Books
Air
| Pollution
| Environmental
| Civil
| Engineering
| Professional & Technical
| Subjects
| Books
General
| Pollution
| Environmental
| Civil
| Engineering
| Professional & Technical
| Subjects
| Books
Environmental Science
| Earth Sciences
| Professional Science
| Professional & Technical
| Subjects
| Books
Conservation
| Environment
| Outdoors & Nature
| Subjects
| Books
General
| Conservation
| Outdoors & Nature
| Subjects
| Books
Reference
| Outdoors & Nature
| Subjects
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Nonfiction
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Outdoors & Nature
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Professional
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Science
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 087371315X |
Book Description
Principles of Air Quality Management presents the fundamental principles that make up the broad field of air quality, pollution, and management. It is intended for those who have a general interest in the field, as well as those who have been involved in possibly only one or two of the specific aspects of air quality management. The book provides an understanding of the principles that govern our ability to manage air quality resources. It brings together in one volume current information on clean fuels, control technology, health effects, regulations, indoor air quality, global concerns, sources of criteria and hazardous air pollutants, atmospheric dispersion and modeling, air quality standards, risk assessments of air toxics, and trends. Beginning with the make-up of air and definitions of air and air pollution, this book outlines the history of air quality management, discussing emissions, standards, classifications of pollutants, and the production of secondary air pollution or photochemical smog.The discussion continues with the health effects of air pollutants and those that are considered toxic or hazardous, and the effects of those contaminants on the human body. Air pollutant damage to materials and vegetation, the standards of acceptable air quality from a health impacts outlook, and the techniques for measuring air quality are also reviewed.Air contaminant sources are approached from anthropogenic, geogenic, and biogenic viewpoints. From local, regional, and global perspectives, the book examines how contaminants are dispersed between sources and receptors. From these studies, an evaluation is made of the different models used to calculate dispersion and of the models used to predict ambient air quality. Federal laws and regulations, as well as regional perspectives, are summarized and evaluated. Control technologies available for both stationary sources and mobile sources are reviewed. From these sources, management options for limiting emissions and optimizing air pollutant strategies are analyzed. Also included is the latest data from the Auto/Oil Program on the impact of fuel reformulation on engine tailpipe emissions, the conclusions of the MECCA group on global warming, the findings of the California Healthy Building Pilot Study on indoor air quality, and the requirements for federal permits under the Clean Air Act Amendments. Global air quality concerns, relative global emissions, and alternative views are evaluated from a management options perspective. The book concludes with a presentation of indoor air quality and future trends in air quality management approaches, as well as their limitations.
Customer Reviews:
Outstanding Textbook on Air Toxics.......1997-11-03
His background and experience make Mr. Griffin's books one of the best. His research makes it an enjoyable reading. It is full of pertinent facts regarding air toxics.
Average customer rating:
|
Principles of Air Quality Management, Second Edition
Roger D. Griffin
Manufacturer: CRC
ProductGroup: Book
Binding: Hardcover
Environmental & Natural Resources Law
| Law
| Subjects
| Books
Environmental Science
| Earth Sciences
| Science
| Subjects
| Books
Conservation
| Environment
| Outdoors & Nature
| Subjects
| Books
General
| Conservation
| Outdoors & Nature
| Subjects
| Books
Reference
| Outdoors & Nature
| Subjects
| Books
Air
| Pollution
| Environmental
| Civil
| Engineering
| Professional & Technical
| Subjects
| Books
Environmental Science
| Earth Sciences
| Professional Science
| Professional & Technical
| Subjects
| Books
Environmental & Natural Resources Law
| Law
| Professional & Technical
| Subjects
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 084937099X |
Book Description
Blending information from popular mainstream articles, highly technical publications, and research journals, the second edition of Principles of Air Quality Management features new sections on air toxics, new information on chronic and acute health effects, and new approaches to the assessment of those impacts on sensitive populations. It emphasizes toxic air pollutants and alternative approaches to management of air quality in local environments. The book explains how primary pollutants form in industrial and mobile combustion processes and the latest on how they are controlled. It also presents in-depth information on the meteorology of atmospheric transport and explains how secondary photochemical pollutants form in ambient air.
Book Description
This digital document is an article from Journal of the Air & Waste Management Association, published by Air and Waste Management Association on April 1, 2005. The length of the article is 9607 words. The page length shown above is based on a typical 300-word page. The article is delivered in HTML format and is available in your Amazon.com Digital Locker immediately after purchase. You can view it with any web browser.
Citation Details
Title: Methylmercury, fish consumption, and the precautionary principle.(TECHNICAL PAPER)
Author: Fred Lipfert
Publication:
Journal of the Air & Waste Management Association (Refereed)
Date: April 1, 2005
Publisher: Air and Waste Management Association
Volume: 55
Issue: 4
Page: 388(11)
Distributed by Thomson Gale
Book Description
This digital document is an article from Multinational Monitor, published by Essential Information, Inc. on September 1, 2004. The length of the article is 3040 words. The page length shown above is based on a typical 300-word page. The article is delivered in HTML format and is available in your Amazon.com Digital Locker immediately after purchase. You can view it with any web browser.
Citation Details
Title: Precautionary precepts: the power and potential of the Precautionary Principle.(Interview)(Interview)
Publication:
Multinational Monitor (Refereed)
Date: September 1, 2004
Publisher: Essential Information, Inc.
Volume: 25
Issue: 9
Page: 26(4)
Article Type: Interview
Distributed by Thomson Gale
Average customer rating:
|
REACH and the long arm of the chemical industry.(The Precautionary Principle): An article from: Multinational Monitor
Joseph DiGangi
Manufacturer: Essential Information, Inc.
ProductGroup: Book
Binding: Digital
Nonfiction
| Subjects
| Books
| Audiobooks
| Automotive
| Books on CD
| Books on Cassette
| Crime & Criminals
| Current Events
| Economics
| Education
| Foreign Language Nonfiction
| Government
| Holidays
| Law
| Philosophy
| Politics
| Social Sciences
| Transportation
| True Accounts
| Urban Planning & Development
| Women's Studies
General
| Business & Investing
| Subjects
| Books
Management
| Management & Leadership
| Business & Investing
| Subjects
| Books
Management
| Business & Investing
| Subjects
| e-Docs
| Formats
| Books
General
| Business & Investing
| HTML
| Formats
| e-Docs
| Formats
| Books
Management
| Business & Investing
| HTML
| Formats
| e-Docs
| Formats
| Books
General
| Nonfiction
| HTML
| Formats
| e-Docs
| Formats
| Books
ASIN: B00084LZZW
Release Date: 2005-08-01 |
Book Description
This digital document is an article from Multinational Monitor, published by Essential Information, Inc. on September 1, 2004. The length of the article is 4145 words. The page length shown above is based on a typical 300-word page. The article is delivered in HTML format and is available in your Amazon.com Digital Locker immediately after purchase. You can view it with any web browser.
Citation Details
Title: REACH and the long arm of the chemical industry.(The Precautionary Principle)
Author: Joseph DiGangi
Publication:
Multinational Monitor (Refereed)
Date: September 1, 2004
Publisher: Essential Information, Inc.
Volume: 25
Issue: 9
Page: 20(6)
Distributed by Thomson Gale
Book Description
This digital document is an article from Multinational Monitor, published by Essential Information, Inc. on September 1, 2004. The length of the article is 5581 words. The page length shown above is based on a typical 300-word page. The article is delivered in HTML format and is available in your Amazon.com Digital Locker immediately after purchase. You can view it with any web browser.
Citation Details
Title: The rise of the precautionary principle: a social movement gathers strength.(The Precautionary Principle)
Author: Nancy Myers
Publication:
Multinational Monitor (Refereed)
Date: September 1, 2004
Publisher: Essential Information, Inc.
Volume: 25
Issue: 9
Page: 9(7)
Distributed by Thomson Gale
Book Description
This digital document is an article from Vanderbilt Journal of Transnational Law, published by Vanderbilt University, School of Law on March 1, 2005. The length of the article is 13153 words. The page length shown above is based on a typical 300-word page. The article is delivered in HTML format and is available in your Amazon.com Digital Locker immediately after purchase. You can view it with any web browser.
Citation Details
Title: Why environmental liability regimes in the United States, the European Community, and Japan have grown synonymous with the polluter pays principle.
Author: Eric Thomas Larson
Publication:
Vanderbilt Journal of Transnational Law (Magazine/Journal)
Date: March 1, 2005
Publisher: Vanderbilt University, School of Law
Volume: 38
Issue: 2
Page: 541(35)
Distributed by Thomson Gale
Average customer rating:
|
Developing Local Air Quality Action Plans and Strategies: The Principle Considerations (Local Air Quality Management: LAQM.G2(97)) (Local Air Quality Management)
Manufacturer: The Stationery Office Books (Agencies)
ProductGroup: Book
Binding: Paperback
Social Services & Welfare
| Poverty
| Current Events
| Nonfiction
| Subjects
| Books
Environmental & Natural Resources Law
| Law
| Subjects
| Books
English Law
| Law
| Subjects
| Books
| Business
| Citizenship
| Civil
| Commercial
| Courts & Procedures
| Criminal
| Employment
| Financial
| General
| Landlord & Tenant
| Law of Evidence
| Reports
| Social Security & Welfare
| Statutes, Cases & Law Reports
| Tort
| Transport
| Wills & Probate
Safety & Health
| Technology
| Science
| Subjects
| Books
Air
| Pollution
| Environmental
| Civil
| Engineering
| Professional & Technical
| Subjects
| Books
Applied Atmospheric Sciences
| Special Topics
| Engineering
| Professional & Technical
| Subjects
| Books
ASIN: 0117534250 |
Books:
- Living and Working in Britain, Fifth Edition: A Survival Handbook (Living & Working in Britain)
- Lost Genius: The Story of a Forgotten Musical Maverick
- Management Policies In Local Government Finance (Municipal Management Series)
- Messianism, Zionism, and Jewish Religious Radicalism (Chicago Studies in the History of Judaism)
- Microcosmos
- Modern Clan Politics: The Power Of "Blood" In Kazakhstan and Beyond
- Organic Chemistry Laboratory: Standard and Microscale Experiments
- Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition
- Our Media, Not Theirs: The Democratic Struggle Against Corporate Media (Open Media Series)
- Paradise in Ashes: A Guatemalan Journey of Courage, Terror, and Hope (California Series in Public Anthropology)
Books Index
Books Home
Recommended Books
- The Final Days: The Last, Desperate Abuses of Power by the Clinton White House
- Marijuana Horticulture: The Indoor/Outdoor Medical Grower's Bible
- How To Kill A Monster
- Hidden Cancun & the Yucatan: Including Cozumel, Tulum, Chichen Itza, Uxmal, and Merida
- How to Succeed in the Game of Life: 34 Interviews with the World's Greatest Coaches
- Neurotica: Jewish Writers on Sex
- How to Succeed in the Game of Life: 34 Interviews with the World's Greatest Coaches
- Lotus Notes 6.5: Basic
- Common cents: A basic approach to resource management
- The Sultan's Seal: A Novel
Introduction to Logic
Mathematical Introduction To Logic
Logic in Computer Science: Modelling and Reasoning about Systems
Philosophy of Mind (Dimensions of Philosophy)
The Philosophy of Language
