|
|
121.
|
TRUTH, INTERPRETATION AND INFORMATION
by Groenendijk, Jeroen | Stokhof, Martin. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: 182.Publisher: Dordrecht Foris Publications 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 T777] (1).
|
|
|
122.
|
VARITIES OF FORMAL SEMANTICS
by Landman, Fred | Veltman, Frank. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,425.Publisher: Dordrecht Foris Publications 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 V427] (1).
|
|
|
123.
|
ON THE GRAMMAR AND SEMANTICS OF SENTENCE ACCENTS
by Gussenhoven, Carlos. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,352.Publisher: Dordrecht Foris Publications 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 G973o] (1).
|
|
|
124.
|
CONDITIONS ON RULES
by Haan, Ger De. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 229.Publisher: Dordrecht Foris Pub. 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 H111c2] (1).
|
|
|
125.
|
FROM ETYMOLOGY TO PRAGMATICS
by Sweetser, Eve. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,174.Publisher: Cambridge Cambridge Univ. Pr. 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401.43 Sw36f] (1).
|
|
|
126.
|
MASS TERMS AND MODEL THEORETIC SEMANTICS
by Bunt, Harry C. Material type: Book Description: xiii,325.Publisher: Cambridge Cambridge Univ. Pr. c1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 B885m] (1).
|
|
|
127.
|
ESSAYS IN LOGICAL SEMANTICS
by Benthem, Johan Van. Material type: Book Description: xi,225.Publisher: Dordrecht D. Reidel c1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 B445e] (1).
|
|
|
128.
|
MEANING AND GRAMMER
by Chierchia, Gennaro | Mc-Connell-Ginet, Sally. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,476.Publisher: Cambridge Mit Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 C433m] (1).
|
|
|
129.
|
A CONNECTIONIST APPROACH TO WORD SENSE DISAMBIGUATION
by Cottrell, Garrison W. Material type: Book Description: xi,220.Publisher: London Pitman c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415.0285 C829c] (1).
|
|
|
130.
|
INITIAL COMPUTABILITY, ALGEBRAIC SPECIFICATIONS, AND PARTIAL ALGEBRAS
by Reichel, Horst. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 221.Publisher: Oxford Clarendon Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 R271i] (1).
|
|
|
131.
|
SEMANTICS OF PROGRAMMING LANGUAGES
by Gunter,Carl A. Material type: Book Description: xviii,419.Publisher: Mit Press, Cambridge c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 G957S] (1).
|
|
|
132.
|
THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES
by Winskel,Glynn. Material type: Book Description: xviii,361.Publisher: Mit Press, Cambridge c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W732F] (1).
|
|
|
133.
|
FORMAL SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES
by Slonneger,Kenneth | Kurtz,Barry L. Material type: Book Description: xviii,637.Publisher: Addison-Wesley, Reading,Mass. c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 SL54F] (1).
|
|
|
134.
|
Programming logics
: an introduction to verification and semantics
by Gumb, Raymond D. Material type: Book Description: xvii, 334p.Publisher: New York John Wiley 1989Availability: No items available Checked out (1).
|
|
|
135.
|
FOR TRUTH IN SEMANTICS
by Appiah, Anthony. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 186.Publisher: Oxford Basil Blackwell 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121 Ap49f] (1).
|
|
|
136.
|
REPRESENTATION MEANING AND THOUGHT
by Gillett, Grant. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,213.Publisher: Oxford Clarendon Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121.68 G413r] (1).
|
|
|
137.
|
ALGEBRAIC THEORY OF PROCESSES
by Hannesay, Matthew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,273.Publisher: Cambridge Mit Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6420151 H196a] (1).
|
|
|
138.
|
LINGUISTICS SEMANTICS
by Lyons,John. Material type: Book Description: xvi,376.Publisher: Cambridge Univ. Press, Cambridge c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401.43 L989L] (1).
|
|
|
139.
|
COMING TO OUR SENSES
by Devitt,Michael. Material type: Book Description: x,338.Publisher: Cambridge Univ. Press, Cambridge c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121.68 D496C] (1).
|
|
|
140.
|
FICTIONAL WORLDS
by Pavel, Thomas G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,178.Publisher: Cambridge Harvard Univ. Pr. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 801.953 P288f] (1).
|
