|
|
1.
|
SYNTHETIC GEOMETRY
by Jolly, Robert Franklin. Material type:  Book Description: xiv,140.Publisher: New York Holt, Rinehart And Winston c1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 513.01 J685s] (1).
|
|
|
2.
|
TERMS AND AXIOMS FOR A THEORY OF HUMAN-MACHINE SYSTEMS
by Funk, Kenneth Harding. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,183.Publisher: Columbus, Ohio Ohio State University 1980Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 620.82015113 F963t] (1).
|
|
|
3.
|
PROBABILITY THEORY WITH THE ESSENTIAL ANALYSIS
by Milton, J. Susan | Tsokos, Chris P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 339.Publisher: Reading, Mass. Addison-Wesley Publishing Co. 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.2 M642p] (1).
|
|
|
4.
|
AXIOM SYSTEMS
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: 40.Publisher: Open University Press,Walton Hall 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 OP2A] (1).
|
|
|
5.
|
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).
|
|
|
6.
|
DIRECTAND CONVERSE THEOREMS
by Gradshtein, I. S | Boddington, T. Material type: Book Description: 173.Publisher: London Pergamon Press 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 G755pE] (1).
|
|
|
7.
|
PROOF IN GEOMETRY
by Fetisov, A. I | Lange, Luise. Material type: Book Description: 55.Publisher: Boston Heath 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 513.01 F431p] (1).
|
|
|
8.
|
The axiomatic method
: an introduction to mathematical logic
by Lightstone, A. H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 246p.Publisher: New Jersey Prentice-Hall 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 L626A] (1).
|
