Del 141

Categorical Logic and Type Theory

Häftad, Engelska, 2001

Av B. Jacobs, The Netherlands) Jacobs, B. (Computing Science Institute, University of Nijmegen

1 589 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
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.

Produktinformation

  • Utgivningsdatum2001-05-10
  • Mått156 x 234 x 46 mm
  • Vikt1 200 g
  • FormatHäftad
  • SpråkEngelska
  • SerieStudies in Logic and the Foundations of Mathematics
  • Antal sidor778
  • FörlagElsevier Science
  • ISBN9780444508539

Tillhör följande kategorier

Mer från samma författare

Strategy and Partnership in Cities and Regions

Strategy and Partnership in Cities and Regions

B. Jacobs

719 kr

Leidraad Neurologie

Leidraad Neurologie

B. Jacobs, J. W. Snoek, E. Ch. Wolters

729 kr

Du kanske också är intresserad av

Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Del 151

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono, Japan Advanced Institute of Science and Technology) Galatos, Nikolaos (School of Information Science, USA) Jipsen, Peter (Chapman University, Orange, Australia) Kowalski, Tomasz (Australian National University, Canberra, Japan) Ono, Hiroakira (Japan Advanced Institute of Science and Technology, Ishikawa

2 559 kr

Computable Structures and the Hyperarithmetical Hierarchy
Del 144

Computable Structures and the Hyperarithmetical Hierarchy

C.J. Ash, J. Knight, USA) Knight, J. (University of Notre Dame, Department of Mathematics, Notre Dame, IN, C. J. Ash

2 339 kr

Foundations of Set Theory
Del 67

Foundations of Set Theory

A.A. Fraenkel, Y. Bar-Hillel, A. Levy

1 959 kr

Constructivism in Mathematics, Vol 2
Del 123

Constructivism in Mathematics, Vol 2

A.S. Troelstra, D. van Dalen, A. S. Troelstra, D. Van Dalen

999 kr

Many-Dimensional Modal Logics: Theory and Applications
Del 148

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay

3 019 kr

Handbook of Proof Theory
Del 137

Handbook of Proof Theory

Samuel R. Buss, S. R. Buss, S.R. Buss, USA) Buss, S.R. (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, S. R. Buss

2 109 kr

Language in Action
Del 130

Language in Action

J. van Benthem, The Netherlands) van Benthem, J. (University of Amsterdam, Institute for Logic, Language and Computation, Amsterdam, J. Van Benthem, J. F. A. K. Van Benthem

1 729 kr

Relation Algebras
Del 150

Relation Algebras

Roger Duncan Maddux, USA) Maddux, Roger Duncan (Department of Mathematics, Iowa State University, Ames, Iowa, 5001, Duncan Maddux, Roger

3 359 kr

Realizability
Del 152

Realizability

Jaap van Oosten, The Netherlands) van Oosten, Jaap (Utrecht University, Jaap Van Oosten

2 129 kr

Classical Recursion Theory, Volume II
Del 143

Classical Recursion Theory, Volume II

P. Odifreddi, Italy) Odifreddi, P. (University of Turin

2 069 kr