Basic principles

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 English 29.01.2013 Paperback / Softback Fr. 110.00 6-7 weeks
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 English 19.10.2010 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
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 English 19.10.2010 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Osca Castillo, Oscar Castillo, Patricia Melin - Type-2 Fuzzy Logic: Theory and Applications
Osca Castillo, Oscar Castillo, Patricia Melin Type-2 Fuzzy Logic: Theory and Applications English 12.10.2010 Paperback / Softback Fr. 135.00 6-7 weeks
Krassimir T Atanassov, Krassimir T. Atanassov - Intuitionistic Fuzzy Sets
Krassimir T Atanassov, Krassimir T. Atanassov Intuitionistic Fuzzy Sets English 26.10.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
Chongf Huang, Chongfu Huang, Yong Shi - Towards Efficient Fuzzy Information Processing
Chongf Huang, Chongfu Huang, Yong Shi Towards Efficient Fuzzy Information Processing English 26.10.2010 Paperback / Softback Fr. 135.00 6-7 weeks
John Mordeson, John N Mordeson, John N. Mordeson, Premchand S Nair, Premchand S. Nair - Fuzzy Mathematics
John Mordeson, John N Mordeson, John N. Mordeson, Premchand S Nair, Premchand S. Nair Fuzzy Mathematics English 26.10.2010 Paperback / Softback Fr. 179.00 6-7 weeks
Plamen P Angelov, Plamen P. Angelov - Evolving Rule-Based Models
Plamen P Angelov, Plamen P. Angelov Evolving Rule-Based Models English 26.10.2010 Paperback / Softback Fr. 135.00 6-7 weeks
Ellen Hisdal, Ellen Hisdal née Gruenwald - Logical Structures for Representation of Knowledge and Uncertainty
Ellen Hisdal, Ellen Hisdal née Gruenwald Logical Structures for Representation of Knowledge and Uncertainty English 26.10.2010 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Ulrich Kohlenbach - Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Ulrich Kohlenbach Applied Proof Theory: Proof Interpretations and their Use in Mathematics English 06.10.2010 Paperback / Softback Fr. 169.00 6-7 weeks
Kofi Kissi Dompere, Kofi Kissi Dompere - Fuzziness and Approximate Reasoning
Kofi Kissi Dompere, Kofi Kissi Dompere Fuzziness and Approximate Reasoning English 11.04.2011 Paperback / Softback Fr. 135.00 6-7 weeks
George Klir, George J Klir, George J. Klir, Mark Wierman, Mark J Wierman, Mark J. Wierman - Uncertainty-Based Information
George Klir, George J Klir, George J. Klir, Mark Wierman, Mark J Wierman, Mark J. Wierman Uncertainty-Based Information English 26.10.2010 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Vladimi Dimitrov, Vladimir Dimitrov, Korotkich, Korotkich, Victor Korotkich - Fuzzy Logic
Vladimi Dimitrov, Vladimir Dimitrov, Korotkich, Korotkich, Victor Korotkich Fuzzy Logic English 26.10.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
David Brillinger, Ender Anthony Robinson, Enders Anthony Robinson, David Brillinger, Frederic Paik Schoenberg, E.A. Robinson... - Time Series Analysis and Applications to Geophysical Systems
David Brillinger, Ender Anthony Robinson, Enders Anthony Robinson, David Brillinger, Frederic Paik Schoenberg, E.A. Robinson... Time Series Analysis and Applications to Geophysical Systems English 27.10.2010 Paperback / Softback Fr. 199.00 6-7 weeks
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 English 24.01.2011 Paperback / Softback Fr. 261.00 6-7 weeks
David Makinson, Jace Malinowski, Jacek Malinowski, Heinrich Wansing - Towards Mathematical Philosophy
David Makinson, Jace Malinowski, Jacek Malinowski, Heinrich Wansing Towards Mathematical Philosophy English 21.12.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
Martin Jackson, N Martin, N M Martin, N. M. Martin, N.M. Martin, Norman M. Martin... - Closure Spaces and Logic
Martin Jackson, N Martin, N M Martin, N. M. Martin, N.M. Martin, Norman M. Martin... Closure Spaces and Logic English 06.10.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
Ian S Shaw, Ian S. Shaw, Ian Stephan Shaw - Fuzzy Control of Industrial Systems
Ian S Shaw, Ian S. Shaw, Ian Stephan Shaw Fuzzy Control of Industrial Systems English 22.10.2010 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Solomon Feferman, Wilfried Sieg - Proofs, Categories and Computations. Essays in Honor of Grigori Mints
Solomon Feferman, Wilfried Sieg Proofs, Categories and Computations. Essays in Honor of Grigori Mints English 29.07.2010 Paperback / Softback Fr. 53.40 2-3 weeks (title will be printed to order)
A G Pinus, A. G. Pinus, A.G. Pinus - Boolean Constructions in Universal Algebras
A G Pinus, A. G. Pinus, A.G. Pinus Boolean Constructions in Universal Algebras English 19.10.2010 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)