Your search returned 16 results.

Results
	1.	Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker. by Bakker, J. W. de (Jacobus Willem), 1939- Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, N.J. : Prentice-Hall International, c1980 Availability: No items available.
	2.	Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker. by Bakker, J. W. de (Jacobus Willem), 1939- Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, N.J. : Prentice-Hall International, c1980 Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 001.642/BAM. Place hold
	3.	No cover image available An introduction to symbolic logic. by Langer, Susanne Katherina Knauth, 1895-1985 Edition: 2d ed. (rev.) Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, Dover Publications [1953] Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 164/LAI. Place hold
	4.	No cover image available Statistical methods and scientific inference. by Fisher, Ronald Aylmer, Sir, 1890-1962 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Edinburgh, Oliver and Boyd [1956] Availability: Items available for loan: University of Sargodha-Central Library (2)Call number: 510.1 FIS, ... Place hold
	5.	No cover image available Elements of mathematical logic [by] P.S. Novikov. Translated by Leo F. Boron. With a pref. and notes by R.L. Goodstein. by Novikov, P. S. (Petr Sergeevich) Series: Adiwes international series in mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: engrus Publication details: Edinburgh, Reading, Mass., Oliver & Boyd; Addison-Wesley Pub. Co. [1964] Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 164 NOE. Place hold
	6.	A concise introduction to pure mathematics / Martin Liebeck. by Liebeck, M. W. (Martin W.), 1954- Series: Chapman & Hall/CRC mathematics Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton : Chapman & Hall/CRC, 2006 Other title: Pure mathematics Online resources: Publisher description Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 510 LIC. Place hold
	7.	No cover image available Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier. by Cori, René Lascar, D. (Daniel), 1942- Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: French Publication details: Oxford ; New York : Oxford University Press, 2000-2001 Online resources: Publisher description Table of contents only Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 511.3 COM. Place hold
	8.	No cover image available Logic in elementary mathematics [by] Robert M. Exner [and] Myron F. Rosskopf. by Exner, Robert M Rosskopf, Myron Frederick [joint author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, McGraw-Hill, 1959 Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 510 EXL. Place hold
	9.	No cover image available Symbolic logic and the real number system; an introduction to the foundations of number systems [by] A.H. Lightstone. by Lightstone, A. H Series: Harper's series in modern mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, Harper & Row [1965] Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 512.81 LIS. Place hold
	10.	Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour Lipson, Marc Series: Schaum's outline series Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : McGraw-Hill, c1997 Other title: Theory and problems of discrete mathematics Discrete mathematics Online resources: Contributor biographical information Publisher description Table of contents Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 512.02 LIS. Place hold
	11.	Introduction to digital logic design / John P. Hayes. by Hayes, John P. (John Patrick), 1944 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Reading, Mass. : Addison-Wesley, c1993 Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 621.395 HAI. Place hold
	12.	No cover image available Mathematical recreations of Lewis Carroll [pseud.] by Carroll, Lewis, 1832-1898 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, Dover Publications [1958] Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 793.74 793.74. Place hold
	13.	No cover image available Advanced work in English, by C. R. E. Parker; with an introduction to the study of linguistics by W. R. O'Donnell. by Parker, Colin Rodwell Eric Material type: Text; Format: print ; Literary form: Not fiction Publication details: London, Longmans, 1967 Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 808.02 PAA. Place hold
	14.	Logic for computer scientists / Uwe Schöning. by Schöning, Uwe, 1955- Series: ; v. 8 Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: Boston : Birkhäuser, 1989 Availability: No items available.
	15.	Logic for computer scientists / Uwe Schöning. by Schöning, Uwe, 1955- Series: Progress in computer science and applied logic ; v. 8 Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: Boston : Birkhäuser, 1989 Availability: No items available.
	16.	Logic for computer scientists / Uwe Schöning. by Schöning, Uwe, 1955- Series: Progress in computer science and applied logic ; v. 8 Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: Boston : Birkhäuser, 1989 Availability: No items available.

©️ All rights reserves. Atomation Section