Search

Your search returned 17 results.

Not what you expected? Check for suggestions

Results
		The lambda calculus : its syntax and semantics / H.P. Barendregt. by Barendregt, H. P. Material type: Book Publisher: Amsterdam ; North-Holland Pub., 1981Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (2). Location(s): Science 511.3 B237 La. Place hold Log in to add tags Add to cart (remove)
		Mathematical logic and formalized theories : a survey of basic concepts and results / Robert Rogers. by Rogers, Robert. 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 R6332 Ma. Place hold Log in to add tags Add to cart (remove)
		Abstract automata / Peter H. Starke. by Starke, Peter H. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1972Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 St284 Ab. Place hold Log in to add tags Add to cart (remove)
		No cover image available Combinatory logic / Haskell B. Curry, J. Roger Hindley and Jonathan P. Seldin. by Curry, Haskell B. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1972Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 C9373 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)
		No cover image available 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. Place hold Log in to add tags Add to cart (remove)
		No cover image available Introduction to metamathematics / by Stephen Cole Kleene. by Kleene, Stephen Cole. Material type: Book Publisher: Amsterdam : North-Holland Pub. ; 1952 [reprint 1974]Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 510.1 K6721 In. Place hold Log in to add tags Add to cart (remove)
		No cover image available Intuitionistic logic model theory and forcing / Melvin Chris Fitting. by Fitting, Melvin. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1969Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 F564 In. Place hold Log in to add tags Add to cart (remove)
		No cover image available Logic, methodology and philosophy of science : proceedings of the 1964 international congress / edited by Yehoshua Bar-Hillel. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1965Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 501.5113 In842 Lo. Place hold Log in to add tags Add to cart (remove)
		Data and reality : basic assumptions in data processing reconsidered / William Kent. by Kent, William. Material type: Book Publisher: Amsterdam ; North-Holland Pub., 1978Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.74 K4191 Da. Place hold Log in to add tags Add to cart (remove)
		Distributed computer systems : impact on management, design, and analysis / George A. Champine, with Ronald D. Coop, Russell C. Heinselman. by Champine, George A. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1980Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 004 C3582 Di. Place hold Log in to add tags Add to cart (remove)
		Distributed data sharing systems : proceedings of the Second International Seminar on Distributed Data Sharing Systems, held in Amsterdam, The Netherlands, 3-5 June 1981 / edited by R.P. van de Riet and W. Litwin. by Vrije Universiteit te Amsterdam. Material type: Book Publisher: Amsterdam ; North-Holland Pub. ; 1982Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.74 In865 Di. Place hold Log in to add tags Add to cart (remove)
		Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982 / edited by Domenico Ferrari, Mario Bolognani, Joseph Goguen. Material type: Book Publisher: Amsterdam ; North-Holland Pub. ; 1983Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.1 In866 Th. Place hold Log in to add tags Add to cart (remove)
		Quantum mechanics / Albert Messiah by Albert Messiah. Material type: Book Publisher: Amsterdam : North-Holland Pub, 1966-70Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (2). Location(s): Science 530.12 M5634 Qu. Place hold Log in to add tags Add to cart (remove)
		Dynamic experiments in the electron microscope / E. P. Butter, K. F. Hale. by Butter, E. P. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1981Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 502.825 B9821 Dy . Place hold Log in to add tags Add to cart (remove)
		Mathematical methods in physics / by J.S.R. Chisholm and Rosa M. Morris. by Chisholm, J. S. R. Material type: Book Publisher: Amsterdam : North-Holland Pub, 1965Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 510 C447 Ma . Place hold Log in to add tags Add to cart (remove)
		Practical methods in electron microscopy / edited by Audrey M. Glauert. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1972-Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 502.825 G467 Pr . 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