|
|
1.
|
course on mathematical logic
by Srivastava, S. M.
Material type:  Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer, 2008Availability: Items available for loan: Central Library, IISER Bhopal [511.3 SR38C] (1).
|
|
|
2.
|
Mathematical logic: a course with exercise part l: propositional calculus, boolean algebras, predicate calculus
by Cori, Rene;
Lascar, Daniel.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Oxford : Oxford University, 2008Availability: Items available for loan: Central Library, IISER Bhopal [511.3 C813M] (1).
|
|
|
3.
|
The foundations of mathematics
by Stewart, Ian;
Tall, David.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Oxford : Oxford University Press, 2007Availability: Items available for loan: Central Library, IISER Bhopal [511.3 ST49F] (1). Items available for reference: Central Library, IISER Bhopal [511.3 ST49F] (2 ).
Checked out (1).
|
|
|
4.
|
Course on borel sets
by Srivastava, S. M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer-Verlag, 1998Availability: Items available for loan: Central Library, IISER Bhopal [511.32SR38C] (1).
|
|
|
5.
|
Course in mathematical logic for mathematicians
by Manin, Y. I.
Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer-Verlag, 2010Availability: Items available for loan: Central Library, IISER Bhopal [511.3 M314C2] (1).
|
|
|
6.
|
Sets, Logic, and Categories
by Cameron, Peter J.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: London ; New York : Springer, c1999Online Access: Publisher description | Table of contents only Availability: Items available for loan: Central Library, IISER Bhopal [511.322 C145S] (1).
|
|
|
7.
|
Logical Introduction to Proof
by Cunningham, Daniel W.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer, 2012Availability: Items available for reference: Central Library, IISER Bhopal [511.3 C917L] (1 ).
|
|
|
8.
|
Stochastic Calculus with Infinitesimals [electronic resource] /
by Herzberg, Frederik.
-- SpringerLink (Online service) Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.Online Access: Click here to access online Availability: Items available for reference: Central Library, IISER Bhopal [511.3] (1 ).
|
|
|
9.
|
Mathematical logic for computer science
by Ben-Ari, Mordechai.
Edition: 3rd editionMaterial type: Book Publisher: London : Springer, 2001Availability: Items available for reference: Central Library, IISER Bhopal [005.131 B43M3] (1 ).
|
|
|
10.
|
Automata, logics, and infinite games
by Grädel, Erich;
Thomas, Wolfgang;
Wilke, Thomas.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer, 2002Online Access: Publisher description Availability: Items available for reference: Central Library, IISER Bhopal [004 G75A] (1 ).
|
|
|
11.
|
Symbolic logic
by Copi, Irving M.
Edition: 5th ed.Material type: Book Publisher: Noida: Pearson India Education, 2019Availability: Items available for loan: Central Library, IISER Bhopal [160 C791S5] (7). Items available for reference: Central Library, IISER Bhopal [160 C791S5] (3 ).
|
|
|
12.
|
Logical forms : an introduction to philosophical logic /
by Sainsbury, R. M. (Richard Mark).
Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Oxford, UK ; Malden, Mass. : Blackwell Publishers, 2001Availability: No items available
|
|
|
13.
|
A mathematical introduction to logic /
by Enderton, Herbert B.
Edition: 2nd ed.Material type: Book; Format:
available online
; Literary form:
not fiction
Publisher: San Diego : Harcourt/Academic Press, ©2001Availability: No items available
|
|
|
14.
|
Modern logic : a text in elementary symbolic logic /
by Forbes, Graeme.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Oxford University Press, 1994Online Access: Publisher description | Table of contents only | Contributor biographical information Availability: No items available
|
|
|
15.
|
Mathematical logic through Python
by Gonczarowski, Yannai A;
Nisan, Noam.
Material type: Book; Format:
available online
; Literary form:
not fiction
Publisher: Cambridge: Cambridge University Press, 2022Availability: No items available Checked out (1).
|
