|
|
1.
|
LOGICS OF TIME AND COMPUTATION
by Goldblatt, Robert. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: ix,131.Publisher: Menlo Park Csli 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G564L] (1).
|
|
|
2.
|
APPROACHING SECOND
by Aaron L. Halpern,Arnold M. Zwicky | Zwicky,Arnold M. Material type: Book Description: xxiii,629.Publisher: Csli, Menlo Park c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 AP65H] (1).
|
|
|
3.
|
A THEORY OF PREDICATES
by Ackerman,Farrell. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,402.Publisher: Csli, Menlo Park 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 AC57T] (1).
|
|
|
4.
|
DIGITAL TYPOGRAPHY
by Knuth,Donald E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,685.Publisher: Csli Publications, Stanford 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 686.22544536 K786D] (1).
|
|
|
5.
|
CONSTRAINTS AND RESOURCES IN NATURAL LANGUAGE SYNTAX AND SEMANTICS
by Gosse No Bouma | Bouma,Gosse. Material type: Book Description: xx,338.Publisher: Csli Publications, Stanford c1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 C766] (1).
|
|
|
6.
|
Events as grammatical objects
: the converging perspectives of lexical semantics and syntax
by | Tenny, Carol, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 510p.Publisher: California Csli Publications 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 Ev23] (1).
|
|
|
7.
|
After Euclid
: visual reasoning and the epistemology of diagrams
by Norman, Jesse. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 176p.Publisher: California Csli Publications 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 N784a] (1).
|
|
|
8.
|
Logics of time and computation
by Goldblatt, Robert. Edition: 2nd rev. and expandedMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 180p.Publisher: Menlo Park Csli 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G564l2] (1).
|
|
|
9.
|
Conceptual structure, discourse and language
by | Goldberg, Adele E., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 503p.Publisher: Stanford Csli Publications 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 C744] (1).
|
|
|
10.
|
Language, proof and logic
by Barker-Plummer, Dave | Barwise, Jon | Etchemendy, John. Edition: 2nd ed. Description: xiii, 606p.Publisher: California CSLI 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B241l2] (1).
|
|
|
11.
|
A primer of probability logic
by Adams, Ernest W. Description: xiv, 378p.Publisher: California CSLI Publications 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Ad17p] (1).
|
