|
|
1.
|
Dictionary of symbols and mathematical logic
by Feys, Robert [ed.] | Fitch, Frederic B. [ed.]. Material type:  Book; Literary form: Description: 171p.Publisher: Amsterdam North-Holland pub. 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164.03 F438d ] (1).
|
|
|
2.
|
PROGRAMS FROM DECISION TABLES
by Humby, E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 91.Publisher: London Macdonald 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 H881] (1).
|
|
|
3.
|
Elements of mathematical logic (model theory)
by Kreisel, G | Krivine, J. L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 222p.Publisher: Amsterdam North-Holland Publishing 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 K895EE] (1).
|
|
|
4.
|
A history of the corruptions of logic
: an inaugural lecture
by Geach, P. T. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 22p.Publisher: Leeds Leeds University Press 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.9 G26H] (1).
|
|
|
5.
|
IMPERATIVE AND THEIR LOGICS
by Moutafakis, Nicholas J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 216.Publisher: New Delhi Sterling Pub. 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 M868] (1).
|
|
|
6.
|
INTRODUCTION TO SYMBOLIC LOGIC
by Pollock, John L. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Holt, Rinehart And Winston, Inc. 1969Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 164 P765I] (1).
|
|
|
7.
|
The development of the logical method in ancient china
by Hu, Shih. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 187p.Publisher: New York Paragon Book Co. 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 181.11 H86d2] (1).
|
|
|
8.
|
MATHEMATICAL LOGIC
by Steen, S. W. P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 638.Publisher: Cambridge University Press 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 St32] (1).
|
|
|
9.
|
American mathematical society translations
by U. S. A. American Mathematical Society. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 316p.Publisher: Rhode Island American Mathematical Society 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.6 Am3t v.100] (1).
|
|
|
10.
|
Computer Logic
: the functional design of digital computers.
by Flores, Ivan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 458p.Publisher: London Prentice-Hall Inc. 1960Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.7834 F663C] (2). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 510.7834 F663C] (2).
|
|
|
11.
|
MATHEMATICAL LOGIC
by Monk, James Donald. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 581.Publisher: Berlin Springer-Verlag 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M749m] (1).
|
|
|
12.
|
ELEMENTARY INDUCTION ON ABSTRACT STRUCTURES
by Moschovakis, Yiannis N. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 218.Publisher: Amsterdam North-Holland Pub. 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M851] (1).
|
|
|
13.
|
INTRODUCTION TO MATHEMATICAL LOGIC
by Hermes, Hans | Schmidt, Diana. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 242.Publisher: Berlin Springer-Verlag 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H428eE] (1).
|
|
|
14.
|
LOGIC AND THE NATURE OF REALITY
by Kattsoff, Louis O. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Publisher: The Hague Martinus Nijhoff 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 111 K159L2] (1).
|
|
|
15.
|
Contributions to mathematical logic
: Proceedings of the Logic Colloquium, Hannover 1966
by (11th : Logic Colloquium Hannover, Germany) 1966 : | Schmidt, H. Arnold [ed.] | Schütte, K. [ed.] | Thiele, H. J. [ed.] | International Union of the History and Philosophy of Science. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 303p.Publisher: Amsterdam North-Holland 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9 v.46] (1).
|
|
|
16.
|
Readings on logic
by Copi, Irving M | Gould, James A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: iv, 316p.Publisher: New York Macmillan 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.82 C791r] (1).
|
|
|
17.
|
A modern introduction to indian logic
by Barlingay, S.S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 238p.Publisher: Delhi National Publishing House 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.954 B249m] (3).
|
|
|
18.
|
MARGINS OF PRECISION
by Black, Max. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 277.Publisher: Ithaca Cornell Univ. Press 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B561] (1).
|
|
|
19.
|
LOGIC MATTERS
by Geach, P. T. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 335.Publisher: Oxford Basil Blackwell 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G26] (1).
|
|
|
20.
|
Logic, methodology and philosophy of science III
: proceedings of the Third international congress for logic, methodology and philosophy of science, Amsterdam 1967
by (3rd International congress for logic, methodology and philosophy of science Amsterdam, Netherlands 1967 | Rootselaar, B. Van [ed.] | Staal, Frits F. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 553p.Publisher: Amsterdam North-Holland Publishing 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 IN8L] (2).
|
