|
1.
|
Resolution proof systems
: an algebraic theory
by Stachniak, Zbigniew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 206p.Publisher: Dordrecht Kluwer Academic 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 St12r] (1).
|
|
2.
|
An introduction to symbolic logic
by Langer, Susanne K. Edition: 2nd revMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 367p.Publisher: New York Dover Publications 1953Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 L26I2] (1).
|
|
3.
|
Fundamentals of symbolic logic
by Ambrose, Alice | Lazerowitz, Morris. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 328p.Publisher: New York Holt 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 Am78f2] (2).
|
|
4.
|
Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957
by | Institute For Defense Analyses | American Mathematical Society. Material type: Book Description: 427p.Publisher: 2nd Institute For Defense Analyses 1960Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164.082 Su64s2] (1).
|
|
5.
|
Symbolic logic and language
: a programmed text
by Dickoff, James | James, Patricia. Material type: Book Description: 1 v. (various pagings).Publisher: New York Mcgraw-Hill 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 D561s] (1).
|
|
6.
|
Introduction to logic
: [electronic resource] /
by Genesereth, Michael R 1948- | Kao, Eric. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiii, 151 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
7.
|
Introduction to logic /
by Genesereth, Michael R 1948-, [author.] | Kao, Eric [author.]. Edition: Second edition.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xi, 151 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2013.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
8.
|
Introduction to logic /
by Genesereth, Michael R 1948-, [author.] | Kao, Eric [author.]. Edition: Third edition.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiii, 163 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2017.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|