Refine your search

Your search returned 470 results.

Not what you expected? Check for suggestions
Sort
Results
Master handbook of digital logic applications / by William L. Hunter.

by Hunter, William L.

Material type: TextBook Publisher: Blue Ridge Summit, Pa. : Tab Books, 1976Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 621.38153 H919 Ma.

Decision table software : a handbook / by Herman McDaniel.

by McDaniel, Herman.

Material type: TextBook Publisher: Princeton : Brandon/Systems Press, 1970Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.12028 M141 De.

Computer logic, testing, and verification / J. Paul Roth.

by Roth, J. Paul.

Material type: TextBook Publisher: Potomac, Md. : Computer Science Press, c1980Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.10287 R7424 Co.

6800 programming for logic design / by Adam Osborne.

by osborne, Adam.

Material type: TextBook Publisher: Berkeley, Calif. : A. Osborne and Associates, c1977Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.26 Os15 Si.

Z80 programming for logic design / by Adam Osborne ... [et al.].

Material type: TextBook Publisher: Berkeley, Calif. : Osborne, c1978Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.1 Os15 Z.

Self-reference and modal logic / C. Smorynski.

by Smorynski, C.

Material type: TextBook Publisher: New York : Springer-Verlag, c1985Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Sm79 Se.

Logical writings / Jacques Herbrand ; edited by Warren D. Goldfarb ; a translation of the Ecrits logiques, edited by Jean Van Heijenoort.

by Herbrand, Jacques.

Material type: TextBook Publisher: Dordrecht, Holland : D. Reidel Pub., 1971Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 H417 Lo.

Ancient formal logic / I.M. Bochenski.

by Bochenski, Joseph M.

Material type: TextBook Publisher: Amsterdam : North-Holland Pub., 1963Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 B6311 An.

Elements of mathematical logic and set theory / by J. Supecki and L. Borkowski ; translated by O. Wojtasiewicz.

by Supecki, Jerzy.

Material type: TextBook Publisher: Oxford : Pergamon Press, 1967Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Su761 El.

Notes on logic / by Roger C. Lyndon.

by Lyndon, Roger C.

Material type: TextBook Publisher: Princeton : D. Van Nostrand, 1966Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 L992 No.

The calculi of lambda-conversion / by Alonzo Church.

by Church, Alonzo.

Material type: TextBook Publisher: Princeton : Princeton University Press, 1941Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 C4732 Ca.

Digital logic/computational integrated circuits / Derivation and Tabulation Associates inc.

Material type: TextBook Publisher: Pine Brook, N.J. : D.A.T.A., 1977Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (2). Location(s): Science 621.3825 D445 Di,2.

Degrees of unsolvability / Joseph R. Shoenfield.

by Shoenfield, Joseph R.

Material type: TextBook Publisher: Amsterdam : North-Holland Pub., 1971Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Sh736 De.

Constructive formalism : essays on the foundations of mathematics R L Goodstein

by Goodstein, R L.

Material type: TextBook Publisher: leiceeter Leicester University Press 1965Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science .

Threshold logic : a synthesis approach / Michael L. Dertouzos.

by Dertouzos, Michael L.

Material type: TextBook Publisher: Cambridge : M. I. T. Press, 1965Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 621.38152 D4489 Th.

Logic, methodology and philosophy of science : proceedings of the 1964 international congress / edited by Yehoshua Bar-Hillel.

Material type: TextBook Publisher: Amsterdam : North-Holland Pub., 1965Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 501.5113 In842 Lo.

Dialectical logic : essays on its history and theory / E.V. Ilyenkov ; translated from the Russian by H. Campbell Creighton.

by Ilenkov, Evald Vasilevich.

Material type: TextBook Publisher: Moscow : Progress Publishers, 1977Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Humanities 160 Il3 Di.

Algebra of programming / Richard Bird and Oege de Moor.

by Bird, Richard.

Material type: TextBook Publisher: New Delhi ; Prentice-Hall, 1998Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.131 B5326 Al.

Computation as logic / Rene Lalement ; translated by John Plaice.

by Lalement, Rene.

Material type: TextBook Publisher: Masson : Prentice-Hall, c1993Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.131 L152 Co.

Pages
Untitled Document
Designed & Developed by IT Support | © Dr B R Ambedkar Central Library, JNU, New Delhi 2021