An edition of Advances in linear logic (1995)

Advances in linear logic

by and

  • 1 Want to read
Cover of: Advances in linear logic by Jean-Yves Girard, Yves Lafont
Read

My Reading Lists:

Create a new list
Notes
  • 1 Want to read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
July 31, 2020 | History
Edit
An edition of Advances in linear logic (1995)

Advances in linear logic

by and

  • 1 Want to read

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Language
English
Pages
389

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Symbolic and mathematical Logic, Congresses, Logic, symbolic and mathematical
Edition Availability
Cover of: Advances in Linear Logic
Advances in Linear Logic
2011, Cambridge University Press
in English
Cover of: Advances in Linear Logic
Advances in Linear Logic
Feb 17, 2010, Cambridge University Press
printed access code
Cover of: Advances in linear logic
Advances in linear logic
1995, Cambridge University Press
in English
Cover of: Advances in Linear Logic
Advances in Linear Logic
1995, Cambridge University Press
in English

Add another edition?

Book Details

Edition Notes

Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.

Published in
Cambridge, New York, NY, USA
Series
London Mathematical Society lecture note series ;, 222

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.A1 L56 1995

The Physical Object

Pagination
vi, 389 p. :
Number of pages
389

Edition Identifiers

Open Library
OL784192M
Internet Archive
advanceslinearlo00gira
ISBN 10
0521559618
LCCN
95016325
OCLC/WorldCat
32392940
LibraryThing
1945729
Goodreads
4214199

Work Identifiers

Work ID
OL16961759W

Source records

Internet Archive item record
Internet Archive item record
Better World Books record
Library of Congress MARC record
Internet Archive item record
Promise Item
amazon.com record
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
July 31, 2020 Edited by ImportBot import existing book
June 28, 2019 Edited by MARC Bot import existing book
July 29, 2014 Created by ImportBot import new book