-
Logic and discrete mathematics : a concise introduction
Computer science;Logic, Symbolic and mathematical;sähkökirjat
Conradie, Willem;Goranko, Valentin - Wiley 2015
-
Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics
Logic, Symbolic and mathematical;Mathematics;Model theory;Set theory;Väänänen, J;e-böcker
Hirvonen, Åsa;Kontinen, Juha;Kossak, Roman;Villaceves, Andrés - de Gruyter 2015
-
Foundations of computability theory, The
Computable functions;Computer science;sähkökirjat
Robič, Borut - Springer 2015
-
Higher-order computability
Computable functions;Computer science;sähkökirjat
Longley, John;Normann, Dag - Springer 2015
-
Frontiers of combining systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings
Computer science;Logic, Symbolic and mathematical;Conference papers and proceedings;sähkökirjat
Lutz, Carsten;Ranise, Silvio - Springer 2015
-
Logic, language, information, and computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Language and logic;Logic, Symbolic and mathematical;Artificial Intelligence (incl. Robotics);Mathematical Logic and Formal Languages;Symbolic and Algebraic Manipulation;sähkökirjat
De Paiva, Valeria;Leivant, Daniel Maurice Raphaël;Moss, Lawrence Stuart;Oliveira, Anjolina G. de;Queiroz, Ruy J. G. B. de - Springer 2015
-
Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Computable functions;Computer science;Algorithm Analysis and Problem Complexity;Computation by Abstract Devices;Mathematical Logic and Formal Languages;Mathematics of Computing;sähkökirjat
Beckmann, Arnold;Mitrana, Victor;Soskova, Mariya - Springer 2015
-
Functions and generality of logic : reflections on Dedekind's and Frege's logicisms
Algebraic functions;Algebraic logic;Logic, Symbolic and mathematical;Cantor, Georg,;Frege, Gottlob,;sähkökirjat
Benis-Sinaceur, Hourya;Panza, Marco;Sandu, Gabriel - Springer 2015
-
Positive Dynamical Systems in Discrete Time : Theory, Models, and Applications
Arithmetic;Set theory;Logic, Symbolic and mathematical;Mathematik;sähkökirjat
Krause, Ulrich - De Gruyter 2015
-
Transactions on rough sets XIX
Decision trees;Fuzzy sets;Rough sets;sähkökirjat
Peters, James F - Springer 2015
-
Set-theoretic methods in control
Control theory;Lyapunov stability;Set theory;sähkökirjat
Blanchini, Franco;Miani, Stefano - Birkhäuser 2015 Second edition.
-
Petr Hájek on mathematical fuzzy logic
Fuzzy logic;Fuzzy mathematics;Hájek, Petr;sähkökirjat
Montagna, Franco - Springer 2015
-
Logic and its applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings
Logic, Symbolic and mathematical;Conference proceedings;sähkökirjat
Banerjee, Mohua;Krishna, Shankara Narayanan - Springer 2015
-
Why prove it again? : alternative proofs in mathematical practice
Proof theory;sähkökirjat
Dawson, John W - Birkhäuser 2015
-
Gentzen's centenary : the quest for consistency
Proof theory;Gentzen, Gerhard;sähkökirjat
Kahle, Reinhard;Rathjen, Michael - Springer 2015
-
Boolean representations of simplicial complexes and matroids
Algebra, Boolean;Boolean matrices;sähkökirjat
Rhodes, John L;Silva, Pedro V - Springer 2015
-
Proof patterns
Number theory;Proof theory;sähkökirjat
Joshi, Mark - Springer 2015
-
Facets of uncertainties and applications : ICFUA, Kolkata, India, December 2013
Fuzzy logic;Logic, Symbolic and mathematical;Uncertainty (Information theory);Conference papers and proceedings;sähkökirjat
Chakraborty, Mihir;Kar, Samarjit;Māiti, Manorañjana;Skowron, Andrzej - Springer 2015
-
Equationally-defined commutator : a study in equational logic and algebra, The
Algebraic logic;Equations;sähkökirjat
Czelakowski, Janusz - Birkhäuser 2015
-
Road to universal logic : festschrift for the 50th birthday of Jean-Yves Béziau. Volume II, The
Logic, Symbolic and mathematical;Logic;sähkökirjat;Mathematics;Béziau, Jean-Yves,
Buchsbaum, Arthur;Koslow, Arnold - Birkhäuser 2015