Your search returned 58 results.

Results
	41.	No cover image available No cover image available Understanding symbolic logic Gerald J. Massey by Massey, Gerald J, Material type: Text Publication details: New York Harper and Row 1970 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 M416U. Place hold Add to cart (remove)
	42.	No cover image available No cover image available Introduction to mathematical logic Elliott Mendelson by Mendelson, Elliott, Series: The university series in undergraduate mathematics Material type: Text Publication details: Princeton D. Van Nostrand 1964 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 M537I. Place hold Add to cart (remove)
	43.	No cover image available No cover image available Selected works Jan Lukasiewicz; editor L. Borkowski by Borkowski, L., ed Lukasiewicz, Jan, Series: Studies in logic and the foundations of mathematics Material type: Text Publication details: Amsterdam North-Holland 1970 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 L954S. Place hold Add to cart (remove)
	44.	No cover image available No cover image available Basic concepts of mathematics and logic Michael C. Gemignani by Gemignani, Michael C, Series: Addison-Wesley series in introductory mathematics Material type: Text Publication details: Reading Addison-Wesley 1968 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 G322B. Place hold Add to cart (remove)
	45.	No cover image available No cover image available Development of mathematical logic R. L. Goodstein by Goodstein, R. L, Material type: Text Publication details: London Logos 1971 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 G655D. Place hold Add to cart (remove)
	46.	No cover image available No cover image available Logic and algorithms with applications to the computer and information sciences Robert R. Korfhage by Korfhage, Robert R, Material type: Text Publication details: New York John Wiley 1966 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 K84L. Place hold Add to cart (remove)
	47.	No cover image available No cover image available Fundations of mathematical logic Haskell B. Curry by Curry, Haskell B Series: McGraw Hill series in Higher Mathematics Material type: Text Publication details: New York McGraw-Hill 1963 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 C976F. Place hold Add to cart (remove)
	48.	No cover image available No cover image available Language of logic Hans Freudenthal by Freudenthal, Hans, Material type: Text Publication details: Amsterdam Elsevier 1966 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 F889L. Place hold Add to cart (remove)
	49.	No cover image available No cover image available Mathematical logic Stephen Cole Kleene by Kleene, Stephen Cole, Material type: Text Publication details: New York John Wiley 1967 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 K63M. Place hold Add to cart (remove)
	50.	No cover image available No cover image available Mathematical logic a first course Joel W. Robbin by Robbin, Joel W Series: University mathematics series Material type: Text Publication details: New York W. A. Benjamin 1969 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 R631M. Place hold Add to cart (remove)
	51.	No cover image available No cover image available Introduction to mathematical logic Gerson B. Robison by Robison, Gerson B, Material type: Text Publication details: Englewood Cliffs Prentice Hall 1969 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 R666I. Place hold Add to cart (remove)
	52.	Mathematical logic and formalized theories a survey of basic concepts and results Robert Rogers by Rogers, Robert, Material type: Text Publication details: Amsterdam North-Holland 1971 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 R728M. Place hold Add to cart (remove)
	53.	No cover image available No cover image available Foundations of mathematics a study in the philosophy of science Evert W. Beth by Beth, Evert W Series: Studies in logic and the foundations of mathematics Edition: 2nd2nd rev. Material type: Text Publication details: Amsterdam North-Holland 1965 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 B562F,2. Place hold Add to cart (remove)
	54.	No cover image available No cover image available Notes on logic Roger C. Lyndon by Lyndon, Roger C, Material type: Text Publication details: New Jersey D. Van Nostrand 1966 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 L988N. Place hold Add to cart (remove)
	55.	No cover image available No cover image available Dictionary of symbols of mathematical logic editor Robert Feys and Frederic B. Fitch by Feys, Robert, ed Fitch, Frederic B., ed , Series: Studied in logic and the fundations of mathematics Material type: Text Publication details: Amsterdam North-Holland 1969 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: R 164.03 D554. Place hold Add to cart (remove)
	56.	Verifying concurrent processes using temporal logic by Brent T. Hailpern by Hailpern, Brent T Series: Lecture notes in computer science ; 129 Material type: Text Language: ENG Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 H151V. Place hold Add to cart (remove)
	57.	Discrete mathematics by Lipschutz, Seymour Lipson, Marc Lars jt. auth Patil, Varsha H. jt. auth Edition: 3rd Publication details: Chennai McGraw Hill Education (India) 2013 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (5)Call number: BB 511.02 L767S,3:3, ... Place hold Add to cart (remove)
	58.	No cover image available No cover image available Paradoxes and common sense by Kempner, Aubrey J Material type: Text; Format: print ; Literary form: Not fiction Publication details: Princeton, N.J. Van Nostrand 1959 Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: P 510.1 K32P. Place hold Add to cart (remove)

Copyright © 2020 GBPUAT. All Rights Reserved.