Realizability : an introduction to its categorical side /: an introduction to its categorical side. (2008)

• Record Type: Book
• Further Information: Note: Jaap van Oosten.
• Other Names: Van Oosten, Jaap
• Contents: Introduction; 1. Partial Combinatory Algebras; 2. Realizability triposes and toposes; 3. The effective topos; 4. Variations on Realizability
• Publisher Details: Oxford : Elsevier
• Publication Date: 2008
• Extent: 1 online resource (310 pages)
• Subjects: 511.3; Logic, Symbolic and mathematical; MATHEMATICS -- Infinity; MATHEMATICS -- Logic; Logic, Symbolic and mathematical; Electronic books
• Languages: English
• ISBNs: 9781435628748; 1435628748; 0080560067; 9780080560069
• Related ISBNs: 0444515844
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.