Mathematical logic books

5407 books were found.

Dualities for Structures of Applied Logics

Dualities for Structures of Applied Logics
Author: Ewa Orlowska , Anna Maria Radzikowska ISBN: 9781848901810 Format: Paperback	$36.87
Read More >>

A Guide to NIP Theories

A Guide to NIP Theories
Author: Pierre Simon (Université Lyon I) ISBN: 9781107057753 Format: Hardback	$287.21
This book, the first on the rapidly expanding topic of NIP theories, gives an accessible introduction to the subject... Read More >>

Reasoning Web. Web Logic Rules: 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.

Reasoning Web. Web Logic Rules: 11th International Summer...
Author: Wolfgang Faber , Adrian Paschke ISBN: 9783319217673 Format: Paperback	$116.41
This volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in... Read More >>

Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic

Modality, Semantics and Interpretations: The Second...
Author: Shier Ju , Hu Liu ISBN: 9783662471968 Format: Hardback	$145.17
Read More >>

Functions and Generality of Logic: Reflections on Dedekind's and Frege's Logicisms

Functions and Generality of Logic: Reflections on Dedekind's...
Author: Hourya Benis-Sinaceur , Marco Panza ISBN: 9783319171081 Format: Hardback	$145.17
Read More >>

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Logic, Language, Information, and Computation: 22nd...
Author: Valeria de Paiva , Ruy de Queiroz ISBN: 9783662477083 Format: Paperback	$90.54
Read More >>

Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Computer Science -- Theory and Applications: 10th International...
Author: Lev D. Beklemishev , Daniil V. Musatov ISBN: 9783319202969 Format: Paperback	$116.41
This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015,... Read More >>

Quantum Physics, Fuzzy Sets and Logic: Steps Towards a Many-Valued Interpretation of Quantum Mechanics

Quantum Physics, Fuzzy Sets and Logic: Steps Towards...
Author: Jarosław Pykacz , J Pykacz ISBN: 9783319193830 Format: Paperback	$145.17
This Brief presents steps towards elaborating a new interpretation of quantum mechanics based on a specific version... Read More >>

Cylindric-like Algebras and Algebraic Logic


Author: Hajnal Andréka , Miklós Ferenczi ISBN: 9783642437991 Format: Paperback	$290.37
Algebraic logic is a subject in the interface between logic, algebra... Read More >>

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

Logic for Computer Science: Foundations of Automatic...
Author: Jean Gallier ISBN: 9780486780825 Format: Paperback	$80.00
Read More >>

Godel Revisited. Some More Doubts Concerning the Formal Correctness of Godel's Incompleteness Theorem

Godel Revisited. Some More Doubts Concerning the Formal...
Author: Ken Kubota ISBN: 9783943334067 Format: Paperback	$19.80
With the presentations by Peter B. Andrews and Lawrence C. Paulson two very different attempts to prove Godel's... Read More >>

Combinatorial Algorithms: 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers

Combinatorial Algorithms: 25th International Workshop,...
Author: Kratochvíl Jan , Mirka Miller ISBN: 9783319193144 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-workshop proceedings of the 25th International Workshop on Combinatorial... Read More >>

Intuitionistic Fuzzy Aggregation and Clustering

Intuitionistic Fuzzy Aggregation and Clustering
Author: Zeshui Xu ISBN: 9783642436123 Format: Paperback	$290.37
An inclusive primer on intuitionistic fuzzy clustering algorithms, this volume covers priority theory and methods... Read More >>

On Fuzziness: A Homage to Lotfi A. Zadeh – Volume 1

On Fuzziness: A Homage to Lotfi A. Zadeh – Volume 1...
Author: Rudolf Seising , Enric Trillas ISBN: 9783642448379 Format: Paperback	$448.77
This book pays homage to Professor Lotfi A. Zadeh, the ""father of fuzzy logic"" gathering accounts of personal... Read More >>

Freedom and Enforcement in Action: A Study in Formal Action Theory

Freedom and Enforcement in Action: A Study in Formal...
Author: Janusz Czelakowski ISBN: 9789401798549 Format: Hardback	$145.17
Read More >>

IfColog Journal of Logics and heir Applications. Volume 2, Number 1

IfColog Journal of Logics and heir Applications. Volume...
Author: Ifcolog ISBN: 9781848901780 Format: Paperback	$11.64
Read More >>

Formal Proofs in Maths: Book 1 First Order Algebra

Formal Proofs in Maths: Book 1 First Order Algebra
Author: Labros Asterios Batalas , Konstantinos Odysseas Lamogiannis ISBN: 9781514634448 Format: Paperback	$92.40
The scope of Formal Proofs in Maths is to teach students between higher school classes and University undergraduate... Read More >>

Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Mathematics of Program Construction: 12th International...
Author: Ralf Hinze , Janis Voigtländer ISBN: 9783319197968 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction,... Read More >>

The Mathematical Proof: "" The Method and Logic ""

The Mathematical Proof: "" The Method and Logic ""
Author: Paul F Kisak ISBN: 9781515055242 Format: Paperback	$52.67
In mathematics, a proof is a deductive argument for a mathematical statement. In the argument, other previously... Read More >>

The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II

The Road to Universal Logic: Festschrift for the 50th...
Author: Arnold Koslow , Arthur Buchsbaum ISBN: 9783319153674 Format: Paperback	$181.95
The Road to Universal Logic Read More >>

Multilevel Modeling of Secure Systems in QoP-ML

Multilevel Modeling of Secure Systems in QoP-ML
Author: Bogdan Ksiezopolski ISBN: 9781482202557 Format: Hardback	$219.91
Read More >>

Evolving Computability: 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

Evolving Computability: 11th Conference on Computability...
Author: Arnold Beckmann , Victor Mitrana ISBN: 9783319200279 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held... Read More >>

The Unknown as an Engine for Science: An Essay on the Definite and the Indefinite

The Unknown as an Engine for Science: An Essay on the...
Author: Hans J. Pirner , William D. Brewer ISBN: 9783319185088 Format: Hardback	$184.77
An attempt is made to quantify the value of information by its ability to reduce indefiniteness.The second part... Read More >>

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings

Formal Concept Analysis: 13th International Conference,...
Author: Jaume Baixeries , Christian Sacarea ISBN: 9783319195445 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 13th International Conference on Formal Concept Analysis,... Read More >>

The MIS Sin (G) Link: What School

The MIS Sin (G) Link: What School
Author: MR Michael Charles Millis , MR Michael Charles Millis ISBN: 9781514265062 Format: Paperback	$129.33
Read More >>

Page 84 of 217 ... 79 80 81 82 83 84 85 86 87 88 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now