Mathematical logic books

5384 books were found.

Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen

Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten...
Author: Jürgen Avenhaus ISBN: 9783540585596 Format: Paperback	$68.64
Reduktions- und Vervollstandigungstechniken dienen zum Rechnen und Schliessen in gleichungsdefinierten algebraischen... Read More >>

Selected Logic Papers: Enlarged Edition

Selected Logic Papers: Enlarged Edition
Author: Willard Van Orman Quine ISBN: 9780674798373 Format: Paperback	$72.95
For more than two generations, W.V. Quine has contributed fundamentally to the substance, the pedagogy and the philosophy... Read More >>

Fuzzy Sets Engineering

Fuzzy Sets Engineering
Author: Witold Pedrycz ISBN: 9780849394027 Format: Hardback	$475.07
This book presents the genuine essence of engineering of fuzzy sets Read More >>

Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Executable Modal and Temporal Logics: IJCAI '93 Workshop,...
Author: Michael Fisher , Richard Owens ISBN: 9783540589761 Format: Paperback	$145.07
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal... Read More >>

Non-Classical Logics and Their Applications to Fuzzy Subsets: Handbook of the Mathematical Foundations of Fuzzy Set Theory

Non-Classical Logics and Their Applications to Fuzzy...
Author: Ulrich Hohle , Erich Peter Klement ISBN: 9780792331940 Format: Hardback	$737.88
This work is a study of the relations between non-classical logics and fuzzy sets. It is aimed at all those who... Read More >>

Logic and Representation

Logic and Representation
Author: Robert C. Moore (SRI International, USA) ISBN: 9781881526162 Format: Hardback	$99.95
Read More >>

Collegium Logicum

Collegium Logicum
Author: Kurt Godel Gesellschaft ISBN: 9783211826461 Format: Paperback	$129.36
Read More >>

Classical Descriptive Set Theory

Classical Descriptive Set Theory
Author: Alexander Kechris ISBN: 9780387943749 Format: Hardback	$211.07
Descriptive set theory has been one of the main areas of research in set theory for almost a century. Over the years,... Read More >>

Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1

Features and Fluents: The Representation of Knowledge...
Author: Erik Sandewall (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linköping University, Sweden) ISBN: 9780198538455 Format: Hardback	$154.95
This research text presents and uses a novel methodology for reasoning about actions and change. The work described... Read More >>

Foundation Discrete Mathematics for Computing

Foundation Discrete Mathematics for Computing
Author: DEXTER J. BOOTH ISBN: 9780412562808 Format: Paperback	$189.95
Read More >>

Nearly Projective Boolean Algebras

Nearly Projective Boolean Algebras
Author: S. Fuchino , Lutz Heindorf ISBN: 9783540587873 Format: Paperback	$121.44
The book is a fairly complete and up-to-date survey of projectivity and its generalizations in the class of Boolean... Read More >>

Numbers, Sequences and Series

Numbers, Sequences and Series
Author: Keith Hirst (University of Southampton, UK) ISBN: 9780340610435 Format: Paperback	$116.03
Read More >>

What is a Logical System?

What is a Logical System?
Author: D. M. Gabbay (Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) ISBN: 9780198538592 Format: Hardback	$240.95
A collection of papers addressing the fundamental question what is a logical system? This book presents a wide... Read More >>

Groups of Finite Morley Rank

Groups of Finite Morley Rank
Author: Alexandre Borovik (Lecturer in Mathematics, Lecturer in Mathematics, University of Manchester Institute of Science and Technology) , Ali Nesin (Associate Professor of Mathematics, Associate Professor of Mathematics, University of California at Irvine) ISBN: 9780198534457 Format: Hardback	$252.95
Read More >>

Almost Complex Structures - Proceedings Of The International Workshop

Almost Complex Structures - Proceedings Of The International...
Author: Kouei Sekigawa (Niigata Univ, Japan) , Stancho Dimiev (Bulgarian Acad Of Sciences, Bulgaria) ISBN: 9789810221010 Format: Hardback	$240.24
The geometry of almost complex structures is fundamentally concerned with complex analysis and also mathematical... Read More >>

Inconsistent Mathematics

Inconsistent Mathematics
Author: C.E. Mortensen ISBN: 9780792331865 Format: Hardback	$446.16
Model theory for nonclassical logics is also set out so as to be able to show that the inconsistency of inconsistent... Read More >>

Type-Theoretical Grammar

Type-Theoretical Grammar
Author: Department of Philosophy Aarne Ranta (University of Helsinki) ISBN: 9781280903267 Format: Electronic book text	$509.28
Read More >>

Bounded Arithmetic, Propositional Logic and Complexity Theory

Bounded Arithmetic, Propositional Logic and Complexity...
Author: Jan Krajicek (Academy of Sciences of the Czech Republic, Prague) , G -C Rota ISBN: 9781306148450 Format: Electronic book text	$529.06
Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems.... Read More >>

Cardinal Arithmetic

Cardinal Arithmetic
Author: Saharon Shelah (Professor, Department of Mathematics, Rutgers University; Institute of Mathematics, The Hebrew University of Jerusalem) ISBN: 9780198537854 Format: Hardback	$312.95
Setting a new direction in research in the subject, this book presents a new view of cardinal arithmetic, one of... Read More >>

Type-Theoretical Grammar

Type-Theoretical Grammar
Author: Aarne Ranta ISBN: 9786610903269 Format: Electronic book text	$560.21
BL First book to apply type theory to natural language Per Martin Lof first presented constructive type theory... Read More >>

The Combinatory Programme

The Combinatory Programme
Author: K. Aberer , Erwin Engeler ISBN: 9780817638016 Format: Hardback	$311.52
Read More >>

The Theory of Lattice-Ordered Groups

The Theory of Lattice-Ordered Groups
Author: V.M. Kopytov , N.Ya. Medvedev ISBN: 9780792331698 Format: Hardback	$366.96
A partially ordered group is an algebraic object having the structure of a group and the structure of a partially... Read More >>

The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings

The Higher Infinite: Large Cardinals in Set Theory from...
Author: Akihiro Kanamori ISBN: 9783540570714 Format: Hardback	$377.52
This monograph treats a topic in advanced set theory, namely the theory of large cardinals. The material is presented... Read More >>

Nonstandard Queries and Nonstandard Answers

Nonstandard Queries and Nonstandard Answers
Author: R. Demolombe (Professor, Professor, Centre d'Études et de Recherches de Toulouse) , T. Imielinski (Professor, Department of Computer Science, Professor, Department of Computer Science, Rutgers University, New Jersey, USA) ISBN: 9780198538523 Format: Hardback	$154.95
BL A fundamental review of logic theory for database and knowledge systemsThis book, from the Studies in Logic... Read More >>

Fuzzy Thinking

Fuzzy Thinking
Author: Bart Kosko ISBN: 9780006547136 Format: Paperback	$32.99
Fuzzy logic is the next wave in technology. Japanese electronics giants have, in the last ten years, already staked... Read More >>

Page 197 of 216 ... 192 193 194 195 196 197 198 199 200 201 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now