Your search returned 14 results.

Sort
Results
Computer science & multiple-valued logic theory & applications D.C. Rine

by Rine, D.C.

Material type: Text Text Publication details: Amsterdam North-Holland Pub. Co. 1977Availability: Items available for loan: TIFR CAM Library (1)Location, call number: 18 RINE.

Contemporary logic design R.H. Katz

by Katz, R.H.

Material type: Text Text Publication details: California Benjamin/Cummings 1994Availability: Items available for loan: TIFR CAM Library (1)Location, call number: COMPUTER 18 KATZ.

Digital logic & computer design M.M. Mano

by Mano, M.M.

Material type: Text Text Publication details: New Delhi Prentice Hall of India 2000Availability: Items available for loan: TIFR CAM Library (1)Location, call number: COMPUTER 18 MANO.

Elementary logic N.D. Simco & G.G. James

by Simco, N.D & James, G.G | James, G.G.

Material type: Text Text Publication details: California Dickenson Pub. Co. Inc. 1976Availability: Items available for loan: TIFR CAM Library (1)Location, call number: 1.02 SIMC.

First-order logic R.M. Smullyan

by Smullyan, R.M.

Material type: Text Text Publication details: New York Dover Publications 1995Availability: Items available for loan: TIFR CAM Library (1)Location, call number: 1.02 SMUL.

First-order logic & automated theorem proving M.Fitting

by Fitting,M.

Series: Graduate texts in computer scienceEdition: 2Material type: Text Text Publication details: New York Springer 1996Availability: Items available for loan: TIFR CAM Library (1)Location, call number: 1.02+18 FITT.

From frege to godel source book in mathematical logic, 1879-1931 J.V. Heijenoort

by Heijenoort, J.V.

Material type: Text Text Publication details: Cambridge Harvard University Press 1967Availability: Items available for loan: TIFR CAM Library (1)Location, call number: 1.02 HEIJ.

Grundzuge der theoretischen logik D. Hilbert & W. Ackermann

by Hilbert, D & Ackermann, W | Ackermann, W.

Series: Die grundlehren der mathematischen wissenschaften- Band 27Material type: Text Text Publication details: Berlin Springer 1972Availability: Items available for loan: TIFR CAM Library (1)Location, call number: SERIES 1.02 HILB.

Introduction to mathematical logic A.Church

by Church,A.

Series: Princeton Landmarks in MathematicsMaterial type: Text Text; Literary form: Dramas Publication details: Princeton Princeton University Press Availability: Items available for loan: TIFR CAM Library (1)Location, call number: SERIES 1.02 CHUR.

Mathematical introduction to logic H.B.Enderton

by Enderton,H.B.

Edition: 2Material type: Text Text Publication details: New York Harcourt 2002Availability: Items available for loan: TIFR CAM Library (1)Location, call number: 1.02 ENDE.

Mathematical logic H.-D. Ebbinghaus, et al

by Ebbinghaus, H.-D., et al | Flum, J | Thomas, W.

Series: UTMEdition: 2Material type: Text Text Publication details: New York Springer 1994Availability: Items available for loan: TIFR CAM Library (1)Location, call number: SERIES 1.02 EBBI.

Mathematical logic W.V.O. Quine

by Quine, W.V.O.

Edition: RevisedMaterial type: Text Text Publication details: Cambridge Harvard University Press 1955Availability: Items available for loan: TIFR CAM Library (1)Location, call number: 1.02 QUIN.

Non-standard analysis A. Robinson

by Robinson, A.

Series: Princeton landmarks in mathematics & physicsMaterial type: Text Text Publication details: New Jersey Princeton University Press 1996Availability: Items available for loan: TIFR CAM Library (1)Location, call number: SERIES 4.14 ROBI.

Threshold logic & its applications S. Muroga

by Muroga, S.

Material type: Text Text Publication details: New York Wiley-Interscience 1971Availability: Items available for loan: TIFR CAM Library (1)Location, call number: 1.02 MURO.

Pages

Powered by Koha