|
|
1.
|
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).
|
|
|
2.
|
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).
|
|
|
3.
|
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).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
Prototractatus
: an early version of Tractatus logico-philosophicus
by Wittgenstein, Ludwig | McGuinness, B. F. [ed.] | Nyberg, T. [ed.] | Von Wright, G. H. [ed.] | Pears, D. F. [tr.] | McGuinness, B. F. [tr.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v, 256p 160 plates.Publisher: London Routledge and K. Paul 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 W784 COP.2] (1).
|
|
|
8.
|
AN INTRODUCTION TO TRANSFORMATIONAL GRAMMARS
by Bach, Emmon W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 205.Publisher: New York Holt, Rinehart And Winston 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.18 B122i] (1).
|
|
|
9.
|
AN INTRODUCTION TO TRANSFORMATIONAL GRAMMARS
by Bach, Emmon W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 205.Publisher: New York Holt, Rinehart And Winston 1964Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 410.18 B122i] (1).
|
|
|
10.
|
AN INTRODUCTION TO TRANSFORMATIONAL GRAMMARS
by Bach, Emmon W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 205.Publisher: New York Holt, Rinehart And Winston 1964Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 410.18 B122i] (1).
|
|
|
11.
|
STUDIES IN CONSTRUCTIVE MATHEMATICS AND MATHEMATICAL LOGIC
by Slisenko, A. O. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.1.Publisher: N. Y. Consultants Bureau 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 SL37s] (1).
|
|
|
12.
|
STUDIES IN CONSTRUCTIVE MATHEMATICS AND MATHEMATICAL LOGIC
by Slisenko, A. O. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.2.Publisher: N. Y. Consultants Bureau 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 SL37s] (1).
|
|
|
13.
|
Studies in constructive mathematics and mathematical logic
by Slisenko, A. O. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 97p.Publisher: New York Consultants Bureau 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 Sl37s] (1).
|
|
|
14.
|
AN INTRODUCTION TO MODERN MATHEMATICS
by Monjallon, Albert | Fantham, Peter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 226.Publisher: Edinburgh Oliver And Boyd 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 M749iE] (1).
|
|
|
15.
|
FOUNDATIONS OF MATHEMATICS
by Bulloff, Jack J | Hahn, S. W. Material type: Book Description: xii,195.Publisher: Berlin Heidelberg c1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 F825] (1).
|
|
|
16.
|
FOUNDATIONS OF MATHEMATICS
by Hatcher, William S. Material type: Book Description: xiii,327.Publisher: Philadelphia W. B. Saunders Co. c1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 H282f] (1).
|
|
|
17.
|
GRUNDLAGEN DER MATHEMATIK
by Hilbert, David | Bernays, Paul. Material type: Book Description: 2 v.Publisher: Berlin J. Springer 1934-Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 H54] (1).
|
|
|
18.
|
MEANING AND EXISTENCE IN MATHEMATICS
by Castonguay, Charles. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 158.Publisher: N. Y. Springer-Verlag 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C279] (1).
|
|
|
19.
|
MEANING AND EXISTENCE IN MATHEMATICS
by Castonguay, Charles. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 158.Publisher: N. Y. Springer-Verlag 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C279] (1).
|
|
|
20.
|
DEVELOPMENT OF MATHEMATICAL LOGIC
by Goodstein, R. L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 150.Publisher: London Logos Press 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G629] (1).
|
