Electronic catalog

Gilles Dowek
    Rewriting and Typed Lambda Calculi [Электронный ресурс] / Gilles Dowek. - Электроные текстовые данные. - 1007/978-3-319-08918-8. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-08918-8. - (Lecture Notes in Computer Science). - ISBN 9783319089188

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

Gilles Dowek Rewriting and Typed Lambda Calculi [Текст : Электронный ресурс] / Gilles Dowek, 2014

Gabriele Lolli
    From Logic to Practice [Электронный ресурс] / Gabriele Lolli, Marco Panza, Giorgio Venturi. - Электроные текстовые данные. - 1007/978-3-319-10434-8. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-10434-8. - (Boston Studies in the Philosophy and History of Science). - ISBN 9783319104348

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

Gabriele Lolli From Logic to Practice [Текст : Электронный ресурс] / Gabriele Lolli, Marco Panza, Giorgio Venturi, 2015

Claudio Calosi
    Mereology and the Sciences [Электронный ресурс] / Claudio Calosi, Pierluigi Graziani. - Электроные текстовые данные. - 1007/978-3-319-05356-1. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-05356-1. - (Synthese Library). - ISBN 9783319053561

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

Claudio Calosi Mereology and the Sciences [Текст : Электронный ресурс] / Claudio Calosi, Pierluigi Graziani, 2014

María Manzano
    The Life and Work of Leon Henkin [Электронный ресурс] / María Manzano, Ildikó Sain, Enrique Alonso. - Электроные текстовые данные. - 1007/978-3-319-09719-0. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-09719-0. - (Studies in Universal Logic). - ISBN 9783319097190

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

María Manzano The Life and Work of Leon Henkin [Текст : Электронный ресурс] / María Manzano, Ildikó Sain, Enrique Alonso, 2014