Posted by **enmoys** at May 21, 2016

2014 | 414 Pages | ISBN: 1614517835 | PDF | 19 MB

Posted by **AlexGolova** at March 30, 2018

English | 30 Jun. 2017 | ISBN: 3662553856 | 412 Pages | PDF | 7.4 MB

Posted by **Underaglassmoon** at Nov. 17, 2017

Springer | English | Dec 2017 | ISBN-10: 3319675214 | 93 pages | PDF | 1.68 mb

by Stefan Katzenbeisser (Author), Niklas Büscher (Author)

Posted by **hill0** at May 23, 2018

English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | PDF | 1.88 MB

Posted by **step778** at May 23, 2018

2004 | pages: 286 | ISBN: 1859737803 | PDF | 0,9 mb

Posted by **step778** at May 23, 2018

2015 | pages: 587 | ISBN: 3319232630 | PDF | 17,4 mb

Posted by **Jeembo** at May 22, 2018

English | 2018 | ISBN: 3319668293 | 712 Pages | PDF | 80.6 MB

This volume constitutes the proceedings of two collocated international conferences: EUSFLAT-2017 – the 10th edition of the flagship Conference of the European Society for Fuzzy Logic and Technology held in Warsaw, Poland, on September 11–15, 2017, and IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, held in Warsaw on September 13–15, 2017.

Posted by **AvaxGenius** at May 21, 2018

English | PDF | 2016 | 378 Pages | ISBN : 331944560X | 6.99 MB

This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill.

Posted by **Jeembo** at May 20, 2018

English | 2017 | ISBN: 9402411305 | 526 Pages | PDF | 10.4 MB

Essays on Husserl's Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl's work in the field of logic, of the philosophy of logic and of the philosophy of mathematics.

Posted by **AvaxGenius** at May 20, 2018

English | PDF | 1997 | 466 Pages | ISBN : 1461268559 | 92.78 MB

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics.