Dictionary
Type a word in English or Spanish. English is blue, Spanish is rose. Tap any line to hear it.
mathematical logic
English
- 🔊 any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity