Related Books | Bookwire

1.

Advances in Temporal Logic

ISBN:: 978-0-7923-6149-7

Book Format:: Hardback

List Price:: USD $249.99USD $169.99

Publisher:: Springer Netherlands

Publication Date:: Dec 1999

2.

Proof Theory of Modal Logic

ISBN:: 978-90-481-4720-5

Book Format:: Paperback

List Price:: USD $219.99USD $169.99

Publisher:: Springer Netherlands

Publication Date:: Dec 2010

3.

The Semantics and Proof Theory of the Logic of Bun... - a book by Pym, David J.

The Semantics and Proof Theory of the Logic of Bunched Implications

Author:: Pym, David J.

ISBN:: 978-90-481-6072-3

Book Format:: Paperback

List Price:: USD $169.99

Publisher:: Springer Netherlands

Publication Date:: Dec 2010

4.

Formal Aspects of Context

ISBN:: 978-90-481-5472-2

Book Format:: Paperback

List Price:: USD $159.99USD $109.99

Publisher:: Springer Netherlands

Publication Date:: Dec 2010

5.

Intellectics and Computational Logic

Papers in Honor of Wolfgang Bibel

ISBN:: 978-0-7923-6261-6

Book Format:: Hardback

List Price:: USD $219.99USD $169.99

Publisher:: Springer Netherlands

Publication Date:: Apr 2000

6.

Automated Deduction

A Basis for Applications

ISBN:: 978-0-7923-5132-0

Book Format:: Book

List Price:: USD $430.00USD $329.99

Publisher:: Springer Netherlands

Publication Date:: Jun 1998

7.

Rigid Flexibility

The Logic of Intelligence

Author:: Wang, Pei

ISBN:: 978-90-481-7264-1

Book Format:: Paperback

List Price:: USD $219.99

Publisher:: Springer Netherlands

Publication Date:: Oct 2011

8.

An Introduction to Mathematical Logic and Type The... - a book by Andrews, Peter B.

An Introduction to Mathematical Logic and Type Theory

To Truth Through Proof

Author:: Andrews, Peter B.

ISBN:: 978-90-481-6079-2

Book Format:: Paperback

List Price:: USD $99.99

Publisher:: Springer Netherlands

Publication Date:: Dec 2010

9.

Goal-Directed Proof Theory

Author:: Gabbay, Dov M.
Olivetti, N.

ISBN:: 978-90-481-5526-2

Book Format:: Paperback

List Price:: USD $109.99

Publisher:: Springer Netherlands

Publication Date:: Dec 2010

10.

Reasoning Robots

The Art and Science of Programming Robotic Agents

Author:: Thielscher, Michael

ISBN:: 978-90-481-6783-8

Book Format:: Paperback

List Price:: USD $119.00USD $54.99

Publisher:: Springer Netherlands

Publication Date:: Oct 2010

11.

Logic, Language and Computation

ISBN:: 978-0-7923-4376-9

Book Format:: Hardback

List Price:: USD $109.99

Publisher:: Springer Netherlands

Publication Date:: Jan 1997

12.

Fuzzy Sets, Logics and Reasoning about Knowledge

ISBN:: 978-0-7923-5977-7

Book Format:: Hardback

List Price:: USD $169.99

Publisher:: Springer Netherlands

Publication Date:: Sep 1999

13.

Proof Theory of Modal Logic

ISBN:: 978-0-7923-4120-8

Book Format:: Hardback

List Price:: USD $219.99USD $169.99

Publisher:: Springer Netherlands

Publication Date:: Oct 1996

14.

Labelled Deduction

ISBN:: 978-94-010-5781-3

Book Format:: Paperback

List Price:: USD $119.99USD $109.99

Publisher:: Springer Netherlands

Publication Date:: Oct 2012

15.

Frontiers of Combining Systems

First International Workshop, Munich, March 1996

ISBN:: 978-0-7923-4271-7

Book Format:: Hardback

List Price:: USD $109.99USD $99.99

Publisher:: Springer Netherlands

Publication Date:: Oct 1996

16.

Fallacies Arising from Ambiguity

Author:: Walton, Douglas

ISBN:: 978-90-481-4717-5

Book Format:: Paperback

List Price:: USD $199.99

Publisher:: Springer Netherlands

Publication Date:: Dec 2010

17.

Advances in Intensional Logic

ISBN:: 978-90-481-4897-4

Book Format:: Paperback

List Price:: USD $219.99USD $169.99

Publisher:: Springer Netherlands

Publication Date:: Dec 2010

18.

An Introduction to Mathematical Logic and Type Theory

To Truth Through Proof

Author:: Andrews, Peter B.

ISBN:: 978-1-4020-0763-7

Book Format:: Hardback

List Price:: USD $139.99

Publisher:: Springer Netherlands

Publication Date:: Jul 2002

19.

Proof Theory and Automated Deduction

Author:: Goubault-Larrecq, Jean
Mackie, Ian

ISBN:: 978-1-4020-0368-4

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Netherlands

Publication Date:: Nov 2001

20.

Advances in Intensional Logic

Author:: De Rijke, Maarten

ISBN:: 978-0-7923-4711-8

Book Format:: Hardback

List Price:: USD $219.99USD $169.99

Publisher:: Springer Netherlands

Publication Date:: Sep 1997

Books » Related Books

Related Keywords

Refine Options

Featured Books


1.		Advances in Temporal Logic ISBN: 978-0-7923-6149-7 Book Format: Hardback List Price: USD $249.99USD $169.99 Publisher: Springer Netherlands Publication Date: Dec 1999 Quantity Note

2.		Proof Theory of Modal Logic ISBN: 978-90-481-4720-5 Book Format: Paperback List Price: USD $219.99USD $169.99 Publisher: Springer Netherlands Publication Date: Dec 2010 Quantity Note

3.		The Semantics and Proof Theory of the Logic of Bunched Implications Author: Pym, David J. ISBN: 978-90-481-6072-3 Book Format: Paperback List Price: USD $169.99 Publisher: Springer Netherlands Publication Date: Dec 2010 Quantity Note

4.		Formal Aspects of Context ISBN: 978-90-481-5472-2 Book Format: Paperback List Price: USD $159.99USD $109.99 Publisher: Springer Netherlands Publication Date: Dec 2010 Quantity Note

5.		Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel ISBN: 978-0-7923-6261-6 Book Format: Hardback List Price: USD $219.99USD $169.99 Publisher: Springer Netherlands Publication Date: Apr 2000 Quantity Note

6.		Automated Deduction A Basis for Applications ISBN: 978-0-7923-5132-0 Book Format: Book List Price: USD $430.00USD $329.99 Publisher: Springer Netherlands Publication Date: Jun 1998 Quantity Note

7.		Rigid Flexibility The Logic of Intelligence Author: Wang, Pei ISBN: 978-90-481-7264-1 Book Format: Paperback List Price: USD $219.99 Publisher: Springer Netherlands Publication Date: Oct 2011 Quantity Note

8.		An Introduction to Mathematical Logic and Type Theory To Truth Through Proof Author: Andrews, Peter B. ISBN: 978-90-481-6079-2 Book Format: Paperback List Price: USD $99.99 Publisher: Springer Netherlands Publication Date: Dec 2010 Quantity Note

9.		Goal-Directed Proof Theory Author: Gabbay, Dov M. Olivetti, N. ISBN: 978-90-481-5526-2 Book Format: Paperback List Price: USD $109.99 Publisher: Springer Netherlands Publication Date: Dec 2010 Quantity Note

10.		Reasoning Robots The Art and Science of Programming Robotic Agents Author: Thielscher, Michael ISBN: 978-90-481-6783-8 Book Format: Paperback List Price: USD $119.00USD $54.99 Publisher: Springer Netherlands Publication Date: Oct 2010 Quantity Note

11.		Logic, Language and Computation ISBN: 978-0-7923-4376-9 Book Format: Hardback List Price: USD $109.99 Publisher: Springer Netherlands Publication Date: Jan 1997 Quantity Note

12.		Fuzzy Sets, Logics and Reasoning about Knowledge ISBN: 978-0-7923-5977-7 Book Format: Hardback List Price: USD $169.99 Publisher: Springer Netherlands Publication Date: Sep 1999 Quantity Note

13.		Proof Theory of Modal Logic ISBN: 978-0-7923-4120-8 Book Format: Hardback List Price: USD $219.99USD $169.99 Publisher: Springer Netherlands Publication Date: Oct 1996 Quantity Note

14.		Labelled Deduction ISBN: 978-94-010-5781-3 Book Format: Paperback List Price: USD $119.99USD $109.99 Publisher: Springer Netherlands Publication Date: Oct 2012 Quantity Note

15.		Frontiers of Combining Systems First International Workshop, Munich, March 1996 ISBN: 978-0-7923-4271-7 Book Format: Hardback List Price: USD $109.99USD $99.99 Publisher: Springer Netherlands Publication Date: Oct 1996 Quantity Note

16.		Fallacies Arising from Ambiguity Author: Walton, Douglas ISBN: 978-90-481-4717-5 Book Format: Paperback List Price: USD $199.99 Publisher: Springer Netherlands Publication Date: Dec 2010 Quantity Note

17.		Advances in Intensional Logic ISBN: 978-90-481-4897-4 Book Format: Paperback List Price: USD $219.99USD $169.99 Publisher: Springer Netherlands Publication Date: Dec 2010 Quantity Note

18.		An Introduction to Mathematical Logic and Type Theory To Truth Through Proof Author: Andrews, Peter B. ISBN: 978-1-4020-0763-7 Book Format: Hardback List Price: USD $139.99 Publisher: Springer Netherlands Publication Date: Jul 2002 Quantity Note

19.		Proof Theory and Automated Deduction Author: Goubault-Larrecq, Jean Mackie, Ian ISBN: 978-1-4020-0368-4 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Netherlands Publication Date: Nov 2001 Quantity Note

20.		Advances in Intensional Logic Author: De Rijke, Maarten ISBN: 978-0-7923-4711-8 Book Format: Hardback List Price: USD $219.99USD $169.99 Publisher: Springer Netherlands Publication Date: Sep 1997 Quantity Note