Your search returned 10 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Proof and computations [electronic resource] / Helmut Schwichtenberg, Stanley S. Wainer. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Computability in analysis and physics / Marian B. Pour-El, University of Minnesota, J. Ian Richards, University of Minnesota. by Series: Perspectives in logic ; 1.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge ; New York : Cambridge University Press, [2016]Copyright date: ©2016
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Higher recursion theory / Gerald E. Sacks, Harvard University. by Series: Perspectives in logic ; 2.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge ; New York : Cambridge University Press, [2016]Copyright date: ©2016
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Essential stability theory / Steven Buechler. by Series: Perspectives in logic ; v. 4.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge, United Kingdom : Cambridge University Press, [2016]Copyright date: ©2016
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Proper and improper forcing / Saharon Shelah. by Series: Perspectives in logic
Edition: Second edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, [2016]Copyright date: ©2016
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Admissible sets and structures : an approach to definability theory / Jon Barwise. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge ; New York, NY : Cambridge University Press, [2016]
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Fundamentals of stability theory / John T. Baldwin, University of Illinois, Chicago. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016Copyright date: ©2016
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Lambda Calculus with Types [electronic resource] / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions fron Fabio Alessi...[et al.]. 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: e-Library (1).
Place hold
9.
Logical foundations of proof complexity [electronic resource] / Stephen Cook, Phuong Nguyen. by Series: Perspectives in logic
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: New York : Ithaca, NY : Cambridge University Press ; Association for Symbolic Logic, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Subsystems of second order arithmetic [electronic resource] / Stephen G. Simpson. by Series: Perspectives in logic
Edition: 2nd ed.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha