Search

Your search returned 11 results.

Not what you expected? Check for suggestions

Results
		Mathematical foundations of programming / Frank S. Beckman. by Beckman, Frank S. Material type: Book Publisher: Reading, Mass. : Addison-Wesley Pub., 1981 c1980Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.131 B3891 Ma. Place hold Log in to add tags Add to cart (remove)
		Computer mathematics / D.J. Cooke and H.E. Bez. by Cooke, D. J. Material type: Book Publisher: Cambridge ; Cambridge University Press, 1984 [reprint 1985]Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.131 C7744 Co. Place hold Log in to add tags Add to cart (remove)
		No cover image available 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. Place hold Log in to add tags Add to cart (remove)
		Algebra of programming / Richard Bird and Oege de Moor. by Bird, Richard. Material type: Book Publisher: New Delhi ; Prentice-Hall, 1998Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.131 B5326 Al. Place hold Log in to add tags Add to cart (remove)
		The classical decision problem / Egon Borger, Erich Gradel, and Yuri Gurevich. by Borger, Egon. Material type: Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: Exim Bank Library (1). Location(s): Exim Bank Library 511.3 B64487 Cl. Place hold Log in to add tags Add to cart (remove)
		No cover image available عبدالرحمن بدوی./ المنطق الصوری والریاضی/ Al-Mantiqu al-suri w-al- reyadi / Abdurrahman Badwi. by Badwi, Abdurrahman. Material type: Book; Language:Arabic Publisher: ایر ان: منشو رات ٹار الز خا ئر , 1368ھجریAvailability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Afro-Asian Languages/Arabic 511.3 B1443 Mu. Place hold Log in to add tags Add to cart (remove)
		Mathematical structures for computer science / Judith L. Gersting. by Gersting, Judith L. Edition: 3rd ed.Material type: Book Publisher: New York : Computer Science Press, 1993Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.131G326Ma,3. Place hold Log in to add tags Add to cart (remove)
		No cover image available بدوی،عبدالرحمن.20 المنطق الصوری والریاضی/ Al-Mantiqu al-suri w-al- reyadi عبدالرحمن بدوی. by Abdurrahman Badwi. Edition: ایر ان:Material type: Book; Language:Arabic Publisher: منشو رات ٹار الز خا ئر , Arabic 1368ھجریAvailability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Afro-Asian Languages/Arabic 511.3B1443Mu. Place hold Log in to add tags Add to cart (remove)
		Computer science: mathematical introduction/ Art Lew. by Art Lew. Material type: Book; Language:English; Format: print ; Literary form: Not fiction Publisher: Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, 1985Other title: Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.131 L58 Co. Place hold Log in to add tags Add to cart (remove)
		Can mathematics be proved consistent? : Gödel's shorthand notes & lectures on incompleteness \ Jan von Plato by Plato, Jan von. Material type: Book; Language:English; Literary form: Not fiction ; Audience: Specialized; Publisher: 2020Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 P6971 Ca. Place hold Log in to add tags Add to cart (remove)
		Course of mathematical logic / Robert Fraisse ; translated and edited by David Louvish. by Fraisse, Roland. Material type: Book Publisher: Dordrecht : D. Reidel Pub., 1974Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 F8429 Co . Place hold Log in to add tags Add to cart (remove)

Untitled Document

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