|
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-. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1980Availability: 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-. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1980Availability: Items available for loan: University of Sargodha-Central Library [Call number: 001.642/BAM] (1).
|
|
3.
|
An introduction to symbolic logic.
by Langer, Susanne Katherina Knauth, 1895-1985. Edition: 2d ed. (rev.)Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York, Dover Publications [1953]Availability: Items available for loan: University of Sargodha-Central Library [Call number: 164/LAI] (1).
|
|
4.
|
Statistical methods and scientific inference.
by Fisher, Ronald Aylmer, Sir, 1890-1962. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Edinburgh, Oliver and Boyd [1956]Availability: Items available for loan: University of Sargodha-Central Library [Call number: 510.1 FIS] (2).
|
|
5.
|
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). Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Edinburgh, Reading, Mass., Oliver & Boyd; Addison-Wesley Pub. Co. [1964]Availability: Items available for loan: University of Sargodha-Central Library [Call number: 164 NOE] (1).
|
|
6.
|
A concise introduction to pure mathematics / Martin Liebeck.
by Liebeck, M. W. (Martin W.), 1954-. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton : Chapman & Hall/CRC, 2006Other title: Pure mathematics.Online access: Publisher description Availability: Items available for loan: University of Sargodha-Central Library [Call number: 510 LIC] (1).
|
|
7.
|
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: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford ; New York : Oxford University Press, 2000-2001Online access: Publisher description | Table of contents only Availability: Items available for loan: University of Sargodha-Central Library [Call number: 511.3 COM] (1).
|
|
8.
|
Logic in elementary mathematics [by] Robert M. Exner [and] Myron F. Rosskopf.
by Exner, Robert M | Rosskopf, Myron Frederick [joint author.]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York, McGraw-Hill, 1959Availability: Items available for loan: University of Sargodha-Central Library [Call number: 510 EXL] (1).
|
|
9.
|
Symbolic logic and the real number system; an introduction to the foundations of number systems [by] A.H. Lightstone.
by Lightstone, A. H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York, Harper & Row [1965]Availability: Items available for loan: University of Sargodha-Central Library [Call number: 512.81 LIS] (1).
|
|
10.
|
Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz, Marc Lars Lipson.
by Lipschutz, Seymour | Lipson, Marc. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : McGraw-Hill, c1997Other title: Theory and problems of discrete mathematics | Discrete mathematics.Online access: Contributor biographical information | Publisher description | Table of contents Availability: Items available for loan: University of Sargodha-Central Library [Call number: 512.02 LIS] (1).
|
|
11.
|
Introduction to digital logic design / John P. Hayes.
by Hayes, John P. (John Patrick), 1944. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Reading, Mass. : Addison-Wesley, c1993Availability: Items available for loan: University of Sargodha-Central Library [Call number: 621.395 HAI] (1).
|
|
12.
|
Mathematical recreations of Lewis Carroll [pseud.]
by Carroll, Lewis, 1832-1898. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York, Dover Publications [1958]Availability: Items available for loan: University of Sargodha-Central Library [Call number: 793.74 793.74] (1).
|
|
13.
|
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: Book; Format:
print
; Literary form:
Not fiction
Publisher: London, Longmans, 1967Availability: Items available for loan: University of Sargodha-Central Library [Call number: 808.02 PAA] (1).
|
|
14.
|
Logic for computer scientists / Uwe Schöning.
by Schöning, Uwe, 1955-. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser, 1989Availability: No items available
|
|
15.
|
Logic for computer scientists / Uwe Schöning.
by Schöning, Uwe, 1955-. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser, 1989Availability: No items available
|
|
16.
|
Logic for computer scientists / Uwe Schöning.
by Schöning, Uwe, 1955-. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser, 1989Availability: No items available
|