Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Select all Clear all
Select titles to:
Results
Lambda Calculus with Types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions fron Fabio Alessi [and others]. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2013
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Subsystems of second order arithmetic / Stephen G. Simpson. by Series: Perspectives in logic
Edition: 2nd ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, ©2009
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Ithaca, NY : Cambridge University Press ; Association for Symbolic Logic, ©2010
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Proofs and Computations. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2011
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