We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows ...

OF all the branches of philosophy, logic alone has had the distinction of being claimed by the exact sciences as one of them. The event is of recent occurrence; in fact, it has happened only since ...

This course will discuss fundamental concepts and tools in discrete mathematics with emphasis on their applications to computer science. Example topics include logic and Boolean circuits; sets, ...