pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
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: LECTURES ON LINEAR LOGIC
By: A. S. Troelstra
Format: Paperback

List price: £20.00
Our price: £18.00
Discount:
10% off
You save: £2.00
ISBN 10: 0937073776
ISBN 13: 9780937073773
Availability: Usually dispatched within 1-3 weeks.
 Delivery rates
Stock: Currently 0 available
Publisher: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION
Pub. date: 30 June, 1992
Edition: 2nd
Series: Center for the Study of Language and Information Publication Lecture Notes 29
Pages: 215
Description: The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
Synopsis: The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
Illustrations: illustrations
Publication: US
Imprint: Centre for the Study of Language & Information
Returns: Returnable
Some other items by this author:

TOP SELLERS IN THIS CATEGORY
Mathematical Proofs: Pearson New International Edition (Paperback)
By: Gary Chartrand, Albert D. Polimeni, Ping Zhang
Pearson Education Limited
Our Price : £62.89
more details
Logic: A Very Short Introduction (Paperback)
By: Graham Priest
Oxford University Press
Our Price : £6.56
more details
Can You Solve My Problems? (Paperback)
By: Alex Bellos
Guardian Faber Publishing
Our Price : £8.02
more details
Introducing Infinity (Paperback)
By: Brian Clegg, Oliver Pugh (Illus)
Icon Books Ltd
Our Price : £6.56
more details
Godel's Proof (Paperback)
By: Ernest Nagel, James R. Newman
Taylor & Francis Ltd
Our Price : £12.99
more details
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
 

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.
add to basket

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.
add to basket

Learning
Power of 2
By: DAVID JOSEPH SHARP
add to basket

Learning
Reading Lessons
By: CAROL ATHERTON
add to basket

Easter
Greg the Sausage Roll: Egg-cellent Easter Adventure
By: MARK HOYLE
add to basket

Easter
Dear Easter Bunny
By: MAXINE LEE-MACKIE
add to basket

Easter
We''re Going on an Egg Hunt
By: GOLDIE HAWK
add to basket

Picture Book
Bowerbird
By: JULIA DONALDSON
add to basket

Picture Book
Mummy and Me
By: LYDIA BRIGHT
add to basket