-
Road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau. Volume I, The
Logic;sähkökirjat;Logic, Symbolic and mathematical;Béziau, Jean-Yves,
Buchsbaum, Arthur;Koslow, Arnold - Birkhäuser 2015
-
Philosophie der Mathematik
Mathematics;Philosophy;Mathematik;sähkökirjat
Murawski, Roman;Bedürftig, Thomas - De Gruyter 2015 3rd expanded edition
-
Two Applications of Logic to Mathematics
Algebra, Boolean;Logic, Symbolic and mathematical;Logic and Set Theory;Mathematics;Mathematik;MATHEMATICS / Logic;sähkökirjat
Takeuti, Gaisi - Princeton University Press 2015
-
Boolean functions : theory, fundamentals and engineering applications
Algebra, Boolean;Symmetric functions
Hines, Allen - Nova Science Publishers, Inc. 2015
-
Logic, mathematics, and computer science : modern foundations with practical applications
Logic, Symbolic and mathematical;Set theory;Number theory;Computer science
Nievergelt, Yves - Springer 2015 Second edition.
-
Refractions of mathematics education : festschrift for Eva Jablonka
Mathematics;e-böcker
Bergsten, Christer;Jablonka, Eva;Sriraman, Bharath - Information Age Publishing, Inc. 2015
-
Logic and discrete mathematics : a concise introduction, solutions manual
Logic, Symbolic and mathematical;Computer science
Conradie, Willem;Goranko, Valentin;Robinson, Claudette - Wiley 2015
-
Forcing for mathematicians
Axiom of choice;Continuum hypothesis;Forcing (Model theory);Set theory;sähkökirjat
Weaver, Nik - World Scientific 2014
-
Notes on forcing axioms
Axioms;Baire classes;Forcing (Model theory);sähkökirjat
Todorcevic, Stevo;Chong, C.-T;Feng, Qi;Slaman, T. A;Woodin, W. H;Yang, Yue - World Scientific 2014
-
Philosophy of mathematics in the twentieth century : selected essays
Logic, Symbolic and mathematical;Mathematics;sähkökirjat;Mathematik;History of Philosophy;Philosophy, other;Philosophy
Parsons, Charles - Harvard University Press 2014
-
Infinity and truth
Axiomatic set theory;Logic, Symbolic and mathematical;Mathematics;Set theory;sähkökirjat
Chong, C.-T;Feng, Qi;Slaman, T. A;Woodin, W. H - World Scientific 2014
-
Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
Gödel numbers;Numbers, Ordinal;Proof theory;Philosophy;Logic;Mathematical Logic and Foundations;sähkökirjat;Gödel numbers
Horská, Anna - Springer 2014
-
Leśniewski's systems of logic and foundations of mathematics
Logic, Symbolic and mathematical;Philosophy;Logic;Mathematical Logic and Foundations;Philosophy of Science;Leśniewski, Stanisław,;sähkökirjat
Urbaniak, Rafal - Springer 2014
-
Duality theories for Boolean algebras with operators
Algebra, Boolean;Duality theory (Mathematics);Mathematics;General Algebraic Systems;Mathematical Logic and Foundations;Order, Lattices, Ordered Algebraic Structures;sähkökirjat
Givant, Steven R - Springer 2014
-
Perspectives in computational complexity : the Somenath Biswas anniversary volume
Logic, Symbolic and mathematical;Mathematics;Mathematical Logic and Formal Languages;Mathematical Logic and Foundations;sähkökirjat
Agrawal, Manindra;Arvind, V;Biswas, S - Birkhäuser 2014
-
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012
Model theory;Number theory;Mathematics;Algebra;Analysis;Mathematical Logic and Foundations;sähkökirjat
Macpherson, Dugald;Toffalori, Carlo;Van den Dries, Lou - Springer 2014
-
Cardinal invariants on Boolean algebras
Algebra, Boolean;Cardinal numbers;Functions;sähkökirjat
Monk, J. Donald - Birkhäuser 2014 Second revised edition.
-
Logica. Dimostrazioni e modelli al primo ordine / Volume 1
Logic, Symbolic and mathematical;sähkökirjat
Abrusci, V. M;Falco, Lorenzo Tortora - Springer 2014
-
Mathematical logic : foundations for information science
Logic, Symbolic and mathematical;sähkökirjat
Li, Wei - Birkhäuser 2014 Second rev. edition.
-
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.