|
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.
|
Digital logic and computer design M. Morris Mano.
by Mano, M. Morris, 1927-. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Dehli dorling Kindersly pvt c2012Availability: Items available for loan: University of Sargodha-Central Library [Call number: 001.6 MAD] (1).
|
|
4.
|
Programming logic and design : comprehensive / Joyce Farrell.
by Farrell, Joyce | Course Technology, Inc. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston, Mass. : Course Technology, c2002Availability: Items available for loan: University of Sargodha-Central Library [Call number: 005.1/FAP] (1).
|
|
5.
|
Programming logic and design : comprehensive / Joyce Farrell.
by Farrell, Joyce | Course Technology, Inc. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston, Mass. : Course Technology, c2002Availability: Items available for loan: University of Sargodha-Central Library [Call number: 005.115/FAP] (1).
|
|
6.
|
Programming logic and design : comprehensive / Joyce Farrell.
by Farrell, Joyce | Course Technology, Inc. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston, Mass. : Course Technology, c2007Availability: Items available for loan: University of Sargodha-Central Library [Call number: 005.133 FAP] (1).
|
|
7.
|
Logical foundations for cognitive agents : contributions in honor of Ray Reiter / Hector J. Levesque, Fiora Pirri (eds.).
by Reiter, Ray | Levesque, Hector J, 1951- | Pirri, Fiora, Dr. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, c1999Availability: Items available for loan: University of Sargodha-Central Library [Call number: 006.3 LEL] (1).
|
|
8.
|
Programming logic and design : comprehensive / Joyce Farrell.
by Farrell, Joyce | Course Technology, Inc. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston, Mass. : Course Technology, c2007Availability: Items available for loan: University of Sargodha-Central Library [Call number: 005.115 FAP] (2).
|
|
9.
|
The power of logic / C. Stephen Layman.
by Layman, C. Stephen (Charles Stephen), 1950-. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Mountain View, Calif. : Mayfield Pub., c2002Online access: Publisher description | Table of contents Availability: Items available for loan: University of Sargodha-Central Library [Call number: 160 LAP] (1).
|
|
10.
|
An inquiry into meaning and truth : the William James lectures for 1940 delivered at Harvard University / by Bertrand Russell ; with an introduction by Thomas Baldwin.
by Russell, Bertrand, 1872-1970. Edition: Rev. ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London ; New York : Routledge, 1940Online access: Publisher description Availability: Items available for loan: University of Sargodha-Central Library [Call number: 121.68 RUI] (1).
|
|
11.
|
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).
|
|
12.
|
Essential of deductive logic: in the forms of tipical qustions with answers/ Faqir, Chand
by Chand, Faqir. Material type: Book; Format:
print
; Literary form:
Not fiction
Availability: Items available for loan: University of Sargodha-Central Library [Call number: 162 CHE] (1).
|
|
13.
|
Wisdom of china: Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Michael Joseph, 1944Availability: Items available for loan: University of Sargodha-Central Library [Call number: 109.52 WIS] (1).
|
|
14.
|
The essentials of logic,
by Bosanquet, Bernard, 1848- [from old catalog]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London and New York, Macmillan and co., 1895Availability: No items available Checked out (1).
|
|
15.
|
Introduction to logic / Irving M. Copi.
by Copi, Irving M. Edition: 7th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : London : Macmillan ; Collier Macmillan, c1986Availability: Items available for loan: University of Sargodha-Central Library [Call number: 160 COI] (1).
|
|
16.
|
Fundamentals of logic / James D. Carney and Richard K. Scheer.
by Carney, James D. (James Donald) | Scheer, Richard K [joint author.]. Edition: 3d ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Macmillan, c1980Availability: Items available for loan: University of Sargodha-Central Library [Call number: 160 CAF] (1).
|
|
17.
|
Introduction to logic / Irving M. Copi, Carl Cohen.
by Copi, Irving M | Cohen, Carl, 1931-. Edition: 11th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River, N.J. : Prentice Hall, c2002Availability: Items available for loan: University of Sargodha-Central Library [Call number: 160 COI] (1).
|
|
18.
|
Fundamentals of logic / James D. Carney and Richard K. Scheer.
by Carney, James D. (James Donald) | Scheer, Richard K [joint author.]. Edition: 3d ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Macmillan, c1980Availability: Items available for loan: University of Sargodha-Central Library [Call number: 160 CAR] (1).
|
|
19.
|
Introduction to logic / Irving M. Copi, Carl Cohen.
by Copi, Irving M | Cohen, Carl, 1931-. Edition: 13th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River, N.J. : Pearson/Prentice Hall, c2009Online access: Table of contents only Availability: Items available for loan: University of Sargodha-Central Library [Call number: 160/COI] (1).
|
|
20.
|
Inductive logic for intermediate students K.A.Hamid
by Harrod, Roy Forbes, Sir, 1900-. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London, New York, Macmillan; St. Martins Press, 1935Availability: Items available for loan: University of Sargodha-Central Library [Call number: 134 HAI] (2).
|