|
|
1361.
|
THE GALACTIC NOVAE
by Payne-Gaposchkin, Cecilia. Material type:  Book Publisher: North-Holland 1957Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 523.84 G15G] (1).
|
|
|
1362.
|
THE GALACTIC NOVAE
by Payne-Gaposchkin, Cecilia. Material type: Book Publisher: North-Holland 1957Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 523.8446 P292G] (1).
|
|
|
1363.
|
RECURSIVE ANALYSIS
by Goodstein, R.L. Material type: Book Publisher: North-Holland 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
|
1364.
|
EQUIVALENTS OF THE AXIOM OF CHOICE
by Rubin, Harman | Rubin, Jean E. Material type: Book Publisher: North-Holland 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.29] (1).
|
|
|
1365.
|
Progresss in solid mechanics. [v.2]
by | Hill, R., Ed. Material type: Book Description: xi, 330p.Publisher: Amsterdam North-Holland Publishing Company 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 531 P943] (1).
|
|
|
1366.
|
Progress in the astronautical sciences v.1
by | Singer, S.F. Ed. Material type: Book Description: xi, 416p.Publisher: Amsterdam North Holland Publishing 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.588 P944] (1).
|
|
|
1367.
|
Alpha beta and gamma ray spectroscopy [v.1]
by Siegbahn, Kai | Siegbhan, Kai [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 862p.Publisher: Amsterdam North-Holland Pub. Co. 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 539.7 Si2a [Vol.1]] (1).
|
|
|
1368.
|
AXIOMATIC SET THEORY
by Bernays, Paul. Material type: Book Publisher: North-Holland 1958Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.20] (1).
|
|
|
1369.
|
CONSTRUCTIVITY IN MATHEMATICS
by Heyting, A. Material type: Book Publisher: North-Holland 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
|
1370.
|
Recursive number theory
: a development of recursive arithmetic in a logic-free equation calculus.
by Goodstein, R. L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 190p.Publisher: Amsterdam North-Holland Publishing 1957Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
|
1371.
|
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).
|
|
|
1372.
|
A TRANSFINITE TYPE THEORY WITH TYPE VARIABLES
by Andrews, P.B. Material type: Book Publisher: North-Holland 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: A60 ST9] (1).
|
|
|
1373.
|
THE THEORY OF MODELS
by Addison, J.W., Henkin, Leon | Tarski, Alfred. Material type: Book Publisher: North-Holland 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
|
1374.
|
LANGUAGES WITH EXPRESSIONS OF INFINITE LENGTH
by Karp, Carol R. Material type: Book Publisher: North-Holland 1964Availability: No items available Checked out (1).
|
|
|
1375.
|
TOWARD A SYSTEMATIC PARGMATICS
by Martin, R.M. Material type: Book Publisher: North-Holland 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
|
1376.
|
INTRODUCTION TO THE THEORY OF FINITE AUTOMATA
by Kobrinskii, N.E | Trakhtanbrot, B.A. Material type: Book Publisher: North-Holland 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
|
1377.
|
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).
|
|
|
1378.
|
THE GREEN FLASH AND OTHER LOW SUN PHENOMENA
by O,Connell, D.J.K. Material type: Book Publisher: North-Holland 1958Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 523.72 OC5G] (1).
|
|
|
1379.
|
STELLAR POPULATIONS
by O'Connell, D.J.K. Material type: Book Publisher: North-Holland 1958Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 523.8 C76S COP.2] (1).
|
|
|
1380.
|
STELLAR POPULATIONS
by O'Connell, D.J.K. Material type: Book Publisher: North-Holland 1958Availability: No items available Withdrawn (1).
|
