|
|
661.
|
METHODS OF CONTEMPORARY THOUGHT
by Bochenski, Joseph M | Caws, Peter. Material type:  Book Description: 135p.Publisher: Dordrecht, Holland D. Reidel Pub. c1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B632m] (1).
|
|
|
662.
|
MEDIEVAL LOGIC
by Boehner, Philotheus. Material type: Book Description: 130.Publisher: Manchester, Eng. Manchester University Press 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B63m] (1).
|
|
|
663.
|
PRINCIPLES OF LOGIC
by Bradley, Francis Herbert. Material type: Book Description: 2 v.Publisher: London Oxford University Press 1958Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B72p2] (1).
|
|
|
664.
|
PRINCIPLES OF LOGIC
by Bradley, Francis Herbert. Material type: Book Description: 2 v.Publisher: London Oxford University Press 1958Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B72p2] (1).
|
|
|
665.
|
ESSENTIALS OF LOGIC
by Bosanquet, Bernard. Material type: Book Description: 167.Publisher: London Macmillan 1955Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B65e] (1).
|
|
|
666.
|
The Mathematical analysis of logic
: being an essay towards a calculus of deductive reasoning
by Boole, George. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 82p.Publisher: Oxford Basil Blackwell 1951Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B64m] (1).
|
|
|
667.
|
Elements of mathematical logic
by Novikov, P. S | Boron, Leo F. [tr.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 296p.Publisher: London Oliver & Boyd 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 N858EE] (1).
|
|
|
668.
|
Time and modality
: being the John Locke lectures for 1955-6 delivered in the university of Oxford
by Prior, A. N. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 148p.Publisher: Oxford Clarendon Press 1957Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 P93T] (1).
|
|
|
669.
|
Introduction A La logique mathematique
by Sarthou, Ch. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 332p.Publisher: Paris Dunod 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 N858EF] (1).
|
|
|
670.
|
Formal logic
: translated from the German by Frederick J. Crosson
by Lorenzen, Paul | Crosson, Frederick J. [tr.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 123p.Publisher: Holland D. Reidel Publishing Company 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 L887FE] (1).
|
|
|
671.
|
INVESTIGATION OF THE LAWS OF THOUGHT
by Boole, George. Material type: Book Description: 424.Publisher: N. Y. Dover Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B64i] (1).
|
|
|
672.
|
Formal logic
by Maritain, Jacques | Choquette, Imelda [tr.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 300p.Publisher: New York Sheed & Ward 1937Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 M33pE] (1).
|
|
|
673.
|
Fundamentals of logic
by Smullyan, Arthur. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 127p.Publisher: New Jersey Prentice-Hall 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 SM85F] (1).
|
|
|
674.
|
SYSTEM OF LOGIC
: RATIOCINATIVE AND INDUCTIVE
by Mill, John Stuart. Material type: Book Description: xvi, 622p.Publisher: London Longmans 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 M61] (1).
|
|
|
675.
|
Non-standard analysis
by Robinson, Abraham. Edition: Rev. ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 293p.Publisher: Nre Jersey Princeton University Press 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 SZ9 V.37] (1).
|
|
|
676.
|
Logic and the basis of ethics
by Prior, Arthur N. Material type: Book Description: xi, 111p.Publisher: Oxford Clarendon Press 1949Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 P938l] (1).
|
|
|
677.
|
Formal logic
by Prior, A. N. Material type: Book Description: ix, 329p.Publisher: Oxford Clarendon Press 1955Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 P938f] (1).
|
|
|
678.
|
The axiomatic method with special reference to geometry and physics.
: Proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958
by Henkin, Léon [ed.] | Suppes, Patrick [ed.] | Tarski, Alfred [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 488p.Publisher: Amsterdam North-Holland Publishing 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
|
679.
|
FORMAL SYSTEMS AND RECURSIVE FUNCTIONS
: proceedings
by 8th Logic Colloquium Oxford July 1963 | Dummett, M.A.E.[ed.] Crossley, J.N.[ed.]. Material type: Book Description: 320p.Publisher: Amsterdam North-Holland 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.32] (1).
|
|
|
680.
|
An introduction to logic
by Joseph, H. W. B. Edition: 2ndMaterial type: Book Description: 608p.Publisher: Clarendon Press 1957Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 J774i2] (1).
|
