Электронный каталог

Alexandru Baltag
    Johan van Benthem on Logic and Information Dynamics [Электронный ресурс] / Alexandru Baltag, Sonja Smets. - Электроные текстовые данные. - 1007/978-3-319-06025-5. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-06025-5. - (Outstanding Contributions to Logic). - ISBN 9783319060255

Кл.слова (ненормированные):
philosophy -- logic -- Mathematical Logic and Foundations -- Logic Design -- книги издательства Springer

Alexandru Baltag Johan van Benthem on Logic and Information Dynamics [Текст : Электронный ресурс] / Alexandru Baltag, Sonja Smets, 2014

Jean-Yves Beziau
    New Directions in Paraconsistent Logic [Электронный ресурс] / Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta. - Электроные текстовые данные. - 1007/978-81-322-2719-9. - [S. l.] : Springer India, 2015. - ( час. мин.), 1007/978-81-322-2719-9. - (Springer Proceedings in Mathematics & Statistics). - ISBN 9788132227199

Кл.слова (ненормированные):
mathematics -- Mathematical Logic and Foundations -- Applications of Mathematics -- logic -- metaphysics -- книги издательства Springer

Jean-Yves Beziau New Directions in Paraconsistent Logic [Текст : Электронный ресурс] / Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta, 2015

Hans J. Pirner
    The Unknown as an Engine for Science [Электронный ресурс] / Hans J. Pirner. - Электроные текстовые данные. - 1007/978-3-319-18509-5. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-18509-5. - (The Frontiers Collection). - ISBN 9783319185095

Кл.слова (ненормированные):
physics -- History and Philosophical Foundations of Physics -- philosophy of science -- Mathematical Logic and Foundations -- книги издательства Springer

Hans J. Pirner The Unknown as an Engine for Science [Текст : Электронный ресурс] / Hans J. Pirner, 2015

Wiebe van der Hoek
    Logic, Rationality, and Interaction [Электронный ресурс] / Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. - Электроные текстовые данные. - 1007/978-3-662-48561-3. - [S. l.] : Springer Berlin Heidelberg, 2015. - ( час. мин.), 1007/978-3-662-48561-3. - (Lecture Notes in Computer Science). - ISBN 9783662485613

Кл.слова (ненормированные):
Computer science -- Mathematical Logic and Formal Languages -- Mathematical Logic and Foundations -- Discrete Mathematics in Computer Science -- Symbolic and Algebraic Manipulation -- Logics and Meanings of Programs -- книги издательства Springer

Wiebe van der Hoek Logic, Rationality, and Interaction [Текст : Электронный ресурс] / Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang, 2015

Ihsen Yengui
    Constructive Commutative Algebra [Электронный ресурс] / Ihsen Yengui. - Электроные текстовые данные. - 1007/978-3-319-19494-3. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-19494-3. - (Lecture Notes in Mathematics). - ISBN 9783319194943

Кл.слова (ненормированные):
mathematics -- Commutative Rings and Algebras -- Mathematical Logic and Foundations -- Symbolic and Algebraic Manipulation -- книги издательства Springer

Ihsen Yengui Constructive Commutative Algebra [Текст : Электронный ресурс] / Ihsen Yengui, 2015

Roberto Gorrieri
    Introduction to Concurrency Theory [Электронный ресурс] / Roberto Gorrieri, Cristian Versari. - Электроные текстовые данные. - 1007/978-3-319-21491-7. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-21491-7. - (Texts in Theoretical Computer Science. An EATCS Series). - ISBN 9783319214917

Кл.слова (ненормированные):
Computer science -- Theory of Computation -- Mathematics of Computing -- Software Engineering/Programming and Operating Systems -- Mathematical Logic and Foundations -- книги издательства Springer

Roberto Gorrieri Introduction to Concurrency Theory [Текст : Электронный ресурс] / Roberto Gorrieri, Cristian Versari, 2015

David A. Cox
    Ideals, Varieties, and Algorithms [Электронный ресурс] / David A. Cox, John Little, Donal O'Shea. - Электроные текстовые данные. - 1007/978-3-319-16721-3. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-16721-3. - (Undergraduate Texts in Mathematics). - ISBN 9783319167213

Кл.слова (ненормированные):
mathematics -- Algebraic Geometry -- Commutative Rings and Algebras -- Mathematical Logic and Foundations -- Mathematical Software -- книги издательства Springer

David A. Cox Ideals, Varieties, and Algorithms [Текст : Электронный ресурс] / David A. Cox, John Little, Donal O'Shea, 2015

Eric Badouel
    Petri Net Synthesis [Электронный ресурс] / Eric Badouel, Luca Bernardinello, Philippe Darondeau. - Электроные текстовые данные. - 1007/978-3-662-47967-4. - [S. l.] : Springer Berlin Heidelberg, 2015. - ( час. мин.), 1007/978-3-662-47967-4. - (Texts in Theoretical Computer Science. An EATCS Series). - ISBN 9783662479674

Кл.слова (ненормированные):
Computer science -- Theory of Computation -- Mathematics of Computing -- Software Engineering/Programming and Operating Systems -- Mathematical Logic and Foundations -- книги издательства Springer

Eric Badouel Petri Net Synthesis [Текст : Электронный ресурс] / Eric Badouel, Luca Bernardinello, Philippe Darondeau, 2015

Ralf Schindler
    Set Theory [Электронный ресурс] / Ralf Schindler. - Электроные текстовые данные. - 1007/978-3-319-06725-4. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-06725-4. - (Universitext). - ISBN 9783319067254

Кл.слова (ненормированные):
mathematics -- Mathematical Logic and Foundations -- книги издательства Springer

Ralf Schindler Set Theory [Текст : Электронный ресурс] / Ralf Schindler, 2014

Arnold Koslow
    The Road to Universal Logic [Электронный ресурс] / Arnold Koslow, Arthur Buchsbaum. - Электроные текстовые данные. - 1007/978-3-319-15368-1. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-15368-1. - (Studies in Universal Logic). - ISBN 9783319153681

Кл.слова (ненормированные):
mathematics -- Mathematical Logic and Foundations -- logic -- History of Mathematical Sciences -- книги издательства Springer

Arnold Koslow The Road to Universal Logic [Текст : Электронный ресурс] / Arnold Koslow, Arthur Buchsbaum, 2015