|
1061.
|
Symbolic logic and mechanical theorem proving
by Chang, Chin-Liang | Lee, Richard Char-Tung. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 331.Publisher: N. Y. Academic Press 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C362] (2).
|
|
1062.
|
A COURSE IN MATHEMATICAL LOGIC
by Bell, John Lane | Machover, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,599.Publisher: Amsterdam North-Holland 1977Availability: No items available Checked out (1).
|
|
1063.
|
THE DECISION PROBLEM
by Dreben, Burton | Goldfarb, Warren D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,271.Publisher: Reading, Mass. Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D81] (1).
|
|
1064.
|
MATHEMATICAL LOGIC
by Abbinghaus, Heinz-Dieter | Thomas, Wolfgang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,216.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Eb17m] (1).
|
|
1065.
|
A MATHEMATICAL INTRODUCTION TO LOGIC
by Enderton, Herbert B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,295.Publisher: New York Academic Press 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 En21m] (1).
|
|
1066.
|
COMBINATORIAL OPTIMIZATION
by Christofides, Nicos. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,425.Publisher: Chichester John Wiley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.6 C733] (1).
|
|
1067.
|
COMBINATORIAL OPTIMIZATION
by Padberg, M. W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,221.Publisher: Amsterdam North-Holland 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.6 C733o] (1).
|
|
1068.
|
COMBINATORIAL OPTIMIZATION
by Padberg, M. W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,221.Publisher: Amsterdam North-Holland 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.6 C733o] (1).
|
|
1069.
|
COLLECTED WORKS
by Godel, Kurt | Feferman, Solomon. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: New York Oup 1986Availability: No items available Withdrawn (1).
|
|
1070.
|
LOGIC AND STRUCTURE
by Dalen, Dirk Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,172.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D152] (1).
|
|
1071.
|
LOGIC AND STRUCTURE
by Dalen, Dirk Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,172.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D152] (1).
|
|
1072.
|
HANDBOOK OF MATHEMATICAL LOGIC
by Barwise, Jon. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,1165.Publisher: Amsterdam North-Holland 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H191] (1).
|
|
1073.
|
DEGREES OF UNSOLVABILITY
by Lerman, Manuel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,307.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L562d] (1).
|
|
1074.
|
UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS
by Lewis, Harry R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,198.Publisher: Reading, Mass. Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L586u] (1).
|
|
1075.
|
THE L.D.J. BROUWER CENTENARY SYMPOSIUM
by Troelstra, A. S | Dalen, D. Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,523.Publisher: Amsterdam North-Holland Pub. Company 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L968] (1).
|
|
1076.
|
DEGREES OF UNSOLVABILITY
by Lerman, Manuel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,307.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L562d] (1).
|
|
1077.
|
ANALYSIS AND DESIGN OF ALGORITHMS IN COMBINATORIAL OPTIMIZATION
by Ausiello, G | Lucertini, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 209.Publisher: Wien Springer-Verlag 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 An13] (1).
|
|
1078.
|
MATHEMATICAL MODELLING TECHNIQUES
by Aris, Rutherford. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 191.Publisher: London Pitman 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.8 Ar44m] (1).
|
|
1079.
|
INTRODUCTION TO MATHEMATICAL LOGIC
by Malitz, Jerome. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,198.Publisher: New York Springer-Verlag 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M295i] (1).
|
|
1080.
|
MATHEMATICAL CIRCUS
by Gardner, Martin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 272.Publisher: Harmondsworth Penguin Books 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 G175m] (1).
|