|
|
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 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).
|
|
|
3.
|
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).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
|
|
9.
|
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).
|
|
|
10.
|
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).
|
|
|
11.
|
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).
|
|
|
12.
|
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).
|
|
|
13.
|
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).
|
|
|
14.
|
LOGIC IN ALGEBRAIC FORM
by Craig, William. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 204.Publisher: Amsterdam North-Holland Pub. 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C844] (1).
|
|
|
15.
|
INTRODUCTION TO MATHEMATICAL LOGIC
by Mendelson, Elliott. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 300.Publisher: Princeton, N. J. Van Nostrand 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M522i] (1).
|
|
|
16.
|
ALGEBRAIC THEORY OF SWITCHING CIRCUITS
by Moisil, Grigore C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 719.Publisher: Oxford Pergamon Press 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381537 M729tE] (1).
|
|
|
17.
|
FOUNDATIONS
by Ramsey, F. P | Mellor, D. H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,287.Publisher: London Routledge & Kegan Paul 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 R149f] (1).
|
|
|
18.
|
MATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE
by Kueker, David W | Smith, Carl H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,383.Publisher: New York Marcel Dekker 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M42] (1).
|
|
|
19.
|
FROM MATHEMATICS TO PHILOSOPHY
by Hao, Wang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,428.Publisher: London Routledge & Kegan Paul 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H199f] (1).
|
|
|
20.
|
An introduction to mathematical logic and type theory: to truth through proof
by Andrews, Peter B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 304p.Publisher: Orlando Academic Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 An27i] (1).
|
