Call Number (LC) Title Results
QA9.64 .T87 1999 Mathematics behind fuzzy logic / 1
QA9.64 .T97 2018 Type-2 fuzzy logic and systems : dedicated to professor Jerry Mendel for his pioneering contribution / 1
QA9.64 .W47 2015eb Fuzzy classification of online customers / 1
QA9.64 .Y36 1994 Using fuzzy logic : towards intelligent systems / 1
QA9.64 .Y46 1999 Fuzzy logic : intelligence, control, and information / 1
QA9.64eb Proof theory for fuzzy logics 1
QA9.64 ebook Filosofía y computación / 1
QA9.65 Can mathematics be proved consistent? Gödel's shorthand notes & lectures on incompleteness /
Kurt Gödel The Princeton lectures on intuitionism /
The theory of Gödel /
Aspects of Incompleteness /
Introduction to incompleteness : from Gödel's theorems to forcing and the continuum hypothesis /
Gödel's incompleteness theorems : a guided tour through Kurt Gödel's historic proof / 		6
QA9.65 .B64 1997 The classical decision problem / 1
QA9.65 .C428 2012eb Gödel's way : exploits into an undecidable world / 1
QA9.65 .F73 2005 Gödel's theorem : an incomplete guide to its use and abuse / 1
QA9.65 .F73 2005eb Gödel's theorem : an incomplete guide to its use and abuse / 1
QA9.65.F73 2017 Gödel's Theorem : An Incomplete Guide to Its Use and Abuse. 1
QA9.65 .G46 1984 Godel's theorem simplified / 1
QA9.65 .G63 1989eb Godel's Theorem in Focus. 1
QA9.65 .H35 2020 Gödel's theorems and Zermelo's axioms : a firm foundation of mathematics / 1
QA9.65 .I58 1991 First International Symposium on Gödel's Theorems : Paris, 27-29 May, 1991 / 1
QA9.65 .K46 2022 Gödel's incompleteness theorems / 1
QA9.65 .K65 Komplexität von Entscheidungsproblemen : ein Seminar / 1
QA9.65 .K87 2011 Kurt Gödel and the foundations of mathematics : horizons of truth / 1