-
Three Views of Logic : Mathematics, Philosophy, and Computer Science
Computable functions;Nonclassical mathematical logic;Proof theory;Logic, Symbolic and mathematical;Mathematics;sähkökirjat;Berechenbarkeit;Beweistheorie;Logic and Set Theory;Logic;Mathematik;Nichtklassische Logik
Loveland, Donald W;Hodel, Richard E;Sterrett, S. G - Princeton University Press 2014 Course Book.
-
Formalism and beyond : on the nature of mathematical discourse
Logic, Symbolic and mathematical;Mathematics;MATHEMATICS / Essays;MATHEMATICS / Pre-Calculus;MATHEMATICS / Reference;Mathematik;Mathematische Logik;Philosophie;sähkökirjat
Link, Godehard - De Gruyter 2014
-
Fuzzy modeling and control : theory and applications
Fuzzy mathematics;Fuzzy systems;Intelligent control systems;sähkökirjat
Jiménez, Emilio;Marichal, G. Nicolás;Matía, Fernando - Atlantis Press 2014
-
Set theory : exploring independence and truth
Logic, Symbolic and mathematical;Set theory;Mathematics;Mathematical Logic and Foundations;sähkökirjat
Schindler, Ralf-Dieter - Springer 2014
-
Set theory : with an introduction to real point sets
Point set theory;Set theory;sähkökirjat
Dasgupta, Abhijit - Birkhäuser 2014
-
Logic, Computation, Hierarchies
Algebra, Boolean;Logic, Symbolic and mathematical;Petri nets;Quasi-metric spaces;Set theory;Conference papers and proceedings;sähkökirjat;Logic;Philosophy;Theoretical Philosophy;MATHEMATICS;Mathematik
Brattka, Vasco;Diener, Hannes;Spreen, Dieter - De Gruyter 2014
-
E-recursion, forcing and C*-algebras
C*-algebras;Forcing (Model theory);Recursion theory;e-böcker
Chong, C.-T - World Scientific 2014
-
Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013
Computable functions;kokousjulkaisut;e-böcker;konferenspublikationer;Conference proceedings
Caro, Jaime D. L;Nishizaki, Shin-ya;Numao, Masayuki;Suarez, Merlin Teodosia C - World Scientific 2014
-
Type Theory and Formal Proof : An Introduction
Type theory;e-böcker
Nederpelt, Rob;Geuvers, Herman - Cambridge University Press 2014
-
Elements of Logical Reasoning
Logic, Symbolic and mathematical;Reasoning;e-böcker
Plato, Jan von - Cambridge University Press 2014
-
Simplicity theory
Logic, Symbolic and mathematical;Model theory;e-böcker
Kim, Byungham - Oxford University Press 2014 First edition.
-
Kurt Gödel : collected works. Volume IV
Logic, Symbolic and mathematical;e-böcker
Gödel, Kurt;Dawson, John W;Feferman, Solomon - Oxford University Press 2014
-
Kurt Gödel : collected works. Volume V
Logic, Symbolic and mathematical;e-böcker
Gödel, Kurt;Dawson, John W;Feferman, Solomon - Oxford University Press 2014
-
On the extraction of computational content from noneffective convergence proofs in analysis
Proof theory
Safarik, Pavol - Logos Verlag 2014
-
SNC 2014 : proceedings of the 2014 Symposium on Symbolic-Numeric Computation : July 28-31, 2014, Shanghai, China
Mathematics;Physical Sciences & Mathematics;Mathematical Theory
- ACM 2014
-
Nuts and bolts of proofs : an introduction to mathematical proofs, The
Proof theory;sähkökirjat
Cupillari, Antonella - Academic Press 2013 4th ed.
-
Logical thinking in the pyramidal schema of concepts : the logical and mathematical elements
Logic, Symbolic and mathematical;Mathematics;Computer science;Logic;Mathematical Logic and Formal Languages;Philosophy (General);sähkökirjat
Geldsetzer, Lutz;Schwartz, Richard L - Springer 2013
-
Proportionate-type normalized least mean square algorithms
Algorithms;Computer algorithms;Equations, Simultaneous;sähkökirjat
Wagner, Kevin;Doroslovački, Miloš - Wiley 2013
-
Distilling ideas : an introduction to mathematical thinking
Critical thinking;Logic, Symbolic and mathematical;Mathematics;MATHEMATICS / General;sähkökirjat
Katz, Brian P;Starbird, Michael P - Mathematical Association of America 2013 1st ed.
-
Introduction to Gödel's Theorems, An
Logic, Symbolic and mathematical;e-böcker
Smith, Peter - Cambridge University Press 2013