Mathematical logic books

5407 books were found.

In Search of Infinity

In Search of Infinity
Author: N.Ya. Vilenkin ISBN: 9781461269151 Format: Paperback	$145.17
The concept of infinity is one of the most important, and at the same time, one of the most mysterious concepts... Read More >>

Kurt Gödel: Essays for his Centennial

Kurt Gödel: Essays for his Centennial
Author: Solomon Feferman (Stanford University, California) , Charles Parsons (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Massachusetts) ISBN: 9781107683464 Format: Paperback	$108.65
Read More >>

Lambda Calculus with Types

Lambda Calculus with Types
Author: Henk Barendregt (Radboud Universiteit Nijmegen) , Wil Dekkers (Radboud Universiteit Nijmegen) ISBN: 9780521766142 Format: Hardback	$201.80
Read More >>

Network Anomaly Detection: A Machine Learning Perspective

Network Anomaly Detection: A Machine Learning Perspective...
Author: Dhruba Kumar Bhattacharyya (Tezpur University, Assam, India) , Jugal Kumar Kalita (University of Colorado) ISBN: 9781466582088 Format: Hardback	$221.00
Read More >>

Lambda Calculus with Types

Lambda Calculus with Types
Author: Henk Barendregt (Radboud Universiteit Nijmegen) , Wil Dekkers (Radboud Universiteit Nijmegen) ISBN: 9781139032636 Format: Undefined	$435.60
Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL),... Read More >>

Handbook of Finite Fields

Handbook of Finite Fields
Author: Gary L. Mullen (Pennsylvania State University, University Park, USA) , Daniel Panario (Carleton University, Ottawa, Ontario, Canada) ISBN: 9781439873786 Format: Hardback	$452.00
Poised to become the leading reference in the field, this definitive handbook is exclusively devoted to the theory... Read More >>

Algebraic Curves in Cryptography

Algebraic Curves in Cryptography
Author: San Ling (Nanyang Technological University, Singapore) , Huaxiong Wang (Nanyang Technological University, Singapore) ISBN: 9781420079463 Format: Hardback	$221.00
Read More >>

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Tests and Proofs: 7th International Conference, TAP...
Author: Margus Veanes , Luca Vigano ISBN: 9783642389153 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013,... Read More >>

Discrete Dynamical Systems and Chaotic Machines: Theory and Applications

Discrete Dynamical Systems and Chaotic Machines: Theory...
Author: Jacques Bahi , Christophe Guyeux ISBN: 9781466554504 Format: Hardback	$221.00
For computer scientists, especially those in the security field, the use of chaos has been limited to the computation... Read More >>

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Typed Lambda Calculi and Applications: 11th International...
Author: Masahito Hasegawa ISBN: 9783642389450 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and... Read More >>

Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings

Unconventional Computation and Natural Computation:...
Author: Giancarlo Mauri , Alberto Dennunzio ISBN: 9783642390739 Format: Paperback	$131.97
This book constitutes the refereed proceedings of the 12th International Conference on Unconventional Computation... Read More >>

Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Application and Theory of Petri Nets and Concurrency:...
Author: Jose-Manuel Colom , Jörg Desel ISBN: 9783642386961 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of... Read More >>

Potential Wadge Classes

Potential Wadge Classes
Author: Dominique Lecomte ISBN: 9780821875575 Format: Paperback	$112.20
Read More >>

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

Logical Foundations of Mathematics and Computational...
Author: Pavel Pudlák ISBN: 9783319001180 Format: Hardback	$527.97
The two main themes of this book, logic and complexity, are both essential for understanding the main problems about... Read More >>

Logica Dinamica Epistemica Para La Evidencilidad Negativa

Logica Dinamica Epistemica Para La Evidencilidad Negativa...
Author: Cristina Bares Gomez ISBN: 9781848901070 Format: Paperback	$28.46
Read More >>

Games, Norms and Reasons: Logic at the Crossroads

Games, Norms and Reasons: Logic at the Crossroads
Author: Johan van Benthem , Amitabha Gupta ISBN: 9789400735774 Format: Paperback	$290.37
Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships... Read More >>

Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads...
Author: Johan van Benthem , Amitabha Gupta ISBN: 9789400735811 Format: Paperback	$448.77
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship... Read More >>

Adaptive and Learning Systems: Theory and Applications

Adaptive and Learning Systems: Theory and Applications...
Author: Kumpati S. Narendra ISBN: 9781475718973 Format: Paperback	$145.17
This volume offers a glimpse of the status of research in adaptive and learning systems in 1985. The Yale Workshop... Read More >>

Automated Theorem Proving: Theory and Practice

Automated Theorem Proving: Theory and Practice
Author: Monty Newborn ISBN: 9781461265191 Format: Paperback	$343.17
The first four chapters contain introductory material about automated theorem proving and the two programs. Chapter... Read More >>

Developments in Language Theory: 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings

Developments in Language Theory: 17th International...
Author: Marie-Pierre Beal , Olivier Carton ISBN: 9783642387708 Format: Paperback	$145.17
This book constitutes the proceedings of the 17th International Conference on Developments in Language Theory, DLT... Read More >>

Meta-logical Investigations in Argumentation Networks

Meta-logical Investigations in Argumentation Networks...
Author: Dov M. Gabbay ISBN: 9781848901032 Format: Paperback	$47.87
This book regards Dung's abstract argumentation frames as a general network, comparable to other networks such as... Read More >>

Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings

Formal Concept Analysis: 11th International Conference,...
Author: Peggy Cellier , Felix Distel ISBN: 9783642383168 Format: Paperback	$103.47
The papers present current research from a thriving theoretical community and a rapidly expanding range of applications... Read More >>

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations -...
Author: Bob Coecke , Luke Ong ISBN: 9783642381638 Format: Paperback	$145.17
This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues,... Read More >>

The Logica Yearbook 2012

The Logica Yearbook 2012
Author: Vit Puncochar , Petr Svarny ISBN: 9781848901100 Format: Paperback	$28.46
Read More >>

Approche Dialogique De La Dynamique Epistemique Et De La Condition Juridique

Approche Dialogique De La Dynamique Epistemique Et De...
Author: Sebastien Magnier ISBN: 9781848901117 Format: Paperback	$31.05
Read More >>

Page 101 of 217 ... 96 97 98 99 100 101 102 103 104 105 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now