Logical Frameworks for Truth and Abstraction 1
bokomslag Logical Frameworks for Truth and Abstraction
Vetenskap & teknik

Logical Frameworks for Truth and Abstraction

A Cantini • A Cantini • Andrea Cantini

Inbunden

2409:-

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

Uppskattad leveranstid 5-10 arbetsdagar

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

  • 460 sidor
  • 1996
Covers logical systems known as type-free or self-referential. This book shows that there are theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics.
  • Författare: A Cantini, A Cantini, Andrea Cantini
  • Format: Inbunden
  • ISBN: 9780444823069
  • Språk: Engelska
  • Antal sidor: 460
  • Utgivningsdatum: 1996-03-14
  • Förlag: Elsevier Science & Technology

Du kanske gillar

  1. bokomslag Computable Structures and the Hyperarithmetical Hierarchy

    Computable Structures and the Hyperar...

    C J Ash, J Knight, C J Ash, J Knight

    Inbunden

    2389:-
  2. bokomslag Constructivism in Mathematics, Vol 2

    Constructivism in Mathematics, Vol 2

    A S Troelstra, D Van Dalen, A S Troelstra, D Van Dalen

    Inbunden

    1039:-
  3. bokomslag Constructivism in Mathematics, Vol 1

    Constructivism in Mathematics, Vol 1

    A S Troelstra, D Van Dalen, A S Troelstra, D Van Dalen, Anne S Troelstra

    Inbunden

    919:-
  4. bokomslag Many-Dimensional Modal Logics: Theory and Applications

    Many-Dimensional Modal Logics: Theory...

    A Kurucz, F Wolter, M Zakharyaschev, Dov M Gabbay, A Kurucz

    Inbunden

    3089:-
  5. bokomslag Handbook of Proof Theory

    Handbook of Proof Theory

    Samuel R Buss, S R Buss, S R Buss

    Inbunden

    2209:-
  6. bokomslag Language in Action

    Language in Action

    J Van Benthem, J Van Benthem, J F A K Van Benthem

    Inbunden

    1709:-
  7. bokomslag Relation Algebras

    Relation Algebras

    Roger Duncan Maddux, Roger Duncan Maddux, Roger Maddux Duncan

    Inbunden

    3509:-
  8. bokomslag Realizability

    Realizability

    Jaap Van Oosten, Jaap Van Oosten, Jaap Van Oosten

    Inbunden

    2219:-
  9. bokomslag Classical Recursion Theory, Volume II

    Classical Recursion Theory, Volume II

    P Odifreddi P Odifreddi

    Inbunden

    2159:-
  10. bokomslag Residuated Lattices: An Algebraic Glimpse at Substructural Logics

    Residuated Lattices: An Algebraic Gli...

    Nikolaos Galatos, ), Peter Jipsen, Tomasz Kowalski, Hiroakira Ono

    Inbunden

    2669:-

Andra av samma författare

  1. bokomslag Logic and Foundations of Mathematics

    Logic and Foundations of Mathematics

    Andrea Cantini, Ettore Casari, Pierluigi Minari

    Inbunden

    1429:-
  2. bokomslag Logic and Foundations of Mathematics

    Logic and Foundations of Mathematics

    Andrea Cantini, Ettore Casari, Pierluigi Minari

    1429:-