Subscribe: Blackwell Online - Books : Mathematics : Logic
http://bookshop.blackwell.co.uk/rss/uk/MAT018000.xml
Added By: Feedage Forager Feedage Grade B rated
Language: English
Tags:
berlin heidelberg  book  fuzzy logic  fuzzy  hardback  heidelberg gmbh  logic  paperback  pound  springer verlag  theory  verlag berlin 
Rate this Feed
Rate this feedRate this feedRate this feedRate this feedRate this feed
Rate this feed 1 starRate this feed 2 starRate this feed 3 starRate this feed 4 starRate this feed 5 star

Comments (0)

Feed Details and Statistics Feed Statistics
Preview: Blackwell Online - Books : Mathematics : Logic

Blackwell Online - Books : Science and Technical : Mathematics and Statistics : Logic



The Knowledge Retailer - This feed will update daily with new publications.



Copyright: Copyright 2015, Blackwell UK Ltd.
 



Universal Algebraic Logic

01 Jun 2011 00:00:00 GMT

(image) Dedicated to the Unity of Science

By Hajnal Andreka, Istvan Nemeti, Ildiko Sain

£53.99   01 Jun 2011   Paperback   Birkhauser Verlag AG

Connects logic with algebra. This book covers universal logic and the question of what logic is as well as universal algebraic logic and duality theories between the world of logics and the world of algebra. It also discusses algebraic logic including algebras of relations of various ranks, Tarski's cylindric algebras, and relation algebras.





One Equals Zero and Other Mathematical Surprises

01 Dec 2010 00:00:00 GMT

(image) Paradoxes, Fallacies and Mind Booglers

By Nitsa Movshovitz-Hadar, John Webb

£12.50   01 Dec 2010   Paperback   Key Curriculum Press

Paradoxes and Problems to Intrigue Your Students One equals zero! Every number is greater than itself! All triangles are isosceles! Surprised? Welcome to the world of One Equals Zero and Other Mathematical Surprises. In this book of blackline activity masters, all men are bald, mistakes are lucky, and teachers can never spring surprise tests on their students! The paradoxes and problems in each One Equals Zero activity will perplex your students, arouse their curiosity, and challenge their intellect. Each counterintuitive result, false analogy, and answer that defies expectation will encourage students to look at familiar mathematical situations in a new light. By solving the paradoxes, your students will come to better understand both the possibilities and the limitations of mathematics.





Kurt Godel

01 Jul 2010 00:00:00 GMT

(image) Essays for His Centennial

By Solomon Feferman, Charles Parsons, Stephen G. Simpson

£55.00   01 Jul 2010   Hardback   Cambridge University Press

Papers examining aspects of Godel's work gathered from a symposium celebrating Godel's centennial and papers from a 2004 ASL symposium.





Logic Colloquium 2007

30 Jun 2010 00:00:00 GMT

(image) By Francoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan

£60.00   30 Jun 2010   Hardback   Cambridge University Press

The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.





Fuzzy Logic with Engineering Applications

30 Jun 2010 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   30 Jun 2010   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Fuzzy Logic

28 Jun 2010 00:00:00 GMT

(image) Theory, Programming and Applications

By Raymond E. Vargas

£107.50   28 Jun 2010   Hardback   Nova Science Publishers Inc

Fuzzy logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. This book covers the research in this field.





Recursive Analysis

25 Jun 2010 00:00:00 GMT

(image) By R L Goodstein

£10.99   25 Jun 2010   Paperback   Dover Publications Inc.





Category Theory

17 Jun 2010 00:00:00 GMT

(image) By Steve Awodey

£65.00   17 Jun 2010   Hardback   Oxford University Press

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.





Category Theory

17 Jun 2010 00:00:00 GMT

(image) By Steve Awodey

£29.95   17 Jun 2010   Paperback   Oxford University Press

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.





Logic: A History of Its Central Concepts

16 Jun 2010 00:00:00 GMT

(image) By Dov M. Gabbay (King's College London), John Woods

£120.00   16 Jun 2010   Hardback   Elsevier Science & Technology





Structural Ramsey Theory of Metric Spaces and Topological Dynamics of

15 Jun 2010 00:00:00 GMT

(image) By L. Nguyen Van The

£60.50   15 Jun 2010   Paperback   American Mathematical Society





Theories of Computability

10 Jun 2010 00:00:00 GMT

(image) By Nicholas Pippenger

£19.99   10 Jun 2010   Paperback   Cambridge University Press

A mathematically sophisticated introduction to Turing's theory, Boolean functions, automata, and formal languages.





Category Theory

10 Jun 2010 00:00:00 GMT

(image) By Steve Awodey

£65.00   10 Jun 2010   Hardback   Oxford University Press

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.





Category Theory

10 Jun 2010 00:00:00 GMT

(image) By Steve Awodey

£29.95   10 Jun 2010   Paperback   Oxford University Press

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.





Fuzzy Logic with Engineering Applications

02 Jun 2010 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   02 Jun 2010   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Kurt Godel

01 Jun 2010 00:00:00 GMT

(image) Essays for His Centennial

By Solomon Feferman, Charles Parsons, Stephen G. Simpson

£55.00   01 Jun 2010   Hardback   Cambridge University Press

Papers examining aspects of Godel's work gathered from a symposium celebrating Godel's centennial and papers from a 2004 ASL symposium.





In Defence of Objective Bayesianism

13 May 2010 00:00:00 GMT

(image) By Jon Williamson

£44.95   13 May 2010   Hardback   Oxford University Press

Objective Bayesianism is a methodological theory that is currently applied in statistics, philosophy, artificial intelligence, physics and other sciences. This book develops the formal and philosophical foundations of the theory, at a level accessible to a graduate student with some familiarity with mathematical notation.





Fuzzy Logic with Engineering Applications

05 May 2010 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   05 May 2010   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Model Theory and Applications

01 May 2010 00:00:00 GMT

(image) £17.99   01 May 2010   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Aspects of Mathematical Logic

01 May 2010 00:00:00 GMT

(image) £31.99   01 May 2010   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Recursion Theory and Computational Complexity

01 May 2010 00:00:00 GMT

(image) £31.99   01 May 2010   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Series Expansion Methods for Strongly Interacting Lattice Models

15 Apr 2010 00:00:00 GMT

(image) By Jaan Oitmaa, Chris Hamer, Weihong Zheng

£24.99   15 Apr 2010   Paperback   Cambridge University Press

A comprehensive guide to series expansion methods for lattice models in theoretical physics.





Model Theory, Algebra, and Geometry

15 Apr 2010 00:00:00 GMT

(image) By Deirdre Haskell, Anand Pillay, Charles Steinhorn

£14.99   15 Apr 2010   Paperback   Cambridge University Press

Leading experts survey the connections between model theory and semialgebraic, subanalytic, p-adic, rigid and diophantine geometry.





Fuzzy Logic with Engineering Applications

07 Apr 2010 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   07 Apr 2010   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Student's Solutions Manual for Thinking Mathematically

28 Mar 2010 00:00:00 GMT

(image) By Robert F. Blitzer

£13.99   28 Mar 2010   Paperback   Pearson Education (US)

This manual contains completely worked-out solutions for all the odd-numbered exercises and all Check Points in the text.





Fuzzy Logic with Engineering Applications

10 Mar 2010 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   10 Mar 2010   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Zariski Geometries

01 Mar 2010 00:00:00 GMT

(image) Geometry from the Logician's Point of View

By Boris Zilber

£35.00   01 Mar 2010   Paperback   Cambridge University Press

Methods and results from the theory of Zariski structures, and their applications in geometry.





Introduction to Languages and the Theory of Computation

01 Mar 2010 00:00:00 GMT

(image) By John C. Martin

£105.99   01 Mar 2010   Hardback   McGraw-Hill Education - Europe

Helps students make the connection between the practice of computing and an understanding of the profound ideas that defines it. This book presents the necessary mathematical tools which provide discussion and examples that make the language intelligible.





Subsystems of Second Order Arithmetic

18 Feb 2010 00:00:00 GMT

(image) By Stephen G. Simpson

£24.99   18 Feb 2010   Paperback   Cambridge University Press

Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.





Fuzzy Logic with Engineering Applications

10 Feb 2010 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   10 Feb 2010   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Not Exactly

28 Jan 2010 00:00:00 GMT

(image) In Praise of Vagueness

By Kees Van Deemter

£16.99   28 Jan 2010   Hardback   Oxford University Press

Our lives are full of inexactitude. We say a person is tall or an action is just without the precision of measurement on a dial. In this engaging account, Kees van Deemter explores vagueness, cutting across areas such as language, mathematical logic, and computing. He considers why vagueness is inherent, and why it is important in how we function.





How to Read and Do Proofs

15 Jan 2010 00:00:00 GMT

(image) An Introduction to Mathematical Thought Processes

By Daniel Solow

£46.95   15 Jan 2010   Paperback   John Wiley and Sons Ltd

"How to Read and Do Proofs: An Introduction to Mathematical Thought Processes".





Fuzzy Logic with Engineering Applications

13 Jan 2010 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   13 Jan 2010   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Perfect Numerical and Logical Test Results

07 Jan 2010 00:00:00 GMT

(image) By Joanna Moutafi, Marianna Moutafi

£6.99   07 Jan 2010   Paperback   Arrow Books Ltd

Suitable for those who want to secure their ideal job, this title explains how numerical and logical tests work, gives helpful pointers to help you prepare for the big day, and provides professionally constructed sample questions so that you can practise at home.





Logica E Deduzione Automatica Per Le Applicazioni

01 Jan 2010 00:00:00 GMT

(image) By Ghilardi, S. Ranise, Silvio

£27.45   01 Jan 2010   Paperback   Springer





Concurrency, Compositionality, and Correctness

01 Jan 2010 00:00:00 GMT

(image) £48.99   01 Jan 2010   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Published in honor of Willem-Paul de Roever, this Festschrift volume contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. It addresses topics such as model checking, computer science and state machines, ontology and mereology of domains, game theory, and compiler correctness.





Practical Aspects of Declarative Languages

01 Jan 2010 00:00:00 GMT

(image) £48.99   01 Jan 2010   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages. This volume also includes papers that address various aspects of declarative programming.





Transactions on Rough Sets (Bk. 11)

01 Jan 2010 00:00:00 GMT

(image) £56.99   01 Jan 2010   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Deals with the spectrum of rough sets related issues, from logical and mathematical foundations, through various aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness.





Formal Methods

01 Jan 2010 00:00:00 GMT

(image) State of the Art and New Directions

By Paul P. Boca, Jonathan P. Bowen, Jawed I. Siddiqi

£59.95   01 Jan 2010   Hardback   Springer London Ltd

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.

Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.
This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.

The following website www.fmsand.info is associated with the book.





Logic

01 Jan 2010 00:00:00 GMT

(image) By Priest, Graham

£8.21   01 Jan 2010   Hardback   Sterling

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this engaging and accessible introduction, Graham Priest shows how wrong that conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability and decision theory. Along the way, Priest lays out the basics of formal logic in simple, non technical terms.





Ultimate Explanations of the Universe

29 Dec 2009 00:00:00 GMT

(image) By Michael Heller

£39.99   29 Dec 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Addresses our attempts to find ultimate explanations using rational argument, mathematics and physical law. This book demonstrates that we have come a long way but that the 'ultimate' may remain elusive.





How to Read and Do Proofs

18 Dec 2009 00:00:00 GMT

(image) An Introduction to Mathematical Thought Processes

By Daniel Solow

£46.95   18 Dec 2009   Paperback   John Wiley and Sons Ltd

"How to Read and Do Proofs: An Introduction to Mathematical Thought Processes".





Fuzzy Logic with Engineering Applications

16 Dec 2009 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   16 Dec 2009   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Logical Tools for Handling Change in Agent-Based Systems

15 Dec 2009 00:00:00 GMT

(image) By Dov M. Gabbay (King's College London), Karl Schlechta

£72.00   15 Dec 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG





Logic and Philosophy of Mathematics in the Early Husserl

11 Dec 2009 00:00:00 GMT

(image) By Stefania Centrone

£90.00   11 Dec 2009   Hardback   Springer





Fuzzy Data and Statistics

04 Dec 2009 00:00:00 GMT

(image) By Reinhard Viertl

£60.00   04 Dec 2009   Hardback   John Wiley and Sons Ltd

Fuzzy logic provides a simple way to arrive at a definite conclusion based upon vague, ambiguous, imprecise, noisy, or missing input information. This book explains the basics of fuzzy logic and the use of statistical methods for fuzzy data sets.





Descartes - An Introduction

01 Dec 2009 00:00:00 GMT

(image) By Ross Burman

£16.99   01 Dec 2009   Audio Cd   Naxos AudioBooks

Rene Descartes is one of the formative figures in Western philosophy, logic and mathematics. His famous statement: 'I think, therefore I am' has become perhaps the most famous phrase in all of philosophy. This title, read by Jonathan Oliver with Roy McMillan, introduces the listener to the life and work of one of the greatest thinkers of all time.





Mathematical Logic

01 Dec 2009 00:00:00 GMT

(image) By Wei Li

£44.99   01 Dec 2009   Hardback   Birkhauser Verlag AG

Presents basic principles and formal calculus of mathematical logic systematically. This book covers the core contents of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems.





Formal Methods

01 Dec 2009 00:00:00 GMT

(image) State of the Art and New Directions

By Paul P. Boca, Jonathan P. Bowen, Jawed I. Siddiqi

£59.95   01 Dec 2009   Hardback   Springer London Ltd

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.

Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.
This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.

The following website www.fmsand.info is associated with the book.





Switching and Finite Automata Theory

01 Dec 2009 00:00:00 GMT

(image) By Zvi Kohavi, Niraj K. Jha

£45.00   01 Dec 2009   Hardback   Cambridge University Press

Understand the structure, behaviour, and limitations of logic machines with this thoroughly updated third edition.





Logical Tools for Handling Change in Agent-Based Systems

30 Nov 2009 00:00:00 GMT

(image) By Dov M. Gabbay (King's College London), Karl Schlechta

£72.00   30 Nov 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG





Ultimate Explanations of the Universe

25 Nov 2009 00:00:00 GMT

(image) By Michael Heller

£39.99   25 Nov 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Addresses our attempts to find ultimate explanations using rational argument, mathematics and physical law. This book demonstrates that we have come a long way but that the 'ultimate' may remain elusive.





Fuzzy Logic with Engineering Applications

18 Nov 2009 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   18 Nov 2009   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Stochastic Coalgebraic Logic

09 Nov 2009 00:00:00 GMT

(image) By Ernst-Erich Doberkat

£72.00   09 Nov 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG





There's Something About Godel!

06 Nov 2009 00:00:00 GMT

(image) The Complete Guide to the Incompleteness Theorem

By Francesco Berto

£14.99   06 Nov 2009   Paperback   John Wiley and Sons Ltd

A guide to Godel's revolutionary 'Incompleteness Theorem', considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem.





There's Something About Godel!

06 Nov 2009 00:00:00 GMT

(image) The Complete Guide to the Incompleteness Theorem

By Francesco Berto

£50.00   06 Nov 2009   Hardback   John Wiley and Sons Ltd

A guide to Godel's revolutionary Incompleteness Theorem, considered one of the most astounding argumentative sequences in the history of human thought. It offers an exploration of the most controversial alleged philosophical outcomes of the Theorem.





Cardinal Invariants on Boolean Algebras

01 Nov 2009 00:00:00 GMT

(image) By J. Donald Monk

£31.99   01 Nov 2009   Paperback   Birkhauser Verlag AG





Formal Methods

01 Nov 2009 00:00:00 GMT

(image) State of the Art and New Directions

By Paul P. Boca, Jonathan P. Bowen, Jawed I. Siddiqi

£59.95   01 Nov 2009   Hardback   Springer London Ltd

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.

Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.
This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.

The following website www.fmsand.info is associated with the book.





A Course in Mathematical Logic for Mathematicians

01 Nov 2009 00:00:00 GMT

(image) By Yu. I. Manin

£53.99   01 Nov 2009   Hardback   Springer-Verlag New York Inc.





Switching and Finite Automata Theory

01 Nov 2009 00:00:00 GMT

(image) By Zvi Kohavi, Niraj K. Jha

£45.00   01 Nov 2009   Hardback   Cambridge University Press

Understand the structure, behaviour, and limitations of logic machines with this thoroughly updated third edition.





Modalities and Multimodalities

30 Oct 2009 00:00:00 GMT

(image) By Walter A. Carnielli, Pizzi Claudio (University of Siena, Italy), Juliana Bueno-Soler

£40.99   30 Oct 2009   Paperback   Springer





Fuzzy Logic with Engineering Applications

21 Oct 2009 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   21 Oct 2009   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Ultimate Explanations of the Universe

20 Oct 2009 00:00:00 GMT

(image) By Michael Heller

£39.99   20 Oct 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Addresses our attempts to find ultimate explanations using rational argument, mathematics and physical law. This book demonstrates that we have come a long way but that the 'ultimate' may remain elusive.





Teaching Formal Methods

16 Oct 2009 00:00:00 GMT

(image) £41.99   16 Oct 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Algorithmic Decision Theory

06 Oct 2009 00:00:00 GMT

(image) £55.99   06 Oct 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Logic and Philosophy of Mathematics in the Early Husserl

01 Oct 2009 00:00:00 GMT

(image) By Stefania Centrone

£90.00   01 Oct 2009   Hardback   Springer





Einfa1/4hrung in Die Mengenlehre: Die Mengenlehre Georg Cantors Und Ihre Axiomatisierung Durch Ernst Zermelo

01 Oct 2009 00:00:00 GMT

(image) By Deiser, Oliver

£21.95   01 Oct 2009   Paperback   Springer





The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

01 Oct 2009 00:00:00 GMT

(image) By W. Hugh Woodin

£14.95   01 Oct 2009   Hardback   Walter de Gruyter & Co

A monograph on the axiom of determinacy that is related to winning strategies in game theory.





Formal Methods

01 Oct 2009 00:00:00 GMT

(image) State of the Art and New Directions

By Paul P. Boca, Jonathan P. Bowen, Jawed I. Siddiqi

£59.95   01 Oct 2009   Hardback   Springer London Ltd

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.

Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.
This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.

The following website www.fmsand.info is associated with the book.





Logic Colloquium

01 Oct 2009 00:00:00 GMT

(image) By S.Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Vaananen

£60.00   01 Oct 2009   Hardback   Cambridge University Press

The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium.





Handbook of Weighted Automata

30 Sep 2009 00:00:00 GMT

(image) By Manfred Droste, Werner Kuich, Heiko Vogler

£108.00   30 Sep 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. This book covers the main aspects of weighted automata and formal power series methods, ranging from theory to applications.





Automated Technology for Verification and Analysis

28 Sep 2009 00:00:00 GMT

(image) £55.99   28 Sep 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Perspectives in Computation

26 Sep 2009 00:00:00 GMT

(image) By Robert Geroch

£17.50   26 Sep 2009   Paperback   The University of Chicago Press

Computation is the process of applying a procedure or algorithm to the solution of a mathematical problem. This book covers three broad topics: the computation process and its limitations, the search for computational efficiency, and the role of quantum mechanics in computation.





Perspectives in Computation

26 Sep 2009 00:00:00 GMT

(image) By Robert Geroch

£51.50   26 Sep 2009   Hardback   The University of Chicago Press

Computation is the process of applying a procedure or algorithm to the solution of a mathematical problem. This book covers three broad topics: the computation process and its limitations, the search for computational efficiency, and the role of quantum mechanics in computation.





Fuzzy Logic with Engineering Applications

23 Sep 2009 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   23 Sep 2009   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Diamond

22 Sep 2009 00:00:00 GMT

(image) A Paradox Logic

By N.S. Hellerstein

£64.00   22 Sep 2009   Hardback   World Scientific Publishing Co Pte Ltd

In diamond, a statement can be true yet false; an 'imaginary' state, midway between being and non-being. Diamond's imaginary values solve many logical paradoxes unsolvable in two-valued boolean logic. This title deals with 'diamond', a logic of paradox. It resolves paradoxes by Russell, Cantor, Berry and Zeno.





Algorithms Languages Automata & C

22 Sep 2009 00:00:00 GMT

(image) By Mozgovoy

£26.99   22 Sep 2009   Paperback   Jones and Bartlett Publishers, Inc





Logic, Rationality, and Interaction

21 Sep 2009 00:00:00 GMT

(image) £48.99   21 Sep 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Advanced Functional Programming

21 Sep 2009 00:00:00 GMT

(image) £48.99   21 Sep 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Ultimate Explanations of the Universe

20 Sep 2009 00:00:00 GMT

(image) By Michael Heller

£44.99   20 Sep 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Addresses our attempts to find ultimate explanations using rational argument, mathematics and physical law. This book demonstrates that we have come a long way but that the 'ultimate' may remain elusive.





Reachability Problems

07 Sep 2009 00:00:00 GMT

(image) £41.99   07 Sep 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Recent Trends in Algebraic Development Techniques

07 Sep 2009 00:00:00 GMT

(image) £48.99   07 Sep 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Pattern Calculus

03 Sep 2009 00:00:00 GMT

(image) By Barry Jay

£71.99   03 Sep 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Introduces static and dynamic pattern calculus. This book shows how Lisp is more than just lambda-calculus. It is suitable for researchers with an interest in the foundations of computing, programming language design, the integration of existing programming styles, or the development of new programming styles.





Semimodular Lattices

03 Sep 2009 00:00:00 GMT

(image) Theory and Applications

By Manfred Stern

£38.00   03 Sep 2009   Paperback   Cambridge University Press

A survey of semimodularity that presents theory and applications in discrete mathematics, group theory and universal algebra.





Frontiers of Combining Systems

02 Sep 2009 00:00:00 GMT

(image) £48.99   02 Sep 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Brainmatics: More Logic Puzzles

01 Sep 2009 00:00:00 GMT

(image) By Moscovich, Ivan

£8.24   01 Sep 2009   Paperback   H.F. Ullmann





Conceptual Mathematics

01 Sep 2009 00:00:00 GMT

(image) A First Introduction to Categories

By F.W. Lawvere, Stephen H. Schanuel

£70.00   01 Sep 2009   Hardback   Cambridge University Press

This truly elementary book on categories introduces retracts, graphs, and adjoints to students and scientists.





Subsystems of Second Order Arithmetic

01 Sep 2009 00:00:00 GMT

(image) By Stephen G. Simpson

£50.00   01 Sep 2009   Hardback   Cambridge University Press

Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.





Conceptual Mathematics

01 Sep 2009 00:00:00 GMT

(image) A First Introduction to Categories

By F.W. Lawvere, Stephen H. Schanuel

£29.99   01 Sep 2009   Paperback   Cambridge University Press

This truly elementary book on categories introduces retracts, graphs, and adjoints to students and scientists.





Practical Foundations of Mathematics

01 Sep 2009 00:00:00 GMT

(image) By Taylor, Paul

£35.00   01 Sep 2009   Paperback   Cambridge University Press

This book is about the basis of mathematical reasoning both in pure mathematics itself and in computing.





Perspectives in Computation

29 Aug 2009 00:00:00 GMT

(image) By Robert Geroch

£17.50   29 Aug 2009   Paperback   The University of Chicago Press

Computation is the process of applying a procedure or algorithm to the solution of a mathematical problem. This book covers three broad topics: the computation process and its limitations, the search for computational efficiency, and the role of quantum mechanics in computation.





Perspectives in Computation

29 Aug 2009 00:00:00 GMT

(image) By Robert Geroch

£51.50   29 Aug 2009   Hardback   The University of Chicago Press

Computation is the process of applying a procedure or algorithm to the solution of a mathematical problem. This book covers three broad topics: the computation process and its limitations, the search for computational efficiency, and the role of quantum mechanics in computation.





Handbook of Weighted Automata

27 Aug 2009 00:00:00 GMT

(image) By Manfred Droste, Werner Kuich, Heiko Vogler

£108.00   27 Aug 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. This book covers the main aspects of weighted automata and formal power series methods, ranging from theory to applications.





Fuzzy Logic with Engineering Applications

26 Aug 2009 00:00:00 GMT

(image) By Timothy J. Ross

£99.87   26 Aug 2009   Audio-Visual / Multimedia Item   John Wiley and Sons Ltd

Aims to reflect various techniques in the theory and application of fuzzy logic. This book focuses on the topics of fuzzy logic combined with worked examples, chapter problems, and commercial case studies.





Computer Science Logic

24 Aug 2009 00:00:00 GMT

(image) £63.99   24 Aug 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Reasoning Web. Semantic Technologies for Information Systems

14 Aug 2009 00:00:00 GMT

(image) £44.99   14 Aug 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Introduction to Mathematical Logic

13 Aug 2009 00:00:00 GMT

(image) By Elliott Mendelson

£39.99   13 Aug 2009   Hardback   Taylor & Francis Ltd

Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. It discusses the major results of Godel, Church, Kleene, Rosser, and Turing.





A Transition to Advanced Mathematics

13 Aug 2009 00:00:00 GMT

(image) A Survey Course

By William Johnston, Alex McAllister

£47.00   13 Aug 2009   Hardback   Oxford University Press

A Transition to Advanced Mathematics promotes the goals of a "bridge" course in mathematics, helping to lead students from courses in the calculus sequence to theoretical upper-level mathematics courses. The text simultaneously promotes the goals of a "survey" course, describing the intriguing questions and insights fundamental to many diverse areas of mathematics.





Introduction to Mathematics of Satisfiability

06 Aug 2009 00:00:00 GMT

(image) By Victor W. Marek

£54.99   06 Aug 2009   Hardback   Taylor & Francis Ltd

Focuses on the satisfiability of theories consisting of propositional logic formulas. This book deals with logic fundamentals, including the syntax of propositional logic, complete sets of functors, normal forms, the Craig lemma, and compactness.





Theorem Proving in Higher Order Logics

03 Aug 2009 00:00:00 GMT

(image) £58.99   03 Aug 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG