Adicione livros em segundos com a leitura de código de barras.
Basta escanear um ISBN para adicioná-lo instantaneamente à sua biblioteca. Disponível agora para iOS e Android.
Decision Procedures for Elementary Sublanguages of Set Theory: XVI. Multilevel Syllogistic Extended by Singleton, Rank Comparison and Unary Intersection