The authors offer a clear, succinct and basic introduction to set theory and formal logic. There is also a discussion of the relation between linguistics and logical analysis and between logic and natural language. This book is particularly intended for linguists and others interested in languages.