Mathematical logic and theoretical computer science. (2020)

• Record Type: Book
• Further Information: Note: Edited by David Kueker, Edgar Lopez-Escobar and Carl H. Smith.
• Authors: Kueker, David
• Editors: Kueker, D. W, 1943-; Lopez-Escobar, Edgar G. K, 1937-; Smith, Carl H, 1950-
• Contents: Type 1 Calculus and Automated Mathematics. Lambda Calculus Extended With Segments. Well-Ordering and Induction in Intuitioinistic Logic. Separating Relaltivized Complexity Classes. Generalizing Automath By Means Of A Lambda-Typed Lambda Calculus. Local Concepts and Germ Representability. Model Theory of Profinite Groups Having IP. An Extension of Frege Structures. Oracles: Three New Results. Kueker's Conjecture For O Minimal Theories. On The Embedding of Manifolds Into The Smooth Zariski Topos. Rings Of Smooth Functions And Their Localizations. Interpolation And Conceptual Completeness For Pretopose Via Category Theory. Finite QE Rings In Characterist 4. Computatable Functions In Categories. A Note On The Complexity of Synthesizing Finite Machines.
• Edition: 1st
• Publisher Details: Boca Raton : CRC Press
• Publication Date: 2020
• Extent: 1 online resource
• Subjects: 511.3; Logic, Symbolic and mathematical; Computer science -- Mathematics
• Languages: English
• ISBNs: 9781000154603
• Related ISBNs: 9781000111514; 9781003073055
• Notes: Note: Description based on CIP data; resource not viewed.
• 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.