Mathematical Logic and Theoretical Computer Science

AvDavid Kueker,David W. Kueker

Häftad, Engelska, 1986

Del i serien Lecture Notes in Pure and Applied Mathematics

3 855 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

2 707 kr

Beskrivning

This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.

Produktinformation

Utgivningsdatum:1986-12-22
Mått:178 x 254 x 22 mm
Vikt:725 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Pure and Applied Mathematics
Antal sidor:408
Förlag:Taylor & Francis Inc
ISBN:9780824777463

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Mer om författaren

David Kuekker is a professor of mathematics at the University of Maryland, College Park.

Innehållsförteckning

1. Typed λ - Calculus and Automated Mathematics 2. Lambda Calculus Extended with Segments 3. Well-Ordering and Induction in Intuitionistic Logic and Topoi 4. Separating Relativized Complexity Classes 5. Generalizing Automath by Means of a Lambda-Typed Lambda Calculus 6. Local Concepts and Germ Representability 7. Model Theory of Profinite Groups Having IP, III 8. An Extension of Frege Structures 9. Oracles: Three New Results 10. Kueker's Conjecture for o-Minimal Theories 11. On the Embedding of Manifolds into the Smooth Zariski Topos 12. Rings of Smooth Functions and Their Localizations, II 13. Interpolation and Conceptual Completeness for Pretoposes via Category Theory 14. Finite Quantifier-Eliminable Rings in Characteristic 4 15. Computable Functions in Categories 16. A Note on the Complexity of Synthesizing Finite Machines