Visit our new collection website
www.collectionsforschool.co.uk
SCHOOL BOOKS
KEY STAGES
BEST SELLERS
BOOK AWARDS
NEW FICTION
HOME
FURTHER EDUCATION
SECONDARY
PRIMARY
COLLECTIONS
VIEW BASKET
CHECK-OUT
MY ACCOUNT
HELP
Title / ISBN13
ISBN / EAN
Author
Publisher
Series
Category
Email:
Subscribe to news & offers:
Need assistance?
Log In/Register
CATEGORY BROWSE
Arts
Agriculture
Biography
Business
Children's
Computing
Earth Sciences
Economics
Educational
Engineering
English Language Teaching (ELT)
Environment
Family
Fiction
Finance
Geography
Home
Humanities
Industry
Information
Information Technology
Interdisciplinary Subjects
Language
Law
Leisure Interests
Literature
Mathematics
Medicine
Planning
Practical Interests
Reference
Science
Social Sciences
Sport
Technology
Travel
Veterinary Science
ABOUT US
About Us
Contact Us
Terms & Conditions
Item Details
Title:
TWENTY FIVE YEARS OF CONSTRUCTIVE TYPE THEORY
By:
Giovanni Sambin, Jan M. Smith
Format:
Hardback
List price:
£97.00
Our price:
£84.88
Discount:
12.5
% off
You save:
£12.12
ISBN 10:
0198501277
ISBN 13:
9780198501275
Availability:
Usually dispatched within 1-3 weeks.
Delivery rates
Stock:
Currently
0
available
Publisher:
OXFORD UNIVERSITY PRESS
Pub. date:
15 October, 1998
Series:
Oxford Logic Guides 36
Pages:
292
Description:
Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. Per Martin-Lof's work has been of huge significance in the fields of logic and the foundations of mathematics, and has important applications in areas such as computing science and linguistics. This volume celebrates the twenty-fifth anniversary of the birth of the subject, and is an invaluable record both of areas ofcurrent activity and of the early development of the subject. Also published for the first time is one of Per Martin-Lof's earliest papers.
Synopsis:
Per Martin-Lof'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-Lof 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-Lof's earliest papers.
Publication:
UK
Imprint:
Clarendon Press
Returns:
Returnable
Some other items by this author:
ANIMALS (HB)
APPLE COUNTDOWN
BASIC PICTURE STRUCTURES FOR CONSTRUCTIV (HB)
BEN THE BULLY (PB)
CANDLE ACTIVITY FUN (PB)
CANDLE ACTIVITY FUN (PB)
COMMUNICATE (PB)
CONFESSIONS OF A HOMEGROWN ALIEN (PB)
EMMA'S STORY (PB)
FIRST READING FUN (PB)
FIRST READING FUN (PB)
FIRST READING FUN (PB)
FIRST READING FUN (PB)
FRANK N. STEIN AND THE GREAT GREEN GARBAGE MONSTER (PB)
FURTHER ADVENTURES OF FRANK N. STEIN AND THE GREAT, GREEN, GREEDY GARBAGE MONSTER (PB)
GIMP FOR ABSOLUTE BEGINNERS (PB)
GRANNY AT THE PARK (HB)
HOW YOU CAN LIVE VICTORIOUSLY
IDENTITY WORK IN THE CONTEMPORARY UNIVER (HB)
IDENTITY WORK IN THE CONTEMPORARY UNIVER (PB)
LEARN TO READ WITH BABY BUG (PB)
LITTLE MISS MUFFET / LITTLE MISS MUMPET (PB)
MANAGING PTSD FOR HEALTH AND SOCIAL CARE PROFESSIONALS (PB)
MARINE NATURE CONSERVATION REVIEW (PB)
MUM'S RED HAT (HB)
NARAKAN RIFLES, ABOUT FACE!
NARAKAN RIFLES, ABOUT FACE!
NARAKAN RIFLES, ABOUT FACE!
PALAZZO
PALAZZO (PB)
PANAMA CITY BEACH (HB)
SOUL WHISPERS: MICROPOETRY FOR THE POCKETS OF YOUR HEART
THE IDEAL HORSE (PB)
THERE WAS NO PAIN (PB)
THRESHOLD CONCEPTS WITHIN THE DISCIPLINES
THRESHOLD CONCEPTS WITHIN THE DISCIPLINES (HB)
TO TAKE A QUEEN
TYPES FOR PROOFS AND PROGRAMS (PB)
WHOSE BIRTHDAY IS IT? (PB)
WHY YOU LITTLE ... (PB)
TOP SELLERS IN THIS CATEGORY
Can You Solve My Problems?
(Paperback)
By:
Alex Bellos
Guardian Faber Publishing
Our Price :
£8.02
Logic: A Very Short Introduction
(Paperback)
By:
Graham Priest
Oxford University Press
Our Price :
£6.56
To Mock a Mockingbird: and Other Logic Puzzles
(Paperback)
By:
Raymond Smullyan
Oxford University Press
Our Price :
£8.75
Godel's Proof
(Paperback)
By:
Ernest Nagel, James R. Newman, Douglas R. Hofstadter (Foreword)
New York University Press
Our Price :
£11.04
Logic
(Paperback)
By:
Wilfrid Hodges
Penguin Books Ltd
Our Price :
£8.02
BROWSE FOR BOOKS IN RELATED CATEGORIES
MATHEMATICS AND SCIENCE
mathematics
mathematical foundations
mathematical logic
Information provided by
www.pickabook.co.uk
SHOPPING BASKET
Your basket is empty
Total Items:
0
Tweet this!
Stumble Upon
Blogger
Delicious
Digg
Facebook
AddThis
NEW
Ramadan and Eid al-Fitr
By:
SARA KHAN
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
Learning
That''s My Story!: Drama for Confidence, Communication and C...
By:
ADAM POWER-ANNAND
The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
Learning
Power of 2
By:
DAVID JOSEPH SHARP
Learning
Reading Lessons
By:
CAROL ATHERTON
Easter
Greg the Sausage Roll: Egg-cellent Easter Adventure
By:
MARK HOYLE
Easter
Dear Easter Bunny
By:
MAXINE LEE-MACKIE
Easter
We''re Going on an Egg Hunt
By:
GOLDIE HAWK
Picture Book
Bowerbird
By:
JULIA DONALDSON
Picture Book
Mummy and Me
By:
LYDIA BRIGHT