Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25
Sidst søgt på
    Studiebog
    Mathematical Logic and Theoretical Computer Science

    Mathematical Logic and Theoretical Computer Science

    Af
    Bog E-bog
    • Format
    • Bog, paperback
    • Engelsk

    Beskrivelse

    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.

    Læs hele beskrivelsen
    Detaljer
    • SprogEngelsk
    • Sidetal408
    • Udgivelsesdato22-12-1986
    • ISBN139780824777463
    • Forlag CRC Press Inc
    • FormatPaperback
    Størrelse og vægt
  • Vægt725 g
    • coffee cup img
    10 cm
    book img
    17,8 cm
    25,4 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Lambda calculus Type theory Profinite groups Jacobson radical Higher-order logic Grothendieck topology Algebraic closure Theoretical computer-science Topological space Follow Axiom Schema Automating Mathematics Classifying Topos Choice Function Church Rosser Property Full Subcategory Natural Number Oracle Queries Infinite Subset Left Adjoint Inductive Construction Minimal Normal Subgroup Oracle Machine Primitive Recursive Segment Variables
    Machine Name: SAXO082