Results of search for 'ccl=su:"Logic, Symbolic and mathematical"' › University Library, GB Pant University of Agricultural and Technology catalog

Results
	1.	Foundations logic, language, and mathematics editors Huges Leblance, Elliott Mendelson and Alex Orenstein by Leblance, Huges, ed Mendelson, Elliott, ed Orenstein, Alex, ed , Material type: Text Publication details: Dordrecht D. Reidel 1984 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: NE 511.3 L445F. Place hold Add to cart (remove)
	2.	Schaum's outline of theory and problems of discrete mathematics Seymour Lipschutz by Lipschutz, Seymour Material type: Text Publication details: New York McGraw-Hill 1976 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.02 L767S. Place hold Add to cart (remove)
	3.	Theory of heuristic information in game-tree search Chum Hung Tzeng by Tzeng, Chun Hung, Series: Springer series symbolic computation-artificial intelligence Material type: Text Publication details: New York Springer-Verlag 1988 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 519.3 T998T. Place hold Add to cart (remove)
	4.	No cover image available No cover image available Mathematical logic and the foundations of mathematics an introductory survey G. T. Kneebone by Kneebone, G. T, Material type: Text Publication details: London D. Van Nostrand 1963 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 K68M. Place hold Add to cart (remove)
	5.	No cover image available No cover image available Theory of mathematical machines editor Yu. Ya. Bazilevskii by Bazilevskii, Yu. Ya, ed , Material type: Text Publication details: Oxford Pergamon 1963 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 001.64 B363T. Place hold Add to cart (remove)
	6.	Introduction to logic programming Christopher John Hogger by Hogger, Christopher John, Material type: Text Publication details: London Academic 1984 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 001.642 H716I. Place hold Add to cart (remove)
	7.	No cover image available No cover image available Computer programming and formal systems editors P. Braffort and D. Hirschberg by Braffort, P., ed Hirschberg, D., ed , Series: Studies in logic and the foundations of mathematics Material type: Text Publication details: Amsterdam North-Holland 1963 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 001.642 B812C. Place hold Add to cart (remove)
	8.	No cover image available No cover image available Foundations of mathematics symposium papers commemorating the sixteenth birthday of Kurt Godel editors Jack J. Bulloff, Thomas C. Holyoke and S. W. Hahn by Bulloff, Jack J., ed Holyoke, Thomas C., ed Hahn, S. W., ed , Material type: Text Publication details: New York Springer-Verlag 1969 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 510 B938F. Place hold Add to cart (remove)
	9.	Mathematical logic and formal systems editor Luiz Paulo de Alcantara by de Alcantara, Luiz Paulo, ed , Series: Lecture notes in pure and applied mathematics; v.94 Material type: Text Publication details: New York Marcel Dekker 1985 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 D279M. Place hold Add to cart (remove)
	10.	Algebra and logic editor J. N. Crossley by Crossley, J. N., ed , Series: Lecture notes in mathematics; 450 Material type: Text Publication details: Berlin Springer-Verlag 1975 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 C951A. Place hold Add to cart (remove)
	11.	Handbook of mathematical logic editor Jon Barwise by Barwise, Jon, ed , Series: Studies in logic and the foundations of mathematics; v.90 Material type: Text Publication details: New York North-Holland 1977 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 B296H. Place hold Add to cart (remove)
	12.	No cover image available No cover image available On the foundations of geometry and formal theories of arithmetic Gottlob Frege; translator Eike-Henner W. Kluge by Kluge, Eike-Henner W., tr Frege, Gottlob, Material type: Text Publication details: New Haven Yale University 1971 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 F858O. Place hold Add to cart (remove)
	13.	Mathematical introduction to logic Herbert B. Enderton by Enderton, Herbert B, Material type: Text Publication details: New York Academic 1972 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (2)Call number: 511.3 E56M, ... Place hold Add to cart (remove)
	14.	Large infinitary languages model theory M. A. Dickmann by Dickmann, M. A, Series: Studies in logic and the foundations of mathematics; v.83 Material type: Text Publication details: Amsterdam North-Holland 1975 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 D553L. Place hold Add to cart (remove)
	15.	No cover image available No cover image available Course in mathematical logic J. L. Bell and M. Machover by Machover, M Bell, J. L, Material type: Text Publication details: Amsterdam North-Holland 1977 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 B433C. Place hold Add to cart (remove)
	16.	Discrete and switching functions Marc Davio, Jean Pierre Deschamps and Andre Thayse by Deschamps, Jean Pierre Thayse, Andre Davio, Marc, Material type: Text Publication details: New York McGraw-Hill 1978 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.33 D259D. Place hold Add to cart (remove)
	17.	No cover image available No cover image available Fundamental concepts of modern mathematics Max D. Larsen by Larsen, Max D, Material type: Text Publication details: London Addison-Wesley 1970 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.33 L334F. Place hold Add to cart (remove)
	18.	No cover image available No cover image available Mathematics and logic Retrospect and prospects Mark Kac and Stanislaw M. Ulam by Ulam, Stanislaw M Kac, Mark, Material type: Text Publication details: New York Frederick A. Praeger 1968 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 K11M. Place hold Add to cart (remove)
	19.	Foundational studies selected works Andrzej Mostowski by Mostowski, Andrzej, Series: Studies in logic and the foundations of mathematics; v.93 Material type: Text Publication details: Amsterdam North-Holland 1979 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 M916F.1 0.1. Place hold Add to cart (remove)
	20.	Proof theory Gaisi Takeuti by Takeuti, Gaisi, Series: Studies in logic and the foundations of mathematics; v.81 Material type: Text Publication details: Amsterdam North-Holland 1975 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 T136P. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Your search returned 58 results.