1 619 kr

Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Löf over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Löf's earliest papers.

Produktinformation

  • Utgivningsdatum1998-10-15
  • Mått161 x 242 x 20 mm
  • Vikt588 g
  • FormatInbunden
  • SpråkEngelska
  • SerieOxford Logic Guides
  • Antal sidor292
  • FörlagClarendon Press
  • ISBN9780198501275

Tillhör följande kategorier

Mer från samma författare

Positive Topology
  • Nyhet

Positive Topology

Giovanni Sambin

2 079 kr

Du kanske också är intresserad av

Elementary Categories, Elementary Toposes
Del 21

Elementary Categories, Elementary Toposes

McLarty, Colin McLarty

2 159 kr

Features and Fluents
Del 30

Features and Fluents

Erik Sandewall, Sweden) Sandewall, Erik (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoping University

1 989 kr

Simplicity Theory
Del 53

Simplicity Theory

Byunghan Kim, South Korea) Kim, Byunghan (Professor of Mathematics, Professor of Mathematics, Department of Mathematics, Yonsei University

1 919 kr

The Structure of Models of Peano Arithmetic
Del 50

The Structure of Models of Peano Arithmetic

Roman Kossak, James Schmerl, Roman (City University of New York) Kossak, Storrs) Schmerl, James (University of Connecticut, James H. Schmerl

2 359 kr

Arithmetic, Proof Theory, and Computational Complexity
Del 23

Arithmetic, Proof Theory, and Computational Complexity

Clote, Krajicek, Peter Clote, Jan Krajícek, USA) Clote, Peter (Professor, Department of Computer Science, Professor, Department of Computer Science, Boston College, Chestnut Hill, Czechoslovakia) Krajicek, Jan (Mathematical Institute, Mathematical Institute, Ceskoslovenska Akademie Ved Praha 1

2 169 kr

Recursion Theory for Metamathematics
Del 22

Recursion Theory for Metamathematics

Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

2 919 kr

Sketches of an Elephant: A Topos Theory Compendium
Del 44

Sketches of an Elephant: A Topos Theory Compendium

Peter T. Johnstone, UK) Johnstone, Peter T. (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge, JOHNSTONE, Johnstone

6 529 kr

From Sets and Types to Topology and Analysis
Del 48

From Sets and Types to Topology and Analysis

Laura Crosilla, Peter Schuster, Laura (Universite di Firenze) Crosilla, Universitaet Munich) Schuster, Peter (Mathematical Institut

3 579 kr

Set Theory
Del 47

Set Theory

John L. Bell, J. L. Bell, J L Bell

639 kr

Many-Valued Logics
Del 25

Many-Valued Logics

Grzegorz Malinowski, Poland) Malinowski, Grzegorz (Head of Department of Logic, Head of Department of Logic, University of Lodz

2 069 kr