Set Theory & Logic

PUBLISHED


Viewing: 1 - 10 of 71
Published:
August 26, 2014
Author(s):
Alexander B. Kharazishvili
This book addresses a number of questions in real analysis and classical measure theory that are of a set-theoretic flavor. Accessible to graduate students, the beginning of the book presents introductory topics on real analysis and Lebesque measure theory. These topics highlight the boundary 
Published:
August 20, 2014
Author(s):
Katalin Bimbo
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide 
Published:
March 21, 2014
Author(s):
John Taylor, Rowan Garnier
The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergraduate mathematics students often experience difficulties in understanding and constructing proofs. Understanding Mathematical Proof describes the 
Published:
February 06, 2014
Author(s):
Cyrus F. Nourani
This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a 
Published:
November 14, 2013
Author(s):
Alexandru Buium
Bridging the gap between procedural mathematics that emphasizes calculations and conceptual mathematics that focuses on ideas, Mathematics: A Minimal Introduction presents an undergraduate-level introduction to pure mathematics and basic concepts of logic. The author builds logic and mathematics 
Published:
October 24, 2013
Author(s):
Gennaro Auletta
The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be 
Published:
October 29, 2012
Author(s):
Edna E. Reiter, Clayton Matthew Johnson
Limits of Computation: An Introduction to the Undecidable and the Intractable offers a gentle introduction to the theory of computational complexity. It explains the difficulties of computation, addressing problems that have no algorithm at all and problems that cannot be solved efficiently. The 
Published:
October 16, 2012
Editor(s):
Jiacun Wang
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a 
Published:
March 19, 2012
Author(s):
Steven G. Krantz
For many years, this classroom-tested, best-selling text has guided mathematics students to more advanced studies in topology, abstract algebra, and real analysis. Elements of Advanced Mathematics, Third Edition retains the content and character of previous editions while making the material more 
Published:
December 13, 2011
Author(s):
Martin Davis
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and 

News and Notes

Join the Conversation!
Online Bestsellers:

New Textbook! Taking an applied mathematics approach, An Introduction to Exotic Option Pricing illustrates how to use straightforward techniques to price a wide range of exotic options within the Black–Scholes framework. These methods can even be used as control variates in a Monte Carlo simulation of a stochastic volatility model.

Celebrate the life of Alan Turing with us by checking out this new book: The Universal Computer: The Road from Leibniz to Turing. Alan Turing Year 2012 marks the scientific contributions of this pioneer on the 100th anniversary of his birth on June 23, 1912. Turing’s influence on computer science, artificial intelligence, and developmental biology, along with his important work on code-breaking during the Second World War paved the way for a host of future discoveries and innovations.

Look for us at Gathering for Gardner 2012 March 28 through April 1 in Atlanta, Georgia.

Praise for You Can Count on Monsters

National Public Radio's Math Guy Keith Devlin calls this book "one of the most amazing math books for kids I have ever seen..."

Learn more about Monsters...

T & F Journals
Did you know that you can access sample editions and free articles from the home pages of most Taylor & Francis Journals?

International Journal of Mathematical Education in Science and Technology

Communications in Algebra

Free Access to Top Highly Cited Articles!

________________

Looking for a Complete Online Reference Library on Mathematics?

 

Our award-winning CRCnetBASE collections provide online access to full libraries of subject-specific handbooks and references:


Do You Have an Idea for a Math Book or Series? Contact our Editorial Department.

 

Follow Chapman & Hall / CRC

Chapman & Hall / CRC Mathematics & Statistics Page

Chapman & Hall / CRC Mathematics & Statistics Group

Stay Connected!

Sign up to receive CRC Press' First Look eAlerts, special discounts and promotions!

Like us on Facebook, join our LinkedIn Group, or follow us on Twitter.

Textbooks
Other CRC Press Sites
Featured Authors
STAY CONNECTED
Facebook Page for CRC Press Twitter Page for CRC Press You Tube Channel for CRC Press LinkedIn Page for CRC Press Google Plus Page for CRC Press Pinterest Page for CRC Press
Sign Up for Email Alerts
© 2014 Taylor & Francis Group, LLC. All Rights Reserved. Privacy Policy | Cookie Use | Shipping Policy | Contact Us