Results
|
|
|
|
|
|
|
|
|
|
|
6800 programming for logic design / by Adam Osborne.
by osborne, Adam. Material type: Book 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.
|
|
|
|
|
|
Self-reference and modal logic / C. Smorynski.
by Smorynski, C. Material type: Book Publisher: New York : Springer-Verlag, c1985Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Sm79 Se.
|
|
|
|
|
|
|
|
|
Ancient formal logic / I.M. Bochenski.
by Bochenski, Joseph M. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1963Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 B6311 An.
|
|
|
|
|
|
Notes on logic / by Roger C. Lyndon.
by Lyndon, Roger C. Material type: Book 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: Book Publisher: Princeton : Princeton University Press, 1941Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 C4732 Ca.
|
|
|
|
|
|
Degrees of unsolvability / Joseph R. Shoenfield.
by Shoenfield, Joseph R. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1971Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Sh736 De.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|