Categorical Logic and Type Theory 1
bokomslag Categorical Logic and Type Theory
Data & IT

Categorical Logic and Type Theory

B Jacobs

Pocket

1629:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 778 sidor
  • 2001
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
  • Författare: B Jacobs
  • Format: Pocket/Paperback
  • ISBN: 9780444508539
  • Språk: Engelska
  • Antal sidor: 778
  • Utgivningsdatum: 2001-05-10
  • Förlag: Elsevier Science & Technology

Du kanske gillar

  1. bokomslag Constructivism in Mathematics, Vol 2

    Constructivism in Mathematics, Vol 2

    D Van Dalen A S Troelstra

    Inbunden

    1049:-
  2. bokomslag Constructivism in Mathematics, Vol 1

    Constructivism in Mathematics, Vol 1

    D Van Dalen A S Troelstra

    Inbunden

    919:-
  3. bokomslag Handbook of Proof Theory

    Handbook of Proof Theory

    S R Buss

    Inbunden

    2219:-
  4. bokomslag Realizability

    Realizability

    Jaap Van Oosten

    Inbunden

    2229:-
  5. bokomslag Classical Recursion Theory, Volume II

    Classical Recursion Theory, Volume II

    P Odifreddi

    Inbunden

    2169:-
  6. bokomslag Computable Structures and the Hyperarithmetical Hierarchy

    Computable Structures and the Hyperar...

    C J Ash

    Inbunden

    2399:-
  7. bokomslag Quantification in Nonclassical Logic

    Quantification in Nonclassical Logic

    Dov M Gabbay, Dimitrij Skvortsov, Valentin Shehtman

    Inbunden

    2839:-
  8. bokomslag Theory of Relations

    Theory of Relations

    R Fraisse

    Inbunden

    2439:-
  9. bokomslag Lectures on the Curry-Howard Isomorphism

    Lectures on the Curry-Howard Isomorphism

    Pawel Urzyczyn Morten Heine Sørensen

    Inbunden

    2049:-
  10. bokomslag Set Theory An Introduction To Independence Proofs

    Set Theory An Introduction To Indepen...

    K Kunen

    Inbunden

    879:-

Andra av samma författare

  1. bokomslag Strategy and Partnership in Cities and Regions

    Strategy and Partnership in Cities an...

    B Jacobs

    Pocket

    719:-