|
|
321.
|
DATA, INSTRUMENTS AND THEORY
by Ackermann, Robert John. Material type:  Book Description: xii,216.Publisher: Princeton Princeton University Press c1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501 Ac57d] (1).
|
|
|
322.
|
SCIENCE AND NECESSITY
by Bigelow, John | Pargetter, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,410.Publisher: Cambridge Cambridge Univ. Pr. 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501 B481] (1).
|
|
|
323.
|
LOGICS OF TIME AND COMPUTATION
by Goldblatt, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,131.Publisher: Menlo Park Csli 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G564L] (1).
|
|
|
324.
|
LOGIC, ALGEBRA AND DATABASES
by Gray, Peter M. D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 294.Publisher: New Delhi Affiliated East-West Press Pvt. Ltd. 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G794l] (1).
|
|
|
325.
|
LOGICAL FRAMEWORKS
by Huet, Gerard [ed.] | Plotkin, G. [ed.]. Material type: Book Description: xii, 403p.Publisher: Cambridge Cambridge Univ. Pr. c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829] (1).
|
|
|
326.
|
A FORMALIZATION OF SET THEORY WITHOUT VARIABLES
by Tarski, Alfred | Givant, Steven. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi,318.Publisher: Providence, R. I. American Mathematical Society 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 T177f] (1).
|
|
|
327.
|
Many sorted logic and its applications
by Meinke, K [ed.] | Tucker, J. V [ed.]. Material type: Book Description: xvii, 397p.Publisher: Chichester John Wiley 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M319] (1).
|
|
|
328.
|
LANGUAGE IN ACTION
by Van Benthem, Johan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,349.Publisher: Amsterdam North-Holland 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 V26L] (1).
|
|
|
329.
|
AUTOMATED THEOREM-PROVING IN NON-CLASSICAL LOGICS
by Thistlewaite, Paul B | Meyer, Robert K. Material type: Book Description: 154.Publisher: London Pitman c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T349a] (1).
|
|
|
330.
|
TOPOLOTY VIA LOGIC
by Vickers, Steven. Material type: Book Description: 200.Publisher: Cambridge Cambridge Univ. Pr. c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 514 V663t] (1).
|
|
|
331.
|
AN INTRODUCTION TO HILBERT SPACE AND QUANTUM LOGIC
by Cohen, David W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,149.Publisher: New York Springer Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.733 C66i] (1).
|
|
|
332.
|
THE LOGICAL BASIS FOR COMPUTER PROGRAMMING
by Manna, Zohar | Waldinger, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Reading, Mass. Addison-Wesley 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 M315L] (1).
|
|
|
333.
|
Essentials of error-control coding techniques
by Imai, Hideki, ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,337p.Publisher: San Diego Academic Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 Es74] (1).
|
|
|
334.
|
WARREN'S ABSTRACT MACHINE
: Hassan Ait-Kaci
by Ait-Kaci, Hassan. Material type: Book Description: xvi,114p.Publisher: Cambridge MIT Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 AI93w] (1).
|
|
|
335.
|
EARLY WRITINGS IN THE PHILOSOPHY OF LOGIC AND MATHEMATICS
by Husserl,Edmund | Bernet,Rudolf. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xlviii, 505p.Publisher: Dordrecht Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H964E] (1).
|
|
|
336.
|
HOW TO PROVE IT
by Velleman,Daniel J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,309.Publisher: Cambridge Univ. Press, Cambridge 1994Availability: No items available Checked out (1).
(1 votes)
|
|
|
337.
|
Applications of logic databases
by Ramakrishnan, Raghu [ed.]. Material type: Book Description: xxiii, 280p.Publisher: Boston Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.74 AP58] (1).
|
|
|
338.
|
Logic program synthesis from incomplete information
by Flener, Pierre. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 242p.Publisher: Boston Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.11 F63l] (1).
|
|
|
339.
|
CMOS/TTL DIGITAL SYSTEMS DESIGN
by Buchanan, James E. Material type: Book Description: xiii,258.Publisher: New York Mcgraw-Hill c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38152 B851c] (1).
|
|
|
340.
|
INTRODUCTION TO HOL
by Gordon, M. J. C | Melham, T. F. Material type: Book Description: xi,472.Publisher: Cambridge Cambridge Univ. Press c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381958 In8] (1).
|
