Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Davi Danks, David Danks, Ippoliti, Ippoliti, Emiliano Ippoliti - Building Theories
Davi Danks, David Danks, Ippoliti, Ippoliti, Emiliano Ippoliti Building Theories Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
William Lane Craig - God and Abstract Objects
William Lane Craig God and Abstract Objects Inglese 01.01.2018 Tascabile Fr. 199.00 6-7 settimane
Ermanno Bencivenga - Theories of the Logos
Ermanno Bencivenga Theories of the Logos Inglese 01.01.2018 Tascabile Fr. 124.00 6-7 settimane
Masoud Asadi-Zeydabadi, Marc Breda, Marco Breda, Paolo Massim Buscema, Paolo Massimo Buscema, Weldon A. Lodwick... - Artificial Adaptive Systems Using Auto Contractive Maps
Masoud Asadi-Zeydabadi, Marc Breda, Marco Breda, Paolo Massim Buscema, Paolo Massimo Buscema, Weldon A. Lodwick... Artificial Adaptive Systems Using Auto Contractive Maps Inglese 01.01.2018 Tascabile Fr. 135.00 6-7 settimane
Enrico Martino - Intuitionistic Proof Versus Classical Truth
Enrico Martino Intuitionistic Proof Versus Classical Truth Inglese 01.01.2018 Tascabile Fr. 135.00 6-7 settimane
Stefan Leardi, Stefano Leardi, Nicla Vassallo - Contextualism, Factivity and Closure
Stefan Leardi, Stefano Leardi, Nicla Vassallo Contextualism, Factivity and Closure Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Jens Erik Fenstad - Structures and Algorithms
Jens Erik Fenstad Structures and Algorithms Inglese 01.01.2018 Tascabile Fr. 147.00 6-7 settimane
Janus Czelakowski, Janusz Czelakowski - Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Janus Czelakowski, Janusz Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science Inglese 01.01.2019 Tascabile Fr. 117.00 6-7 settimane
Stefania Centrone, Sar Negri, Sara Negri, Deniz Sarikaya, Deniz Sarikaya et al, Peter M. Schuster - Mathesis Universalis, Computability and Proof
Stefania Centrone, Sar Negri, Sara Negri, Deniz Sarikaya, Deniz Sarikaya et al, Peter M. Schuster Mathesis Universalis, Computability and Proof Inglese 01.01.2019 Copertina rigida Fr. 158.00 6-7 settimane
Christin Weiss, Christina Weiß - Constructive Semantics
Christin Weiss, Christina Weiß Constructive Semantics Inglese 01.01.2019 Copertina rigida Fr. 158.00 6-7 settimane
Michael Friedman - A History of Folding in Mathematics
Michael Friedman A History of Folding in Mathematics Inglese 01.01.2019 Tascabile Fr. 261.00 6-7 settimane
Thoma A Henzinger, Thomas A Henzinger, Roderick Bloem, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith... - Handbook of Model Checking, 2 Teile
Thoma A Henzinger, Thomas A Henzinger, Roderick Bloem, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith... Handbook of Model Checking, 2 Teile Inglese 01.01.2020 Tascabile Fr. 169.00 6-7 settimane
Vincenz De Risi, Vincenzo De Risi - Leibniz and the Structure of Sciences
Vincenz De Risi, Vincenzo De Risi Leibniz and the Structure of Sciences Inglese 01.01.2020 Copertina rigida Fr. 179.00 6-7 settimane
Ellina Grigorieva - Methods of Solving Number Theory Problems
Ellina Grigorieva Methods of Solving Number Theory Problems Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Richar Routley, Richard Routley, Val Routley, Domini Hyde, Dominic Hyde - Noneist Explorations I
Richar Routley, Richard Routley, Val Routley, Domini Hyde, Dominic Hyde Noneist Explorations I Inglese 01.01.2019 Copertina rigida Fr. 199.00 6-7 settimane
Arnold Koslow - Laws and Explanations; Theories and Modal Possibilities
Arnold Koslow Laws and Explanations; Theories and Modal Possibilities Inglese 01.01.2020 Copertina rigida Fr. 117.00 6-7 settimane
Raymond Turner - Computational Artifacts
Raymond Turner Computational Artifacts Inglese 01.01.2019 Tascabile Fr. 207.00 6-7 settimane
Woosuk Park - Philosophy's Loss of Logic to Mathematics
Woosuk Park Philosophy's Loss of Logic to Mathematics Inglese 01.01.2019 Tascabile Fr. 84.00 6-7 settimane
Henryk Kotlarski, Zofia Adamowicz, Teres Bigorajska, Teresa Bigorajska, Konrad Zdanowski - A Model-Theoretic Approach to Proof Theory
Henryk Kotlarski, Zofia Adamowicz, Teres Bigorajska, Teresa Bigorajska, Konrad Zdanowski A Model-Theoretic Approach to Proof Theory Inglese 01.01.2019 Copertina rigida Fr. 70.00 6-7 settimane
D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... - Mechanizing Mathematical Reasoning
D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... Mechanizing Mathematical Reasoning Inglese 26.04.2005 Tascabile Fr. 135.00 6-7 settimane