Grundlagen

Ger Schubring, Gert Schubring - Hermann Günther Graßmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar
Ger Schubring, Gert Schubring Hermann Günther Graßmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar Englisch 08.10.2010 Taschenbuch Fr. 236.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jaakko Hintikka - Language, Truth and Logic in Mathematics
Jaakko Hintikka Language, Truth and Logic in Mathematics Englisch 19.10.2010 Taschenbuch Fr. 188.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
B T M Roerdink, B T M Roerdink, Henk J. A. M. Heijmans, Henk J.A.M. Heijmans, Hen J A M Heijmans, Henk J A M Heijmans... - Mathematical Morphology and its Applications to Image and Signal Processing
B T M Roerdink, B T M Roerdink, Henk J. A. M. Heijmans, Henk J.A.M. Heijmans, Hen J A M Heijmans, Henk J A M Heijmans... Mathematical Morphology and its Applications to Image and Signal Processing Englisch 19.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Andrea Cantini, Ettor Casari, Ettore Casari, Pierluigi Minari - Logic and Foundations of Mathematics
Andrea Cantini, Ettor Casari, Ettore Casari, Pierluigi Minari Logic and Foundations of Mathematics Englisch 18.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
R Cignoli, R L Cignoli, R. L. Cignoli, R.L. Cignoli, Roberto L. O. Cignoli, I.M. d'Ottaviano... - Algebraic Foundations of Many-Valued Reasoning
R Cignoli, R L Cignoli, R. L. Cignoli, R.L. Cignoli, Roberto L. O. Cignoli, I.M. d'Ottaviano... Algebraic Foundations of Many-Valued Reasoning Englisch 20.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
G Gerla, G. Gerla, Giangiacomo Gerla - Fuzzy Logic
G Gerla, G. Gerla, Giangiacomo Gerla Fuzzy Logic Englisch 07.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Larisa Angstenberger - Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering
Larisa Angstenberger Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering Englisch 07.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
John-Jule Ch Meyer, John-Jules Ch Meyer, J. -J. Ch. Meyer, John-Jules Meyer, John-Jules Ch. Meyer, Treur... - Dynamics and Management of Reasoning Processes
John-Jule Ch Meyer, John-Jules Ch Meyer, J. -J. Ch. Meyer, John-Jules Meyer, John-Jules Ch. Meyer, Treur... Dynamics and Management of Reasoning Processes Englisch 07.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Y Gauthier, Y. Gauthier, Yvon Gauthier - Internal Logic
Y Gauthier, Y. Gauthier, Yvon Gauthier Internal Logic Englisch 07.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Peter B Andrews, Peter B. Andrews - An Introduction to Mathematical Logic and Type Theory
Peter B Andrews, Peter B. Andrews An Introduction to Mathematical Logic and Type Theory Englisch 07.10.2010 Taschenbuch Fr. 147.00 6-7 Wochen
D Kamareddine, F D Kamareddine, F. D. Kamareddine, F.D. Kamareddine, Fairouz D. Kamareddine - Thirty Five Years of Automating Mathematics
D Kamareddine, F D Kamareddine, F. D. Kamareddine, F.D. Kamareddine, Fairouz D. Kamareddine Thirty Five Years of Automating Mathematics Englisch 18.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
F Kamareddine, F D Kamareddine, F. D. Kamareddine, F.D. Kamareddine, Laan, T Laan... - A Modern Perspective on Type Theory
F Kamareddine, F D Kamareddine, F. D. Kamareddine, F.D. Kamareddine, Laan, T Laan... A Modern Perspective on Type Theory Englisch 07.10.2010 TIPP Taschenbuch Fr. 199.00 6-7 Wochen
A Markov, A A Markov, A. A. Markov, A.A. Markov, N M Nagorny, N. M. Nagorny... - The Theory of Algorithms
A Markov, A A Markov, A. A. Markov, A.A. Markov, N M Nagorny, N. M. Nagorny... The Theory of Algorithms Englisch 19.10.2010 Taschenbuch Fr. 188.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jea A Larson, Jean A Larson, Joan Bagaria, Joan Bagaria et al, Jean A. Larson, A. R. D. Mathias... - Set Theory
Jea A Larson, Jean A Larson, Joan Bagaria, Joan Bagaria et al, Jean A. Larson, A. R. D. Mathias... Set Theory Englisch 19.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
A E Evseev, A. E. Evseev, A.E. Evseev, E Ljapin, E S Ljapin, E. S. Ljapin... - The Theory of Partial Algebraic Operations
A E Evseev, A. E. Evseev, A.E. Evseev, E Ljapin, E S Ljapin, E. S. Ljapin... The Theory of Partial Algebraic Operations Englisch 19.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Sten Lindström, Eri Palmgren, Erik Palmgren, Krister Segerberg, Krister Segerberg et al, Viggo Stoltenberg-Hansen - Logicism, Intuitionism, and Formalism
Sten Lindström, Eri Palmgren, Erik Palmgren, Krister Segerberg, Krister Segerberg et al, Viggo Stoltenberg-Hansen Logicism, Intuitionism, and Formalism Englisch 24.01.2011 Taschenbuch Fr. 261.00 6-7 Wochen
David Makinson, Jace Malinowski, Jacek Malinowski, Heinrich Wansing - Towards Mathematical Philosophy
David Makinson, Jace Malinowski, Jacek Malinowski, Heinrich Wansing Towards Mathematical Philosophy Englisch 21.12.2010 Taschenbuch Fr. 188.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Leonar Bolc, Leonard Bolc, Piotr Borowik - Many-Valued Logics 1. Vol.1
Leonar Bolc, Leonard Bolc, Piotr Borowik Many-Valued Logics 1. Vol.1 Englisch 14.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Cristian S Calude, Cristian S. Calude - Information and Randomness
Cristian S Calude, Cristian S. Calude Information and Randomness Englisch 12.10.2010 Taschenbuch Fr. 79.00 6-7 Wochen
Yve Bertot, Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring - Interactive Theorem Proving and Program Development
Yve Bertot, Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring Interactive Theorem Proving and Program Development Englisch 29.01.2013 Taschenbuch Fr. 110.00 6-7 Wochen