rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9780821850763

Methods and Applications of Mathematical Logic

by Carnielli, Walter A.; De Alcantara, Luiz Paulo
  • ISBN13:

    9780821850763

  • ISBN10:

    0821850768

  • Format: Paperback
  • Copyright: 1988-03-01
  • Publisher: Amer Mathematical Society

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $50.00 Save up to $12.50
  • Rent Book $37.50
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE
    USUALLY SHIPS IN 3-5 BUSINESS DAYS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

How To: Textbook Rental

Looking to rent a book? Rent Methods and Applications of Mathematical Logic [ISBN: 9780821850763] for the semester, quarter, and short term or search our site for other textbooks by Carnielli, Walter A.; De Alcantara, Luiz Paulo. Renting a textbook can save you up to 90% from the cost of buying.

Table of Contents

The scientific work of A. I. Arruda
Foundations of set theory: Reflection properties induced by some large cardinal axioms
Taxonometric partitions
Diamonds, large cardinals, and ultrafilters
Algebraic logic: Constantes d'une algebre monadique libre sur une algebre de Boole et automorphismes, preeservant une partie generatrice de celle-ci
Ordered structures in the description of quantum systems: mathematical progress
Philosophical aspects of mathematical logic: Infinities in mathematics and the natural sciences
The 50th anniversary of Gentzen's thesis
Interactions between logic, mathematics, and computer science: Logics and pseudogroups
Sets of relational systems as models for stochastic processes
A general framework for semantics for propositional logics
Formal languages and topological spaces
Automatic theorem proving: an attempt to improve readability of proofs generated by resolution
The downward Lowenheim-Skolem theorem for L-structure in $\Omega$-sets
The derivative of truth in Lukasiewicz sentential calculus
Equivalence relations on lattices and the complexity of the theory of permutations which commute
Problem solving by interpretation of theories
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program