Books By Girard, Jean-Yves

1.

Linear Logic in Computer Science

ISBN:: 978-0-521-60857-2

Book Format:: Paperback

List Price:: USD $99.99

Publisher:: Cambridge University Press

Publication Date:: Nov 2004

2.

Advances in Linear Logic

Author:: Girard, Jean-Yves
LaFont, Yves
Regnier, Laurent

ISBN:: 978-1-299-40497-7

Book Format:: Ebook

List Price:: USD $150.00

Publisher:: Cambridge University Press

Publication Date:: Jan 1995

3.

Advances in Linear Logic

ISBN:: 978-0-521-55961-4

Book Format:: Paperback

List Price:: USD $76.99

Publisher:: Cambridge University Press

Publication Date:: Jun 1995

4.

Linear Logic in Computer Science

ISBN:: 978-0-511-55085-0

Book Format:: Digital (delivered electronically)

List Price:: USD $165.00

Publisher:: Cambridge University Press

Publication Date:: May 2010

5.

Typed Lambda Calculi and Applications

4th International Conference, TLCA'99,...

ISBN:: 978-3-540-65763-7

Book Format:: Paperback

List Price:: AUD $196.95

Publisher:: Springer

Publication Date:: Jan 1999

6.

Machine de Turing(la)

Author:: Girard, Jean-Yves

ISBN:: 978-2-02-036928-2

Book Format:: Paperback

List Price:: USD $25.95

Publisher:: Points

Publication Date:: Mar 1999

7.

Linear Logic in Computer Science

Author:: Ehrhard, Thomas
Girard, Jean-Yves
Ruet, Paul

ISBN:: 978-1-299-40517-2

Book Format:: Ebook

List Price:: USD $150.00

Publisher:: Cambridge University Press

Publication Date:: Jan 2004

8.

Advances in Linear Logic

ISBN:: 978-0-521-55961-4

Book Format:: Paperback

List Price:: AUD $62.95

Publisher:: Cambridge University Press

Publication Date:: Jun 1995

9.

Advances in Linear Logic

ISBN:: 978-0-511-89317-9

Book Format:: Ebook

List Price:: Contact Supplier contact Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Jan 2011

10.

Typed Lambda Calculi and Applications

4th International Conference, TLCA'99,...

ISBN:: 978-3-540-65763-7

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Mar 1999

11.

Linear Logic in Computer Science

ISBN:: 978-0-521-60857-2

Book Format:: Paperback

List Price:: AUD $62.95

Publisher:: Cambridge University Press

Publication Date:: Nov 2004

12.

Immortal Element

Author:: Girard, Jean-Yves

ISBN:: 978-1-64350-598-5

Book Format:: Paperback

List Price:: USD $20.95

Publisher:: Page Publishing Inc.

Publication Date:: Nov 2018

13.

The Blind Spot

Lectures on Logic

Author:: Girard, Jean-Yves

ISBN:: 978-3-03719-088-3

Book Format:: Hardback

List Price:: USD $98.00

Publisher:: European Mathematical Society

Publication Date:: Sep 2011

14.

Linear Logic in Computer Science

ISBN:: 978-0-511-89432-9

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Mar 2011

15.

Advances in Linear Logic

ISBN:: 978-0-511-89317-9

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Jan 2011

16.

Linear Logic in Computer Science

ISBN:: 978-0-511-55085-0

Book Format:: Digital (delivered electronically)

List Price:: AUD $200.00

Publisher:: Cambridge University Press

Publication Date:: May 2010

17.

Proof Theory and Logical Complexity

Author:: Girard, Jean-Yves

ISBN:: 978-88-7088-123-3

Book Format:: Hardback

List Price:: USD $110.00

Publisher:: BRILL

Publication Date:: Apr 1987

18.

Linear Logic in Computer Science

ISBN:: 978-0-511-89432-9

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Mar 2011

19.

Th'or'me de Gdel(le)

Author:: Girard, Jean-Yves

ISBN:: 978-2-02-032778-7

Book Format:: Paperback

List Price:: USD $24.95

Publisher:: Points

Publication Date:: Oct 1997

Books » Girard, Jean, Yves Books » Books By Girard, Jean, Yves

Related Keywords

Refine Options

Featured Books


1.		Linear Logic in Computer Science ISBN: 978-0-521-60857-2 Book Format: Paperback List Price: USD $99.99 Publisher: Cambridge University Press Publication Date: Nov 2004 Quantity Note

2.		Advances in Linear Logic Author: Girard, Jean-Yves LaFont, Yves Regnier, Laurent ISBN: 978-1-299-40497-7 Book Format: Ebook List Price: USD $150.00 Publisher: Cambridge University Press Publication Date: Jan 1995 Quantity Note

3.		Advances in Linear Logic ISBN: 978-0-521-55961-4 Book Format: Paperback List Price: USD $76.99 Publisher: Cambridge University Press Publication Date: Jun 1995 Quantity Note

4.		Linear Logic in Computer Science ISBN: 978-0-511-55085-0 Book Format: Digital (delivered electronically) List Price: USD $165.00 Publisher: Cambridge University Press Publication Date: May 2010 Quantity Note

5.		Typed Lambda Calculi and Applications 4th International Conference, TLCA'99,... ISBN: 978-3-540-65763-7 Book Format: Paperback List Price: AUD $196.95 Publisher: Springer Publication Date: Jan 1999 Quantity Note

6.		Machine de Turing(la) Author: Girard, Jean-Yves ISBN: 978-2-02-036928-2 Book Format: Paperback List Price: USD $25.95 Publisher: Points Publication Date: Mar 1999 Quantity Note

7.		Linear Logic in Computer Science Author: Ehrhard, Thomas Girard, Jean-Yves Ruet, Paul ISBN: 978-1-299-40517-2 Book Format: Ebook List Price: USD $150.00 Publisher: Cambridge University Press Publication Date: Jan 2004 Quantity Note

8.		Advances in Linear Logic ISBN: 978-0-521-55961-4 Book Format: Paperback List Price: AUD $62.95 Publisher: Cambridge University Press Publication Date: Jun 1995 Quantity Note

9.		Advances in Linear Logic ISBN: 978-0-511-89317-9 Book Format: Ebook List Price: Contact Supplier contact Contact Supplier contact Publisher: Cambridge University Press Publication Date: Jan 2011 Quantity Note

10.		Typed Lambda Calculi and Applications 4th International Conference, TLCA'99,... ISBN: 978-3-540-65763-7 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Mar 1999 Quantity Note

11.		Linear Logic in Computer Science ISBN: 978-0-521-60857-2 Book Format: Paperback List Price: AUD $62.95 Publisher: Cambridge University Press Publication Date: Nov 2004 Quantity Note

12.		Immortal Element Author: Girard, Jean-Yves ISBN: 978-1-64350-598-5 Book Format: Paperback List Price: USD $20.95 Publisher: Page Publishing Inc. Publication Date: Nov 2018 Quantity Note

13.		The Blind Spot Lectures on Logic Author: Girard, Jean-Yves ISBN: 978-3-03719-088-3 Book Format: Hardback List Price: USD $98.00 Publisher: European Mathematical Society Publication Date: Sep 2011 Quantity Note

14.		Linear Logic in Computer Science ISBN: 978-0-511-89432-9 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Mar 2011 Quantity Note

15.		Advances in Linear Logic ISBN: 978-0-511-89317-9 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Jan 2011 Quantity Note

16.		Linear Logic in Computer Science ISBN: 978-0-511-55085-0 Book Format: Digital (delivered electronically) List Price: AUD $200.00 Publisher: Cambridge University Press Publication Date: May 2010 Quantity Note

17.		Proof Theory and Logical Complexity Author: Girard, Jean-Yves ISBN: 978-88-7088-123-3 Book Format: Hardback List Price: USD $110.00 Publisher: BRILL Publication Date: Apr 1987 Quantity Note

18.		Linear Logic in Computer Science ISBN: 978-0-511-89432-9 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Mar 2011 Quantity Note

19.		Th'or'me de Gdel(le) Author: Girard, Jean-Yves ISBN: 978-2-02-032778-7 Book Format: Paperback List Price: USD $24.95 Publisher: Points Publication Date: Oct 1997 Quantity Note