Mathematical logic books

5407 books were found.

DNA Computing: 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.

DNA Computing: 11th International Workshop on DNA Computing,...
Author: Alessandra Carbone , Niles A. Pierce ISBN: 9783540341611 Format: Paperback	$261.36
Constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on DNA Based Computers,... Read More >>

Axiom of Choice

Axiom of Choice
Author: Horst Herrlich ISBN: 9783540309895 Format: Paperback	$184.67
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom.... Read More >>

Logic and the Modalities in the Twentieth Century

Logic and the Modalities in the Twentieth Century
Author: Dov M. Gabbay (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.) , John Woods (University of British Columbia, Vancouver, Canada) ISBN: 9780444516220 Format: Hardback	$646.80
Read More >>

Multimedia Encryption and Authentication Techniques and Applications

Multimedia Encryption and Authentication Techniques...
Author: Borko Furht , Darko Kirovski ISBN: 9780849372124 Format: Hardback	$310.50
Providing a comprehensive reference on advanced topics in the field, this book addresses a variety of issues related... Read More >>

Foundations of the Formal Sciences: The History of the Concept of the Formal Sciences

Foundations of the Formal Sciences: The History of the...
Author: Benedikt Lowe , Volker Peckhaus ISBN: 9781904987291 Format: Paperback	$40.75
"This volume takes a reflective position with respect to the conference series ""Foundations of the Formal Sciences""... Read More >>

The Role of True Finiteness in the Admissible Recursively Enumerable Degrees

The Role of True Finiteness in the Admissible Recursively...
Author: Noam Greenberg ISBN: 9780821838853 Format: Paperback	$94.00
Read More >>

Quantum Cellular Automata: Theory, Experimentation And Prospects

Quantum Cellular Automata: Theory, Experimentation And...
Author: Massimo Macucci (Univ Of Pisa, Italy) ISBN: 9781860946325 Format: Hardback	$245.81
Read More >>

Computational Complexity and Statistical Physics

Computational Complexity and Statistical Physics
Author: Allon Percus (Institute for Pure & Applied Mathematics, Institute for Pure & Applied Mathematics, UCLA) , Gabriel Istrate (, Los Alamos National Laboratory) ISBN: 9780195177381 Format: Paperback	$141.95
Computer science and physics have been closely linked since the birth of modern computing. This book serves as a... Read More >>

Universal Logic

Universal Logic
Author: Ross Brady (La Trobe University, Victoria) ISBN: 9781575862569 Format: Paperback	$57.95
Universal Logic conceptualizes a new logic, where the main inference connective is understood as 'meaning containment'.... Read More >>

A Concise Introduction to Mathematical Logic

A Concise Introduction to Mathematical Logic
Author: Wolfgang Rautenberg ISBN: 9780387302942 Format: Paperback	$145.07
Focusing on mathematical logic, this title contains material on logic programming for computer scientists, model... Read More >>

Universal Logic

Universal Logic
Author: Ross Brady (La Trobe University, Victoria) ISBN: 9781575862552 Format: Hardback	$211.20
Universal Logic conceptualizes a new logic, where the main inference connective is understood as 'meaning containment'.... Read More >>

Logic Colloquium '03: Lecture Notes in Logic 24

Logic Colloquium '03: Lecture Notes in Logic 24
Author: Viggo Stoltenberg-Hansen , Jouko Väänänen ISBN: 9781568812946 Format: Paperback	$59.95
A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic... Read More >>

Logic Colloquium '03: Lecture Notes in Logic 24

Logic Colloquium '03: Lecture Notes in Logic 24
Author: Viggo Stoltenberg-Hansen , Jouko Väänänen ISBN: 9781568812939 Format: Hardback	$125.00
A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic... Read More >>

STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings

STACS 2006: 23rd Annual Symposium on Theoretical Aspects...
Author: Bruno Durand , Wolfgang Thomas ISBN: 9783540323013 Format: Paperback	$340.56
Constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, that... Read More >>

Parameterized Complexity Theory

Parameterized Complexity Theory
Author: J. Flum , M. Grohe ISBN: 9783540299523 Format: Hardback	$314.16
Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework... Read More >>

Discrete Structures and Automata Theory

Discrete Structures and Automata Theory
Author: R. Dube , A. Pandey ISBN: 9781842652565 Format: Hardback	$139.92
Designed for an introductory course on formal languages, automata and discrete mathematics, this book discusses... Read More >>

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Types for Proofs and Programs: International Workshop,...
Author: Jean-Christophe Filliatre , Christine Paulin-Mohring ISBN: 9783540314288 Format: Paperback	$166.32
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming... Read More >>

Quantum Cellular Automata: Theory, Experimentation and Prospects

Quantum Cellular Automata: Theory, Experimentation and...
Author: Massimo Macucci , Massimo Macucci ISBN: 9786611867201 Format: Electronic book text	$496.32
The Quantum Cellular Automaton (QCA) concept represents an attempt to break away from the traditional three-terminal... Read More >>

Intuition and the Axiomatic Method

Intuition and the Axiomatic Method
Author: Emily Carson , Renate Huber ISBN: 9781402040399 Format: Hardback	$472.56
Following developments in modern geometry, logic and physics, many scientists and philosophers in the modern era... Read More >>

The Algebra of Logic

The Algebra of Logic
Author: Louis Couturat , Lydia Gillingham Robinson ISBN: 9780486446387 Format: Hardback	$99.00
In an admirably succinct form, this volume offers a historical view of the development of the calculus of logic,... Read More >>

I Know Same and Different/Igual y Diferente

I Know Same and Different/Igual y Diferente
Author: Susan Nations ISBN: 9780836864915 Format: Paperback	$11.88
Numbers, shapes, sizes, and sorting are foundations for the study of mathematics. This series presents these key... Read More >>

Foundations of Mathematics and other Logical Essays

Foundations of Mathematics and other Logical Essays...
Author: Frank Plumpton Ramsey ISBN: 9780415408523 Format: Paperback	$90.99
First Published in 2006. Routledge is an imprint of Taylor & Francis, an informa company. Read More >>

Logic, Sets and Recursion

Logic, Sets and Recursion
Author: Robert L. Causey ISBN: 9780763737849 Format: Hardback	$380.03
Read More >>

Computational Complexity and Statistical Physics

Computational Complexity and Statistical Physics
Author: Allon Percus (Institute for Pure & Applied Mathematics, Institute for Pure & Applied Mathematics, UCLA) , Gabriel Istrate (, Los Alamos National Laboratory) ISBN: 9780195177374 Format: Hardback	$385.00
Computer science and physics have been closely linked since the birth of modern computing. This book serves as a... Read More >>

Reconfigurable Computing: Accelerating Computation with Field-Programmable Gate Arrays

Reconfigurable Computing: Accelerating Computation with...
Author: Maya B. Gokhale , Paul S. Graham ISBN: 9780387261058 Format: Hardback	$340.56
By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance... Read More >>

Page 166 of 217 ... 161 162 163 164 165 166 167 168 169 170 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now