fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Linear Logic in Computer Science

Linear Logic in Computer Science

by Jean-Yves Girard, Philip Scott

MathematicsSymbolic and mathematical LogicProof theoryComputer scienceComputer science, mathematics
0.0
Open Library
Open Library

About this book

This book illustrates linear logic in the application of proof theory to computer science.

Themes & subjects

MathematicsSymbolic and mathematical LogicProof theoryComputer scienceComputer science, mathematicsData processing

Authors

Jean-Yves Girard, Philip Scott

Pages

393

Read time

≈ 10h

Editions

4

Language

English

Publisher

Cambridge University Press

ISBN

9781299405172

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Flatland

Fourth dimension · Fiction, general

Flatland

Edwin Abbott Abbott

1884

Heinemann Mathematics

Mathematics · Study and teaching (Primary)

Heinemann Mathematics

Scottish Primary Mathematics Group

1983

Elements

Fundamentos Da Geometria · great_books_of_the_western_world

Elements

Euclid

1482

Philosophiae naturalis principia mathematica

Mechanics · Dynamics of a particle

Philosophiae naturalis principia mathematica

Sir Isaac Newton

1687

La charca del diablo

widowers · family

La charca del diablo

George Sand

1846

Duineser Elegien

Translations into English · German poetry

Duineser Elegien

Rainer Maria Rilke

1923

Essential Maths

collectionID:elmmath · collectionID:MidMath

Essential Maths

Sean McArdle

1996

Differentiating Instruction With Menus

Biology, study and teaching · Individualized instruction

Differentiating Instruction With Menus

Laurie E. Westphal

2007

Primary Mathematics (SPMG)

Mathematics · Study and teaching (Primary)

Primary Mathematics (SPMG)

Scottish Primary Mathematics Group

1984

The economy of machinery and manufactures

Income tax · Taxation

The economy of machinery and manufactures

Charles Babbage

1832

Mathematics

collectionID:HSMath · collectionID:MSMath

Mathematics

McGraw-Hill

1998

Linear algebra and its applications

Algebras, Linear · Linear Algebras

Linear algebra and its applications

David C. Lay

1994

Tractatus logico-philosophicus

Analysis (Philosophy) · Language

Tractatus logico-philosophicus

Ludwig Wittgenstein

1921

An Investigation of the Laws of Thought (Barnes & Noble)

Symbolic and mathematical Logic · Thought and thinking

An Investigation of the Laws of Thought (Barnes & Noble)

George Boole

1854

Algèbre de la logique

Algebraic logic · Symbolic and mathematical Logic

Algèbre de la logique

Louis Couturat

1905

The Game of Logic

Symbolic and mathematical Logic · Logic

The Game of Logic

Lewis Carroll

1886

Gödel's proof

Gödel's theorem · Mathematics

Gödel's proof

Ernest Nagel

1958

Philosophische Untersuchungen

German Philosophy · Langage et langues

Philosophische Untersuchungen

Ludwig Wittgenstein

1953