Mathematical logic books

5407 books were found.

Iris Biometric Model for Secured Network Access

Iris Biometric Model for Secured Network Access
Author: Franjieh El Khoury (Université Claude Bernard, Villeurbanne, France) ISBN: 9781466502130 Format: Hardback	$315.00
This book proposes a new model—the IrisCryptoAgentSystem (ICAS)—based on a biometric method for authentication using... Read More >>

Incompletetude Na Terra Dos Conjuntos

Incompletetude Na Terra Dos Conjuntos
Author: Melvin Fitting , Jaime Ramos ISBN: 9781848901094 Format: Paperback	$27.17
Read More >>

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 22nd...
Author: Elvira Albert ISBN: 9783642381966 Format: Paperback	$108.65
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on... Read More >>

After Gödel: Platonism and Rationalism in Mathematics and Logic

After Gödel: Platonism and Rationalism in Mathematics...
Author: Richard Tieszen (, San José State University, California) ISBN: 9780199680610 Format: Paperback	$75.95
Richard Tieszen analyzes, develops, and defends the writings of Kurt Gödel (1906-1978) on the philosophy and foundations... Read More >>

Optical Coding Theory with Prime

Optical Coding Theory with Prime
Author: Wing C. Kwong (Hofstra University, Hempstead, New York, USA) , Guu-Chang Yang (National Chung-Hsing University, Taichung, Taiwan) ISBN: 9781466567801 Format: Hardback	$389.00
Although several books cover the coding theory of wireless communications and the hardware technologies and coding... Read More >>

The Road Not Taken. On Husserl's Philosophy of Logic and Mathematics

The Road Not Taken. On Husserl's Philosophy of Logic...
Author: Claire Ortiz Hill , Jairo Jose da Silva ISBN: 9781848900998 Format: Paperback	$38.17
Read More >>

A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic
Author: Grigori Mints ISBN: 9781475773194 Format: Paperback	$422.37
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of... Read More >>

Foundational Theories of Classical and Constructive Mathematics

Foundational Theories of Classical and Constructive...
Author: Giovanni Sommaruga ISBN: 9789400735613 Format: Paperback	$290.37
The book ""Foundational Theories of Classical and Constructive Mathematics"" is a book on the classical topic of... Read More >>

Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell

Logic, Mathematics, Philosophy, Vintage Enthusiasms:...
Author: David DeVidi , Michael Hallett ISBN: 9789400735682 Format: Paperback	$448.77
analytical philosophy (Michael Dummett, William Demopoulos), philosophy of science (Michael Redhead, Frank Arntzenius),... Read More >>

Proofs and Fundamentals: A First Course in Abstract Mathematics

Proofs and Fundamentals: A First Course in Abstract...
Author: Ethan D. Bloch ISBN: 9781461428107 Format: Paperback	$184.77
this section gained proofs of the Schroeder–Bernstein theorem and the Trichotomy Law for Sets, and lost most of... Read More >>

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 21st...
Author: Narciso Martí-Oliet , Miguel Palomino ISBN: 9783642376344 Format: Paperback	$145.17
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on... Read More >>

Coherence in Three-Dimensional Category Theory

Coherence in Three-Dimensional Category Theory
Author: Nick Gurski (University of Sheffield) ISBN: 9781299399952 Format: Undefined	$330.00
Read More >>

Computing System Reliability: Models and Analysis

Computing System Reliability: Models and Analysis
Author: Min Xie , Kim-Leng Poh ISBN: 9781475788044 Format: Paperback	$316.77
Computing systems are of growing importance because of their wide use in many areas including those in safety-critical... Read More >>

An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus

An den Grenzen des Endlichen: Das Hilbertprogramm im...
Author: Christian Tapp ISBN: 9783642296536 Format: Paperback	$197.97
Read More >>

Programming Logics: Essays in Memory of Harald Ganzinger

Programming Logics: Essays in Memory of Harald Ganzinger...
Author: Andrei Voronkov , Christoph Weidenbach ISBN: 9783642376504 Format: Paperback	$145.17
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the... Read More >>

Introduction to Mathematical Logic

Introduction to Mathematical Logic
Author: Hodel Hodel ISBN: 9780486497853 Format: Paperback	$69.99
Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic;... Read More >>

An Introduction to Logical Theory

An Introduction to Logical Theory
Author: Aladdin M. Yaqub ISBN: 9781551119939 Format: Paperback	$108.11
Read More >>

The Shape of Congruence Lattices

The Shape of Congruence Lattices
Author: Keith A. Kearnes , Emil W. Kiss ISBN: 9780821883235 Format: Paperback	$140.80
""March 2013, volume 222, number 1046 (fifth of 5 numbers)."" Read More >>

Logic

Logic
Author: Carveth Read ISBN: 9781484825914 Format: Paperback	$23.73
Logic from Carveth Read. Carveth Read, british philosopher and logician (1848-1931). Read More >>

Proof Theory

Proof Theory
Author: Takeuti Takeuti , Ya S Dubnov ISBN: 9780486490731 Format: Paperback	$46.99
This comprehensive monograph presents a detailed overview of creative works by the author and other 20th-century... Read More >>

Fuzzy Logic: Applications, Systems & Technologies

Fuzzy Logic: Applications, Systems & Technologies
Author: Dinko Vukadinovic ISBN: 9781624171512 Format: Paperback	$188.10
Read More >>

Secret History: The Story of Cryptology

Secret History: The Story of Cryptology
Author: Craig P. Bauer ISBN: 9781466561861 Format: Hardback	$164.00
Winner of an Outstanding Academic Title Award from CHOICE Magazine Most available cryptology books primarily focus... Read More >>

Zermelo's Axiom of Choice: Its Origins, Development, and Influence

Zermelo's Axiom of Choice: Its Origins, Development,...
Author: Gregory H Moore , Mathematics ISBN: 9780486488417 Format: Paperback	$46.99
This book chronicles Ernst Zermelo's development of set theory's crucial principle, the axiom of choice, including... Read More >>

Analysis and Logic

Analysis and Logic
Author: C. Ward Henson (University of Illinois, Urbana-Champaign) , José Iovino (University of Texas Health Science Center, San Antonio) ISBN: 9781107360006 Format: Undefined	$435.60
This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The... Read More >>

Computational Number Theory

Computational Number Theory
Author: Abhijit Das ISBN: 9781439866153 Format: Hardback	$221.00
This text introduces the vast and fascinating area of computational number theory. It treats algorithms for common... Read More >>

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

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now