It very much depends how it is taught. When I took it, it was very focused on using only the building blocks you were given. Step one: apply theorem 1.2b; step

It very much depends how it is taught. When I took it, it was very focused on using only the building blocks you were given. Step one: apply theorem 1.2b; step two: apply theorem 1.4a; etc. It was barely more than a search through the space of operations given. The statements proven felt trivial and the proofs needlessly convoluted and rigid. Whereas in calculus and algebra and analysis and number theory, the proofs often had different paths to prove them or different constructions/descriptions and the things we proved felt substantial.