Your search returned 8 results.

Not what you expected? Check for suggestions
Sort
Results
Approximating Perfection : a Mathematician's Journey into the World of Mechanics. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Princeton, NJ : Princeton University Press, ©2004
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Foundations without foundationalism : a case for second-order logic / Stewart Shapiro. by Series: Oxford logic guides ; 17. | Oxford science publications
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Oxford : Clarendon Press, ©1991
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Five hundred mathematical challenges / Edward J. Barbeau, Murray S. Klamkin, William O.J. Moser. by Series: Spectrum series
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: [Washington, DC] : Mathematical Association of America, ©1995
Other title:
  • 500 mathematical challenges
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Human reasoning and cognitive science / Keith Stenning and Michiel van Lambalgen. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, ©2008
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Logic Colloquium 2006 / edited by S. Barry Cooper [and others]. by Series: Lecture notes in logic ; 32.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : [Poughkeepsie, N.Y.] : Cambridge University Press ; Association for Symbolic Logic, 2009
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith. by Series: Oxford logic guides ; 36. | Oxford science publications
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1998
Other title:
  • 25 years of constructive type theory
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition / Bernard Linsky. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, ©2011
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
One hundred years of Russell's paradox : mathematics, logic, philosophy / editor, Godehard Link. by Series: De Gruyter series in logic and its applications ; 6.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Walter de Gruyter, ©2004
Other title:
  • 100 years of Russell's paradox
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Pages

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies   |   Maintained by: Global Library