Your search returned 7 results.

Not what you expected? Check for suggestions
Sort
Select all Clear all
Select titles to:
Results
Simplicity theory / Byungham Kim. by Series: Oxford logic guides ; 53.
Edition: First edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Oxford : Oxford University Press, 2014
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Introduction to logic and to the methodology of the deductive sciences / by Alfred Tarski. by Series: Oxford logic guides ; 24.
Edition: 4th ed. / edited by Jan Tarski.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Oxford University Press, 1994
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Recursion theory for metamathematics / Raymond M. Smullyan. by Series: Oxford logic guides ; 22.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Oxford University Press, 1993
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Gödel's incompleteness theorems / Raymond M. Smullyan. by Series: Oxford logic guides ; 19.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Oxford University Press, 1992
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
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).
Place hold Add to cart
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).
Place hold Add to cart
Category theory / Steve Awodey. by Series: Oxford logic guides ; 49.
Edition: 2nd ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Oxford ; New York : Oxford University Press, 2010
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
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