|
|
1.
|
Discrete Mathematics and It's Applications
by Rosen, Kenneth Rosen. Edition: 7th ed.Material type:  Book Publisher: New Delhi McGraw-Hill Education 2015Online access: Click here to access online Availability: Items available for loan: Central Library, QUEST, Nawabshah [Call number: 511.076ROS] (7), Reference Section [Call number: 510ROS(Shelf - 26E)] (2). Checked out (8).
|
|
|
2.
|
Programming logic and design, comprehensive, fourth edition /
by Farrell, Joyce. Edition: 4th ed.Material type: Book Publisher: [S.l.] : Cengage Learning, 2007Online access: Click here to access online Availability: Items available for loan: Central Library, QUEST, Nawabshah [Call number: 005.133FAR] (1).
|
|
|
3.
|
Schaum's Outline of Discrete Mathematics
by Lipschutz, Seymour | Lipson, Marc. Edition: 3rd ed.Material type: Book Publisher: [S.l.] : McGraw-Hill, 2009Online access: Click here to access online Availability: Items available for loan: Central Library, QUEST, Nawabshah [Call number: 510.1076LIP] (9). Checked out (1).
|
|
|
4.
|
Discrete Mathematics and Its Applications
by Rosen, Kenneth. Edition: 7th ed.Material type: Book Publisher: New Delhi McGraw-Hill Science/Engineering/Math, 2013Online access: Click here to access online Availability: Items available for loan: Central Library, QUEST, Nawabshah [Call number: 511ROS] (3).
|
|
|
5.
|
Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, And the Logic Of Sets
by Gregg, John R. Material type: Book Publisher: New Delhi: Wiley-IEEE Press, 1998Online access: Click here to access online Availability: Items available for loan: Stacks area [Call number: 511.324GRE] (1), Central Library, QUEST, Nawabshah [Call number: 511.324GRE] (1), Reference Section [Call number: 511.324GRE(Shelf - 27C)] (2), Seminar Library, Mathematics & Statis. [Call number: 511.324GRE] (1).
|
|
|
6.
|
Discrete Mathematics And It's Applications
by Rosen, Kenneth H. Edition: 6th Material type: Book Publisher: New Delhi Tata McGraw-Hill Publishing Company Limited 2008Online access: Click here to access online Availability: Items available for loan: Reference Section [Call number: 511ROS (Shelf - 27B)] (1).
|
|
|
7.
|
Introduction to Mathematical Structures and Proofs
by Gerstein, Larry. Material type: Book Publisher: New York: Springer Verlag, 1996Online access: Click here to access online Availability: Items available for loan: Reference Section [Call number: 511.3GER (Shelf - 27B)] (1).
|
|
|
8.
|
Ideals, Varieties, and Algorithms :
by Cox, David A | Little, John | O'Shea, Donal. Edition: 3rd ed.Material type: Book Publisher: [S.l.] : Springer, 2008Online access: Click here to access online Availability: No items available Checked out (1).
|
|
|
9.
|
Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen.
by Detlefsen, Michael, 1948- | ebrary, Inc. Material type: Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: London ; New York : Routledge, 1992Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: Multimedia Section (1).
|
|
|
10.
|
Deducibility and decidability [electronic resource] / R.R. Rockingham Gill.
by Gill, R. R. Rockingham, 1944- | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London ; New York : Routledge, 1990Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: Multimedia Section (1).
|
|
|
11.
|
Proof and knowledge in mathematics [electronic resource] / edited by Michael Detlefsen.
by Detlefsen, Michael, 1948- | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London ; New York : Routledge, 1992Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: Multimedia Section (1).
|
|
|
12.
|
Logic with trees [electronic resource] : an introduction to symbolic logic / Colin Howson.
by Howson, Colin | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London ; New York : Routledge, 1997Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: Multimedia Section (1).
|
|
|
13.
|
The Oxford handbook of philosophy of mathematics and logic [electronic resource] / edited by Stewart Shapiro.
by Shapiro, Stewart, 1951- | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Oxford ; New York : Oxford University Press, 2005Other title: Philosophy of mathematics and logic.Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
14.
|
The equations [electronic resource] : icons of knowledge / Sander Bais.
by Bais, Sander | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cambridge, Mass. : Harvard University Press, c2005Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
15.
|
Advances in logic, artificial intelligence, and robotics [electronic resource] : LAPTEC 2002 / edited by Jair Minoro Abe and Jo�ao In�acio da Silva Filho.
by Congress of Logic Applied to Technology (3rd : 2002 : S�ao Paulo, Brazil) | Abe, Jair Minoro | Silva Filho, Jo�ao In�acio da | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Washington, DC : IOS Press/Ohmsha, 2002Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
16.
|
G�odel's incompleteness theorems [electronic resource] / Raymond M. Smullyan.
by Smullyan, Raymond M | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York : Oxford University Press, 1992Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
17.
|
Mathematical logic in the 20th century [electronic resource] / [edited by] Gerald E. Sacks.
by Sacks, Gerald E | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : River Edge, NJ : Singapore University Press : World Scientific, c2003Other title: Mathematical logic in the twentieth century.Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
18.
|
Publications 1929-1936 / [electronic resource] / Kurt G�odel ; edited by Solomon Feferman ... [et al.].
by G�odel, Kurt | Feferman, Solomon | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York : Oxford [England] : Oxford University Press ; Clarendon Press, c1986Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
19.
|
Recursion theory for metamathematics [electronic resource] / Raymond M. Smullyan.
by Smullyan, Raymond M | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York : Oxford University Press, 1993Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
20.
|
In the light of logic [electronic resource] / Solomon Feferman.
by Feferman, Solomon | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York : Oxford University Press, c1998Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
