Related Books | Bookwire

1.

Admissibility of Logical Inference Rules

Author:: Rybakov, V. V.

ISBN:: 978-0-444-89505-9

Book Format:: Hardback

List Price:: USD $195.00

Publisher:: Elsevier Science & Technology

Publication Date:: Mar 1997

2.

Quantification in Nonclassical Logic

Author:: Gabbay, Dov M.
Skvortsov, Dimitrij
Shehtman, Valentin

ISBN:: 978-0-444-52012-8

Book Format:: Hardback

List Price:: USD $250.00

Publisher:: Elsevier Science & Technology

Publication Date:: Jun 2009

3.

Relation Algebras

Author:: Maddux, Roger Duncan

ISBN:: 978-0-444-52013-5

Book Format:: Hardback

List Price:: USD $305.00

Publisher:: Elsevier Science & Technology

Publication Date:: May 2006

4.

Rudiments of Calculus

ISBN:: 978-0-444-50620-7

Book Format:: Hardback

List Price:: USD $108.00

Publisher:: Elsevier Science & Technology

Publication Date:: Feb 2001

5.

Set Theory an Introduction to Independence Proofs

Author:: Kunen, K.

ISBN:: 978-0-444-86839-8

Book Format:: Hardback

List Price:: USD $72.95

Publisher:: Elsevier Science & Technology

Publication Date:: Dec 1983

6.

Constructivism in Mathematics, Vol 1

Author:: Troelstra, A. S.
van Dalen, D.

ISBN:: 978-0-444-70266-1

Book Format:: Hardback

List Price:: USD $72.95

Publisher:: Elsevier Science & Technology

Publication Date:: Jul 1988

7.

Constructivism in Mathematics, Vol 2

Author:: Troelstra, A. S.
van Dalen, D.

ISBN:: 978-0-444-70358-3

Book Format:: Hardback

List Price:: USD $72.95

Publisher:: Elsevier Science & Technology

Publication Date:: Nov 1988

8.

Realizability

An Introduction to Its Categorical Side

Author:: van Oosten, Jaap

ISBN:: 978-0-444-51584-1

Book Format:: Hardback

List Price:: USD $190.00

Publisher:: Elsevier Science & Technology

Publication Date:: Mar 2008

9.

Many-Dimensional Modal Logics: Theory and Applicat... - a book by Kurucz, A.

Many-Dimensional Modal Logics: Theory and Applications

Author:: Kurucz, A.
Wolter, F.
Zakharyaschev, M.
Gabbay, Dov M.

ISBN:: 978-0-444-50826-3

Book Format:: Hardback

List Price:: USD $190.00

Publisher:: Elsevier Science & Technology

Publication Date:: Oct 2003

10.

Categorical Logic and Type Theory

Author:: Jacobs, B.

ISBN:: 978-0-444-50853-9

Book Format:: Paperback

List Price:: USD $143.00

Publisher:: Elsevier Science & Technology

Publication Date:: May 2001

11.

Lectures on the Curry-Howard Isomorphism

Author:: Sørensen, Morten Heine
Urzyczyn, Pawel

ISBN:: 978-0-444-52077-7

Book Format:: Hardback

List Price:: USD $180.00

Publisher:: Elsevier Science & Technology

Publication Date:: Jul 2006

12.

Computable Structures and the Hyperarithmetical Hi... - a book by Ash, C. J.

Computable Structures and the Hyperarithmetical Hierarchy

Author:: Ash, C. J.
Knight, J.

ISBN:: 978-0-444-50072-4

Book Format:: Hardback

List Price:: USD $147.00

Publisher:: Elsevier Science & Technology

Publication Date:: Jun 2000

13.

Tools and Techniques in Modal Logic

Author:: Kracht, M.

ISBN:: 978-0-444-50055-7

Book Format:: Hardback

List Price:: USD $165.00

Publisher:: Elsevier Science & Technology

Publication Date:: Jun 1999

14.

Handbook of Proof Theory

ISBN:: 978-0-444-89840-1

Book Format:: Hardback

List Price:: USD $195.00

Publisher:: Elsevier Science & Technology

Publication Date:: Jul 1998

15.

Classical Recursion Theory, Volume II

Author:: Odifreddi, P.

ISBN:: 978-0-444-50205-6

Book Format:: Hardback

List Price:: USD $190.00

Publisher:: Elsevier Science & Technology

Publication Date:: Sep 1999

16.

Residuated Lattices: an Algebraic Glimpse at Subst... - a book by Galatos, Nikolaos

Residuated Lattices: an Algebraic Glimpse at Substructural Logics

Author:: Galatos, Nikolaos
Jipsen, Peter
Kowalski, Tomasz
Ono, Hiroakira

ISBN:: 978-0-444-52141-5

Book Format:: Hardback

List Price:: USD $165.00

Publisher:: Elsevier Science & Technology

Publication Date:: Apr 2007

17.

Logical Frameworks for Truth and Abstraction

An Axiomatic Study

Author:: Cantini, A.

ISBN:: 978-0-444-82306-9

Book Format:: Hardback

List Price:: USD $170.00

Publisher:: Elsevier Science & Technology

Publication Date:: Mar 1996

18.

Constructivism in Mathematics

An Introduction

Author:: Troelstra, A. S.
Van Dalen, D.

ISBN:: 978-0-444-70506-8

Book Format:: Paperback

List Price:: USD $72.95

Publisher:: Elsevier Science & Technology

Publication Date:: Aug 1988

19.

Handbook of Computability Theory

ISBN:: 978-0-444-89882-1

Book Format:: Hardback

List Price:: USD $195.00

Publisher:: Elsevier Science & Technology

Publication Date:: Oct 1999

20.

Language in Action

Categories, Lambdas and Dynamic Logic

Author:: van Benthem, J.

ISBN:: 978-0-444-89000-9

Book Format:: Hardback

List Price:: USD $72.95

Publisher:: Elsevier Science & Technology

Publication Date:: Feb 1991

Books » Related Books

Related Keywords

Refine Options

Featured Books


1.		Admissibility of Logical Inference Rules Author: Rybakov, V. V. ISBN: 978-0-444-89505-9 Book Format: Hardback List Price: USD $195.00 Publisher: Elsevier Science & Technology Publication Date: Mar 1997 Quantity Note

2.		Quantification in Nonclassical Logic Author: Gabbay, Dov M. Skvortsov, Dimitrij Shehtman, Valentin ISBN: 978-0-444-52012-8 Book Format: Hardback List Price: USD $250.00 Publisher: Elsevier Science & Technology Publication Date: Jun 2009 Quantity Note

3.		Relation Algebras Author: Maddux, Roger Duncan ISBN: 978-0-444-52013-5 Book Format: Hardback List Price: USD $305.00 Publisher: Elsevier Science & Technology Publication Date: May 2006 Quantity Note

4.		Rudiments of Calculus ISBN: 978-0-444-50620-7 Book Format: Hardback List Price: USD $108.00 Publisher: Elsevier Science & Technology Publication Date: Feb 2001 Quantity Note

5.		Set Theory an Introduction to Independence Proofs Author: Kunen, K. ISBN: 978-0-444-86839-8 Book Format: Hardback List Price: USD $72.95 Publisher: Elsevier Science & Technology Publication Date: Dec 1983 Quantity Note

6.		Constructivism in Mathematics, Vol 1 Author: Troelstra, A. S. van Dalen, D. ISBN: 978-0-444-70266-1 Book Format: Hardback List Price: USD $72.95 Publisher: Elsevier Science & Technology Publication Date: Jul 1988 Quantity Note

7.		Constructivism in Mathematics, Vol 2 Author: Troelstra, A. S. van Dalen, D. ISBN: 978-0-444-70358-3 Book Format: Hardback List Price: USD $72.95 Publisher: Elsevier Science & Technology Publication Date: Nov 1988 Quantity Note

8.		Realizability An Introduction to Its Categorical Side Author: van Oosten, Jaap ISBN: 978-0-444-51584-1 Book Format: Hardback List Price: USD $190.00 Publisher: Elsevier Science & Technology Publication Date: Mar 2008 Quantity Note

9.		Many-Dimensional Modal Logics: Theory and Applications Author: Kurucz, A. Wolter, F. Zakharyaschev, M. Gabbay, Dov M. ISBN: 978-0-444-50826-3 Book Format: Hardback List Price: USD $190.00 Publisher: Elsevier Science & Technology Publication Date: Oct 2003 Quantity Note

10.		Categorical Logic and Type Theory Author: Jacobs, B. ISBN: 978-0-444-50853-9 Book Format: Paperback List Price: USD $143.00 Publisher: Elsevier Science & Technology Publication Date: May 2001 Quantity Note

11.		Lectures on the Curry-Howard Isomorphism Author: Sørensen, Morten Heine Urzyczyn, Pawel ISBN: 978-0-444-52077-7 Book Format: Hardback List Price: USD $180.00 Publisher: Elsevier Science & Technology Publication Date: Jul 2006 Quantity Note

12.		Computable Structures and the Hyperarithmetical Hierarchy Author: Ash, C. J. Knight, J. ISBN: 978-0-444-50072-4 Book Format: Hardback List Price: USD $147.00 Publisher: Elsevier Science & Technology Publication Date: Jun 2000 Quantity Note

13.		Tools and Techniques in Modal Logic Author: Kracht, M. ISBN: 978-0-444-50055-7 Book Format: Hardback List Price: USD $165.00 Publisher: Elsevier Science & Technology Publication Date: Jun 1999 Quantity Note

14.		Handbook of Proof Theory ISBN: 978-0-444-89840-1 Book Format: Hardback List Price: USD $195.00 Publisher: Elsevier Science & Technology Publication Date: Jul 1998 Quantity Note

15.		Classical Recursion Theory, Volume II Author: Odifreddi, P. ISBN: 978-0-444-50205-6 Book Format: Hardback List Price: USD $190.00 Publisher: Elsevier Science & Technology Publication Date: Sep 1999 Quantity Note

16.		Residuated Lattices: an Algebraic Glimpse at Substructural Logics Author: Galatos, Nikolaos Jipsen, Peter Kowalski, Tomasz Ono, Hiroakira ISBN: 978-0-444-52141-5 Book Format: Hardback List Price: USD $165.00 Publisher: Elsevier Science & Technology Publication Date: Apr 2007 Quantity Note

17.		Logical Frameworks for Truth and Abstraction An Axiomatic Study Author: Cantini, A. ISBN: 978-0-444-82306-9 Book Format: Hardback List Price: USD $170.00 Publisher: Elsevier Science & Technology Publication Date: Mar 1996 Quantity Note

18.		Constructivism in Mathematics An Introduction Author: Troelstra, A. S. Van Dalen, D. ISBN: 978-0-444-70506-8 Book Format: Paperback List Price: USD $72.95 Publisher: Elsevier Science & Technology Publication Date: Aug 1988 Quantity Note

19.		Handbook of Computability Theory ISBN: 978-0-444-89882-1 Book Format: Hardback List Price: USD $195.00 Publisher: Elsevier Science & Technology Publication Date: Oct 1999 Quantity Note

20.		Language in Action Categories, Lambdas and Dynamic Logic Author: van Benthem, J. ISBN: 978-0-444-89000-9 Book Format: Hardback List Price: USD $72.95 Publisher: Elsevier Science & Technology Publication Date: Feb 1991 Quantity Note