|
|
161.
|
MICROPROCESSORS AND LOGIC DESING
by Krutz, Ronald L. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xvi,467.Publisher: New York John Wiley 1980Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6404 K948m] (1).
|
|
|
162.
|
STUDIES IN FORMAL SEMANTICS
by Guenthner, Franz | Rohrer, Christian. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,265.Publisher: Amsterdam North-Holland 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 St94] (1).
|
|
|
163.
|
TENSE AND TENSE LOGIC
by Clifford, John E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 173.Publisher: The Hague Mouton Publishers 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 C613t] (1).
|
|
|
164.
|
THE LANGUAGE OF REASON
by Richards, Thomas Joseph. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,222.Publisher: Rushcutters Bay Pergamon Press 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 401 R396l] (1).
|
|
|
165.
|
THE LOGICAL PROBLEM OF LANGUAGE ACQUISITION
by Baker, C. L [ed.] | Mccarthy, John J [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 358p.Publisher: Cambridge The Mit Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401.9 L829] (1).
|
|
|
166.
|
THE LOGICAL PROBLEM OF LANGUAGE ACQUISITION
by Baker, C. L [ed.] | Mccarthy, John J [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 358p.Publisher: Cambridge The Mit Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401.9 L829] (1).
|
|
|
167.
|
FOUNDATIONS OF LOGICO-LINGUISTICS
by Cooper, William S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,249.Publisher: Dordrecht 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410 C788f] (1).
|
|
|
168.
|
RADICAL PRAGMATICS
by Cole, Peter [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 328p.Publisher: New York Academic Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410 R118] (1).
|
|
|
169.
|
LOGIC AS GRAMMAR
by Hornstein, Norbert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,176.Publisher: Cambridge Mit Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 H784l] (1).
|
|
|
170.
|
Pragmatics
: implicature, presupposition, and logical form
by Gazdar, Gerald. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,186p.Publisher: New York Academic Press 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410 G258p] (1).
|
|
|
171.
|
PROPOSITIONAL STRUCTURE AND ILLOCUTIONARY FORCE
by Katz, Jerrold J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,249.Publisher: New York Thomas Y. Crowell 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 K945p] (1).
|
|
|
172.
|
PHILOSOPHY AND GRAMMAR
by Kanger, Stig [ed.] | Ohman, Sven [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,158p.Publisher: Dordrecht D. Reidel 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 P549] (1).
|
|
|
173.
|
American mathematical society translations
by U. S. A. American Mathematical Society. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 250p.Publisher: Rhode Island American Mathematical Society 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.6 Am3t v.113] (1).
|
|
|
174.
|
QUESTIONS
by Hiz, Henry. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,366.Publisher: Dordrecht D. Reidel Pub. 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 425 Qu38] (1).
|
|
|
175.
|
An introduction to mathematical logic and type theory: to truth through proof
by Andrews, Peter B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 304p.Publisher: Orlando Academic Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 An27i] (1).
|
|
|
176.
|
AN ALGEBRAIC INTRODUCTION TO MATHEMATICAL LOGIC
by Barnes, Donald W | Mack, John M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 121.Publisher: New York Springer-Verlag 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 B261a] (1).
|
|
|
177.
|
Symbolic logic and mechanical theorem proving
by Chang, Chin-Liang | Lee, Richard Char-Tung. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 331.Publisher: N. Y. Academic Press 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C362] (2).
|
|
|
178.
|
COMPUTER SCIENCE AND MULTIPLE-VALUED LOGIC
by Rine, David C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,548.Publisher: Amsterdam North-Holland 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C739] (1).
|
|
|
179.
|
A COURSE IN MATHEMATICAL LOGIC
by Bell, John Lane | Machover, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,599.Publisher: Amsterdam North-Holland 1977Availability: No items available Checked out (1).
|
|
|
180.
|
THE DECISION PROBLEM
by Dreben, Burton | Goldfarb, Warren D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,271.Publisher: Reading, Mass. Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D81] (1).
|
