Languages
Subject
Format
Availabity
Authors

Search result

Enrico Martino - Intuitionistic Proof Versus Classical Truth
Enrico Martino Intuitionistic Proof Versus Classical Truth English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Stefan Leardi, Stefano Leardi, Nicla Vassallo - Contextualism, Factivity and Closure
Stefan Leardi, Stefano Leardi, Nicla Vassallo Contextualism, Factivity and Closure English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Vincenz De Risi, Vincenzo De Risi - Leibniz and the Structure of Sciences
Vincenz De Risi, Vincenzo De Risi Leibniz and the Structure of Sciences English 01.01.2020 Hardback Fr. 179.00 6-7 weeks
Ellina Grigorieva - Methods of Solving Number Theory Problems
Ellina Grigorieva Methods of Solving Number Theory Problems English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2019 Hardback Fr. 199.00 6-7 weeks
Raymond Turner - Computational Artifacts
Raymond Turner Computational Artifacts English 01.01.2019 Paperback / Softback Fr. 207.00 6-7 weeks
Woosuk Park - Philosophy's Loss of Logic to Mathematics
Woosuk Park Philosophy's Loss of Logic to Mathematics English 01.01.2019 Paperback / Softback Fr. 84.00 6-7 weeks
Jens Erik Fenstad - Structures and Algorithms
Jens Erik Fenstad Structures and Algorithms English 01.01.2018 Paperback / Softback Fr. 147.00 6-7 weeks
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 English 01.01.2019 Paperback / Softback Fr. 117.00 6-7 weeks
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 English 26.04.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... - Processes, Terms and Cycles: Steps on the Road to Infinity
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... Processes, Terms and Cycles: Steps on the Road to Infinity English 23.12.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Arnold Koslow - Laws and Explanations; Theories and Modal Possibilities
Arnold Koslow Laws and Explanations; Theories and Modal Possibilities English 01.01.2020 Hardback Fr. 117.00 6-7 weeks
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 English 01.01.2019 Hardback Fr. 158.00 6-7 weeks
Christin Weiss, Christina Weiß - Constructive Semantics
Christin Weiss, Christina Weiß Constructive Semantics English 01.01.2019 Hardback Fr. 158.00 6-7 weeks
Michael Friedman - A History of Folding in Mathematics
Michael Friedman A History of Folding in Mathematics English 01.01.2019 Paperback / Softback Fr. 261.00 6-7 weeks
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 English 01.01.2020 Paperback / Softback Fr. 169.00 6-7 weeks
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 English 01.01.2019 Hardback Fr. 70.00 6-7 weeks
Oliver Boldt, Helmut Jürgensen - Automata Implementation
Oliver Boldt, Helmut Jürgensen Automata Implementation English 24.10.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Mauro Di Nasso, Isaac Goldbring, Martino Lupini - Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
Mauro Di Nasso, Isaac Goldbring, Martino Lupini Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory English 24.05.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Ervin Gyori, Ervin Györi, Gyula Katona, Gyula O. H Katona, Gyula O. H. Katona, Gyula O.H. Katona... - More Sets, Graphs and Numbers
Ervin Gyori, Ervin Györi, Gyula Katona, Gyula O. H Katona, Gyula O. H. Katona, Gyula O.H. Katona... More Sets, Graphs and Numbers English 14.04.2009 Hardback Fr. 135.00 6-7 weeks