Syntactic Theory: A Formal Introduction
by Ivan A. Sag, Thomas Wasow
Publisher: Center for the Study of Language 1999
Number of pages: 483
This textbook grew out of our efforts to develop teaching material for the undergraduate-level Introduction to Syntax course that has been taught at Stanford University for over twenty years. It is particularly well suited to general readers or those who work in disciplines related to linguistics, such as psychology, philosophy, mathematics, or computer science.
Download or read it online for free here:
by Jon Barwise, John Etchemendy - Center for the Study of Language
The book covers the boolean connectives, formal proof techniques, quantifiers, basic set theory, induction, proofs of soundness and completeness for propositional and predicate logic, and an accessible sketch of Godel's first incompleteness theorem.
by Zellig S. Harris - University Of Chicago Press
This set of structural methods for descriptive linguistics is intended both for students of linguistics and for persons who may be interested in linguistics. The techniques are given here in some detail, without employing the terminology of logic.
by Bernard Paul Sypniewski - Rowan University
This monograph was written to make it easier for those curious about AUG to understand this interesting linguistic theory. Topics: A description of the semiotic theory of language; Phonology; Genotype Grammar; Phenotype Grammar; and Methodology.
by Ermanno Bencivenga - University of California Press
The author offers a stylistically and conceptually exciting investigation of the nature of language, mind, and personhood and the many ways the three connect. Bencivenga contests the basic assumptions of analytic approaches to these topics.