Mathematical logic books

5407 books were found.

Data-driven Block Ciphers for Fast Telecommunication Systems

Data-driven Block Ciphers for Fast Telecommunication...
Author: Nikolai Moldovyan , Alexander A. Moldovyan ISBN: 9781420054118 Format: Hardback	$310.50
Read More >>

New Computational Paradigms: Changing Conceptions of What is Computable

New Computational Paradigms: Changing Conceptions of...
Author: S.B. Cooper , Benedikt Löwe ISBN: 9780387360331 Format: Hardback	$419.76
Moreover, the increasingly compelling necessity to deal with computability in the real world (such as computing... Read More >>

Nonlinear Dimensionality Reduction

Nonlinear Dimensionality Reduction
Author: John A. Lee , Michel Verleysen ISBN: 9780387393506 Format: Hardback	$237.47
However, since the late nineties, many new methods have been developed and nonlinear dimensionality reduction, also... Read More >>

Logic and Automata: History and Perspectives

Logic and Automata: History and Perspectives
Author: Erich Grädel , Jörg Flum ISBN: 9789053565766 Format: Paperback	$262.68
This collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi... Read More >>

New Computational Paradigms: Changing Conceptions of What Is Computable

New Computational Paradigms: Changing Conceptions of...
Author: Benedikt Lowe (Universiteit van Amsterdam) , Andrea Sorbi (Universita di Siena, Italy) ISBN: 9781281138392 Format: Electronic book text	$446.16
In recent years, classical computability has expanded beyond its original scope to address issues related to computability... Read More >>

Ingredients for Successful System Level Design Methodology

Ingredients for Successful System Level Design Methodology...
Author: Hiren D Patel , Sandeep K Shukla ISBN: 9781281492289 Format: Undefined	$419.76
Read More >>

Lattices and Ordered Sets

Lattices and Ordered Sets
Author: Steven Roman, PH.D. ISBN: 9781281954350 Format: Electronic book text	$211.07
This book is intended to be a thorough introduction to the subject of order and lattices and can be used for a course... Read More >>

Field Arithmetic

Field Arithmetic
Author: Michael D Fried , Moshe Jarden ISBN: 9781281273758 Format: Undefined	$578.16
Field Arithmetic explores Diophantine fields through their absolute Galois groups. The treatment starts with techniques... Read More >>

Foundations of the Formal Sciences: Infinite Games

Foundations of the Formal Sciences: Infinite Games
Author: S. Bold , Benedikt Loewe ISBN: 9781904987758 Format: Paperback	$43.99
Read More >>

Stable Domination and Independence in Algebraically Closed Valued Fields. Lecture Notes in Logic, Volume 30.

Stable Domination and Independence in Algebraically...
Author: Dierdre Haskell , Ehud Hrushovski ISBN: 9786611156237 Format: Electronic book text	$374.88
Read More >>

Media Theory: Interdisciplinary Applied Mathematics

Media Theory: Interdisciplinary Applied Mathematics...
Author: David Eppstein , Jean-Claude Falmagne ISBN: 9786611117078 Format: Electronic book text	$575.52
Presents a mathematical structure modeling, a physical or biological system that can be in any of a number of states.... Read More >>

Complexity Explained

Complexity Explained
Author: Peter Erdi ISBN: 9786611118297 Format: Electronic book text	$369.34
This book explains why complex systems research is important in understanding the structure, function and dynamics... Read More >>

New Computational Paradigms: Changing Conceptions of What Is Computable

New Computational Paradigms: Changing Conceptions of...
Author: S Barry Cooper , Benedikt Lowe ISBN: 9786611138394 Format: Electronic book text	$733.92
This superb exposition of a complex subject examines new developments in the theory and practice of computation... Read More >>

Lattices and Ordered Sets

Lattices and Ordered Sets
Author: Steven Roman, PH.D. ISBN: 9786611954352 Format: Electronic book text	$369.34
Presents an introduction to the subject of order and lattices. This book is suitable as a course at the graduate... Read More >>

Guida Alla Teoria Degli Insiemi

Guida Alla Teoria Degli Insiemi
Author: Gabriele Lolli ISBN: 9786611378615 Format: Electronic book text	$158.14
Gli insegnanti si trovano in difficoltA a proposito dello spazio e della (TM)enfasi da dare agli argomenti di teoria... Read More >>

Completeness Theory for Propositional Logics

Completeness Theory for Propositional Logics
Author: Witold A Pogorzelski , Piotr Wojtylak ISBN: 9786611378639 Format: Electronic book text	$369.34
Develops the theory of one of the most important notions in the methodology of formal systems. This title exploits... Read More >>

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Applied Proof Theory: Proof Interpretations and Their...
Author: U Kohlenbach ISBN: 9786611493783 Format: Electronic book text	$522.72
This is the first treatment in book format of proof-theoretic transformations -- known as proof interpretations... Read More >>

Sets, Logic and Maths for Computing

Sets, Logic and Maths for Computing
Author: David Makinson ISBN: 9786613437884 Format: Electronic book text	$158.24
The carefully selected material in this book equips the student with essential intellectual tools that are needed... Read More >>

Reading Success for Struggling Adolescent Learners

Reading Success for Struggling Adolescent Learners
Author: Jill Lewis , Susan Lenski, Edd ISBN: 9781281753090 Format: Electronic book text	$219.12
Read More >>

Transition to Abstract Mathematics: Learning Mathematical Thinking and Writing

Transition to Abstract Mathematics: Learning Mathematical...
Author: Randall B Maddox ISBN: 9781281766298 Format: Electronic book text	$341.96
Read More >>

Computational Complexity

Computational Complexity
Author: Oded Goldreich (Weizmann Institute of Science, Israel) ISBN: 9781282390317 Format: Undefined	$514.80
Read More >>

Discrete Thoughts

Discrete Thoughts
Author: Mark Kac (Rockefeller University, New York) , Gian-Carlo Rota Mark Kac, Jacob ISBN: 9781282292215 Format: Electronic book text	$105.47
Read More >>

Schaum's Outline of French Grammar

Schaum's Outline of French Grammar
Author: ISBN: 9781281845313 Format: Electronic book text	$50.03
Schaum's Outline of French Grammar delivers a comprehensive and efficient review of French grammar, with exercises,... Read More >>

Andrzej Mostowski and Foundational Studies

Andrzej Mostowski and Foundational Studies
Author: V W Marek A Ehrenfeucht, M. ISBN: 9781281733320 Format: Undefined	$343.20
Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers... Read More >>

Completeness Theory for Propositional Logics

Completeness Theory for Propositional Logics
Author: Witold A Pogorzelski , Piotr Wojtylak ISBN: 9781281378637 Format: Undefined	$237.57
Read More >>

Page 159 of 217 ... 154 155 156 157 158 159 160 161 162 163 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now