(Ilmumisaeg: 05-Jan-2024, Paperback / softback, Kirjastus: Centre for the Study of Language & Information, ISBN-13: 9781684000005)
A comprehensive introduction to logics central concepts. This book provides a concise but detailed account of modern logics three cornerstones: the completeness of first-order logic, Gödels Incompleteness Theorems, and Turings analysis...Loe edasi...
Drawing from the lecture notes for a semester-long program for advanced undergraduate students, Katz and Reimann introduce Ramsey theory. The material should be accessible to anyone who has completed a first set of proof-based mathematics courses...Loe edasi...
