이미지형

• • • 
      • 더보기
    • • • Proceedings Of The 7th And 8th Asian Logic Conferences
        • Hardcover
        • Mariko Yasugi / World Scientific / S'pore Univ Press (Pte) Ltd
          
• • • 
      • 더보기
    • • • Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
        • Hardcover
        • Klaus Mainzer / World Scientific
          
• • • 
      • 더보기
    • • • Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
        • Hardcover
        • Klaus Mainzer / World Scientific
          
• • • 
      • 더보기
    • • • Quanta, Logic And Spacetime (2nd Edition)
        • Hardcover
        • Stephen A Selesnick / World Scientific
          
• • • 
      • 더보기
    • • • Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012
        • Hardcover
        • Yongming Li / World Scientific
          
• • • 
      • 더보기
    • • • Relations: Concrete, Abstract, And Applied - An Introduction
        • Hardcover
        • Herbert Toth / World Scientific
          
• • • 
      • 더보기
    • • • Saturated Model Theory (2nd Edition)
        • Hardcover
        • Gerald E Sacks / World Scientific
          
• • • 
      • 더보기
    • • • Scientific Applications Of Language Methods
        • Hardcover
        • Carlos Martin-vide / Imperial College Press
          
• • • 
      • 더보기
    • • • Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles
        • Hardcover
        • Denis R Hirschfeldt / World Scientific
          
• • • 
      • 더보기
    • • • Tale Of Discrete Mathematics, A: A Journey Through Logic, Reasoning, Structures And Graph Theory
        • Hardcover
        • Joseph Khoury / World Scientific