A succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. …
The late medieval period is widely acknowledged as one of the most salient moments of the history of logic and …
Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, …
Frege's invention of the predicate calculus has been the most influential event in the history of modern logic. The calculus’ …
This book takes an idea first explored by medieval logicians 800 years ago and revisits it armed with the tools …
This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference, LENLS 2019, held in November 2022, in …
A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal …
“Collected here in one volume are some thirty-six high quality translations into English of the most important foreign-language works in …
Solomon Feferman is one of the leading figures in logic and the foundations of mathematics. This volume brings together a …
Ludwig Wittgenstein is one of the most important and influential philosophers of the twentieth century, but he is also one …
"A gem. . . . An unforgettable account of one of the great moments in the history of human thought." …
A thorough account of the philosophy of mathematics. In a cogent account the author argues against the view that mathematics …
This popular account of set theory and mathematical logic introduces the reader to modern ideas about infinity and their implications …
Many students have trouble the first time they take a mathematics course in which proofs play a sigficant role. This …
The aim of this book is to make Robinson's discovery, and some of the subsequent research, available to students with …
Set theory is the mathematics of infinity and part of the core curriculum for mathematics majors. This book blends theory …
This handbook is the definitive compendium of the methods, results, and current initiatives in modern set theory in all its …
Non-Classical Logics and their Applications to Fuzzy Subsets is the first major work devoted to a careful study of various …
I liked this book because it is a bio of Lewis Carroll from a mathematical standpoint. Yes, it does touch …
A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to …
This book is for anyone who wants to learn computer programming and knows absolutely nothing about it. Of course, if …
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the …
The aliased named 'Alice Book' is still the gold standard in database design. However it is not an easy read; …
Written by three leading researchers in the field, this book provides in-depth coverage of the theory concerning the logical level …
In the past, applied artificial intelligence systems were built with particular emphasis on general reasoning methods intended to function efficiently, …
"Discrete Mathematics for Computer Science" is the perfect text to combine the fields of mathematics and computer science. Written by …
Discrete Mathematics and its Applications is intended for one- or two-term introductory discrete mathematics courses taken by students from a …
This order was placed on 15 March 2010 with iegoldman and I still have not received the book. Emails have …
Balancing theory and relevant applications in its approach, this text covers nonhomogeneous linear recurrence relations with constant coefficients and probability …
Discrete Mathematics and its Applications, Seventh Edition, is intended for one- or two-term introductory discrete mathematics courses taken by students …
Issues (Editions)YearIssue2021Volume: 9612020Volume: 961Volume: 95234Volume: ??????2019Volume: 951Volume: 941023042018Volume: 94102Volume: 9312342017Volume: 941Volume: 93123Volume: 922342016Volume: 92124Volume: 9112342015Volume: 9402Volume: 91123Volume: 9012342014Volume: 90123Volume: 89234Volume: …