Generalized Quantifiers and Computation
Subtitle: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August ... Lectures (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: January 15, 2000
Language: eng
Format: Paperback
Number of pages: 139
ISBN-13: 9783540669937
Subjects: Grammar, syntax, linguistic structure; Mathematical logic; Set theory; Science/Mathematics; Logic; Computer Mathematics; Computers; Programming languages (Electronic Computers); Programming languages (Electro; Mathematics; General; Programming Languages - General; Mathematics / Logic; Ramsey theory; computational complexity; Computer Science; Computer Logic; Congresses
First sentence: The ordinary quantifiers "for some" and "for all" are not sufficient for expressing some basic mathematical concepts.