|
1381.
|
Studies in statistical mechanics [v.1 cop.3]
by | Boer, J. De, Ed. Material type: Book Description: x, 350p.Publisher: Amsterdam North-Holland Publishing Co. 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.13 St94] (1).
|
|
1382.
|
DISTRIBUTIONS
: AN OUTLINE
by Marchand, Jean-Paul. Material type: Book Publisher: North-Holland Publishing Company 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.15 M331D COP.2] (1).
|
|
1383.
|
The wave mechanics of electrons in metals
by Raimes, Stanley. Material type: Book Description: xi, 366.Publisher: Amsterdam North-Holland Publishing 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.12 R132w] (1).
|
|
1384.
|
INTRODUCTION TO MODEL THEORY AND TO THE METAMATHEMATICS OF ALGEBRA
by Robinson, Abraham. Material type: Book Publisher: North-Holland 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.30] (1).
|
|
1385.
|
LINCOS
by Freudenthal, Hans. Material type: Book Publisher: North-Holland 1960Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.26] (1).
|
|
1386.
|
THE FOUNDATIONS OF MATHEMATICS
by Beth, Evert W. Material type: Book Publisher: North-Holland 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.21] (1).
|
|
1387.
|
INTRODUCTION TO THE THEORY OF FINITE AUTOMATA
by Kobrinskii, N.E | Trakhtenbrot, B.A. Material type: Book Publisher: North-Holland 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
1388.
|
THE LOGICAL SYSTEMS OF LESNIEWSKI
by Luschei, Eugene C. Material type: Book Publisher: North-Holland 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.27] (1).
|
|
1389.
|
THE USE OF ARTIFICIAL SATELLITES FOR GEODESY
by Veis, G. Material type: Book Publisher: North-Holland 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 526.1 IN8U V.1] (1).
|
|
1390.
|
JWKB APPROXIMATION
: CONTRIBUTIONS TO THE THEORY
by Froman, Nanny | Froman, Per Olof. Material type: Book Publisher: North-Holland 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.8 F926J] (1).
|
|
1391.
|
PERTURBATION THEORY AND THE NUCLEAR MANY BODY PROBLEM
by Kumar, Kailash. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: North-Holland Publishing Company 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.12 K96P] (1).
|
|
1392.
|
Elements of Hamiltonian mechanics
by Haar, D. Ter. Material type: Book Description: viii, 191p.Publisher: Amsterdam North-Holland Publishing 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 531.3 H111e] (1).
|
|
1393.
|
COLLECTED SCIENTIFIC PAPERS
by Ehrenfest, Paul. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: North-Holland Publishing Company 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.81 EH84E] (1).
|
|
1394.
|
LECTURES ON THEORETICAL RHEOLOGY
by Reiner, Markus. Material type: Book Publisher: North-Holland Publishing Company 1960Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 531.38 R275L3] (1).
|
|
1395.
|
ARISTOTLE'S MODAL SYLLOGISMS
by Mccall, Storrs. Material type: Book Publisher: North-Holland 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
1396.
|
ORDINAL ALGEBRAS
by Tarski, Alfred. Material type: Book Publisher: North-Holland 1956Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.14] (1).
|
|
1397.
|
Recursive number theory
: a development of recursive arithmetic in a logic-free equation calculus
by Goodstein, R. L. Material type: Book Description: xii, 190p.Publisher: Amsterdam North-Holland 1957Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G629r] (1).
|
|
1398.
|
MATHEMATICAL INTERPRETATION OF FORMAL SYSTEMS
by Skolem, Th. Material type: Book Publisher: North-Holland 1955Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.15] (1).
|
|
1399.
|
SOLVABLE CASES OF THE DECISION PROBLEM
by Ackermann, W. Material type: Book Publisher: North-Holland 1954Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
1400.
|
INTUITIONISM
: AN INTRODUCTION
by Heyting, A. Material type: Book Publisher: North-Holland 1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|