| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Mi 4500 |
| 001 |
in00003580997 |
| 006 |
m o d |
| 007 |
cr mnu---uuaaa |
| 008 |
121227s1990 ne o 000 0 eng |
| 005 |
20260420205311.4 |
| 020 |
|
|
|a 9789400922136 (electronic bk.)
|
| 020 |
|
|
|a 9400922132 (electronic bk.)
|
| 020 |
|
|
|z 9789027722454
|
| 020 |
|
|
|z 9027722455
|
| 035 |
|
|
|a (OCoLC)851369965
|
| 040 |
|
|
|a AU@
|b eng
|c AU@
|d OCLCQ
|d OCLCO
|d GW5XE
|d OCLCF
|d OCLCO
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a P98-98.5
|
| 072 |
|
7 |
|a CFX
|2 bicssc
|
| 072 |
|
7 |
|a LAN009000
|2 bisacsh
|
| 072 |
|
7 |
|a COM018000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 410.285
|2 23
|
| 100 |
1 |
|
|a Partee, Barbara H.
|
| 245 |
1 |
0 |
|a Mathematical Methods in Linguistics /
|c by Barbara H. Partee, Alice Meulen, Robert E. Wall.
|
| 264 |
|
1 |
|a Dordrecht :
|b Springer Netherlands,
|c 1990.
|
| 300 |
|
|
|a 1 online resource (692 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Studies in linguistics and philosophy,
|x 0924-4662 ;
|v 30
|
| 520 |
|
|
|a Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Linguistics.
|
| 650 |
|
0 |
|a Logic.
|
| 650 |
|
0 |
|a Linguistics
|x Philosophy.
|
| 650 |
|
0 |
|a Computational linguistics.
|
| 650 |
|
7 |
|a Computational linguistics.
|2 fast
|0 (OCoLC)fst00871998
|
| 650 |
|
7 |
|a Linguistics.
|2 fast
|0 (OCoLC)fst00999202
|
| 650 |
|
7 |
|a Linguistics
|x Philosophy.
|2 fast
|0 (OCoLC)fst00999220
|
| 650 |
|
7 |
|a Logic.
|2 fast
|0 (OCoLC)fst01002014
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 700 |
1 |
|
|a Meulen, Alice.
|
| 700 |
1 |
|
|a Wall, Robert E.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 776 |
1 |
8 |
|i Print version:
|z 9789027722454
|
| 830 |
|
0 |
|a Studies in linguistics and philosophy ;
|v 30.
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-94-009-2213-6
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 5b714e46-052a-38c6-ace8-1f8317ba97b9
|i 541beb29-ecb8-32a9-adee-cc32ecf959fa
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e P98-98.5
|h Library of Congress classification
|
| 998 |
f |
f |
|a P98-98.5
|t 0
|l Available Online
|