|
|
901.
|
Logic: techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Material type:  Book; Format:
print
; Nature of contents:  Description: x, 350p.Publisher: New York Harcourt, Brace & World 1964Availability: No items available Withdrawn (1).
|
|
|
902.
|
Logic: techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Material type: Book; Format:
print
; Nature of contents: Description: x, 350p.Publisher: New York Harcourt, Brace & World 1964Availability: No items available Withdrawn (1).
|
|
|
903.
|
Logic: techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Material type: Book; Format:
print
; Nature of contents: Description: x, 350p.Publisher: New York Harcourt, Brace & World 1964Availability: No items available Withdrawn (1).
|
|
|
904.
|
Logic: techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Material type: Book; Format:
print
; Nature of contents: Description: x, 350p.Publisher: New York Harcourt, Brace & World 1964Availability: No items available Withdrawn (1).
|
|
|
905.
|
Logic: techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Material type: Book; Format:
print
; Nature of contents: Description: x, 350p.Publisher: New York Harcourt, Brace & World 1964Availability: No items available Withdrawn (1).
|
|
|
906.
|
Logic: techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Material type: Book; Format:
print
; Nature of contents: Description: x, 350p.Publisher: New York Harcourt, Brace & World 1964Availability: No items available Withdrawn (1).
|
|
|
907.
|
Logic: techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Material type: Book; Format:
print
; Nature of contents: Description: x, 350p.Publisher: New York Harcourt, Brace & World 1964Availability: No items available Withdrawn (1).
|
|
|
908.
|
Logic: techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Material type: Book; Format:
print
; Nature of contents: Description: x, 350p.Publisher: New York Harcourt, Brace & World 1964Availability: No items available Withdrawn (1).
|
|
|
909.
|
Logic: techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Material type: Book; Format:
print
; Nature of contents: Description: x, 350p.Publisher: New York Harcourt, Brace & World 1964Availability: No items available Withdrawn (1).
|
|
|
910.
|
Logic: techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Material type: Book; Format:
print
; Nature of contents: Description: x, 350p.Publisher: New York Harcourt, Brace & World 1964Availability: No items available Withdrawn (1).
|
|
|
911.
|
Modern logic: an introduction
: Norman L Thomas
by Thomas, Norman L. Material type: Book; Format:
print
; Nature of contents: Description: xv, 236p.Publisher: New York Barnes and Noble 1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 T361m ] (1).
|
|
|
912.
|
Logical thinking
by Purtill, Richard L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 157p.Publisher: New York Harper & Row 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 610.5 M456 ] (1).
|
|
|
913.
|
Symbolic logic
by Copi, Irving Marmer. Description: xiii, 355p.Publisher: New York Macmillan Company 1954Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 C79s] (16). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 164 C79S] (3).
Withdrawn (31). Damaged (3).
|
|
|
914.
|
Deontic logic:
: introductory and systematic readings/
by Hilpinen, Risto(ed.). Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 184 p.Publisher: Dordrecht, D.Reidel [1971]Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H561] (1).
|
|
|
915.
|
Aspects of philosophical logic :
: some logical forays into central notions of linguistics and philosophy /
by Mönnich, Uwe. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii, 283 p.Publisher: Dordrecht ; Boston : D. Reidel, c1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 As63] (1).
|
|
|
916.
|
Logic and reality:
: an investigation into the idea of a dialectical system.
by Armour, Leslie. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 248 p.Publisher: Assen, Van Gorcum, 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 Ar55l] (1).
|
|
|
917.
|
Abstraction, Refinement and Proof for Probabilistic Systems
: [electronic resource] /
by McIver, Annabelle [author.] | Morgan, Carroll [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XX, 388 p. 63 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
918.
|
Coordination of Large-Scale Multiagent Systems
: [electronic resource] /
by Scerri, Paul [editor.1] | Vincent, R�gis [editor.1 ] | Mailler, Roger [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 352 p. 15 illus. online resource.Boston, MA : Springer US, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
919.
|
Adapting Proofs-as-Programs
: The Curry-Howard Protocol /
: [electronic resource] :
by Poernomo, Iman Hafiz [author.] | Wirsing, Martin [author.] | Crossley, John Newsome [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 420 p. 54 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
920.
|
Computation Engineering
: Applied Automata Theory and Logic /
: [electronic resource] :
by Gopalakrishnan, Ganesh [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXVI, 472 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
