Mathematical logic books

Hailed by the Bulletin of the American Mathematical Society as easy to use and a pleasure to read, this research...  Read More >>

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced...  Read More >>

Fuzzy theory is an interesting name for a method that has been highly effective in a wide variety of significant,...  Read More >>

lnspired by Zadeh's fuzzy sets theory, fuzzy geometric programming emerges from the combination of fuzzy sets theory...  Read More >>

Der vorliegende Band II enthält Hausdorffs wohl wichtigstes Werk, die ""Grundzüge der Mengenlehre"" Dieses Buch...  Read More >>

A survey of semimodularity that presents theory and applications in discrete mathematics, group theory and universal...  Read More >>

This introduction to mathematical logic explores philosophical issues and G�del's Theorem. Its widespread influence...  Read More >>

This first-year graduate text assumes only an acquaintance with set theory to explore homogeneous universal models,...  Read More >>

The primary purpose of this book is to present information about selected topics on the interactions and applications...  Read More >>

The act of abstracting from our reasoning in our usual language is the stepping stone from reasoned argument to...  Read More >>

Classical two-valued logic and the related notion of a set, together with its mathematical consequences, are then...  Read More >>

This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic...  Read More >>

The Final Volume of the Groundbreaking Trilogy on Agent-Based Modeling In this pioneering synthesis, Joshua Epstein...  Read More >>

 Read More >>

Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical...  Read More >>

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum...  Read More >>

This best of collection of works by Raymond Smullyan features logic puzzles, musings on mathematical logic and...  Read More >>

 Read More >>

 Read More >>

Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this...  Read More >>

This undergraduate text teaches students what constitutes an acceptable proof, and it develops their ability to...  Read More >>

Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize 'spaces'...  Read More >>

 Read More >>

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial...  Read More >>

Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri...  Read More >>