Books By Fitting, Melvin

1.

First-Order Logic and Automated Theorem Proving

Author:: Fitting, Melvin

ISBN:: 978-0-387-94593-4

Book Format:: Hardback

List Price:: AUD $147.95

Publisher:: Springer

Publication Date:: Jan 1995

2.

Beyond Two

Theory and Applications of Multiple-Valued Logic

ISBN:: 978-3-7908-2522-0

Book Format:: Paperback

List Price:: AUD $360.95

Publisher:: Physica-Verlag

Publication Date:: Nov 2010

3.

Proof Methods for Modal and Intuitionistic Logic

Author:: Fitting, Melvin

ISBN:: 978-90-277-1573-9

Book Format:: Hardback

List Price:: USD $349.99USD $219.99

Publisher:: Springer Netherlands

Publication Date:: Apr 1983

4.

Types, Tableaus, and Gödel's God

Author:: Fitting, Melvin

ISBN:: 978-1-4020-0604-3

Book Format:: Hardback

List Price:: USD $109.99

Publisher:: Springer Netherlands

Publication Date:: May 2002

5.

Raymond Smullyan on Self Reference

ISBN:: 978-3-319-68731-5

Book Format:: Hardback

List Price:: USD $119.99

Publisher:: Springer International Publishing AG

Publication Date:: Jan 2018

6.

Types, Tableaus, and Gödel's God

Author:: Fitting, Melvin

ISBN:: 978-1-4020-0604-3

Book Format:: Hardback

List Price:: AUD $307.95

Publisher:: Springer London, Limited

Publication Date:: Jan 2002

7.

Justification Logic

Reasoning with Reasons

Author:: Artemov, Sergei
Fitting, Melvin

ISBN:: 978-1-108-34803-4

Book Format:: Digital download and online

List Price:: USD $165.00

Publisher:: Cambridge University Press

Publication Date:: Apr 2019

8.

Proof Methods for Modal and Intuitionistic Logic

Author:: Fitting, Melvin

ISBN:: 978-90-277-1573-9

Book Format:: Hardback

List Price:: AUD $678.95

Publisher:: Springer London, Limited

Publication Date:: Jan 1983

9.

First-Order Logic and Automated Theorem Proving

Author:: Fitting, Melvin

ISBN:: 978-0-387-94593-4

Book Format:: Hardback

List Price:: USD $99.00

Publisher:: Springer

Publication Date:: Nov 1995

10.

Set Theory and the Continuum Problem

Author:: Smullyan, Raymond M.
Fitting, Melvin

ISBN:: 978-0-19-852395-6

Book Format:: Hardback

List Price:: AUD $300.00

Publisher:: Oxford University Press, Incorporated

Publication Date:: Aug 1996

11.

Justification Logic

Reasoning with Reasons

Author:: Artemov, Sergei
Fitting, Melvin

ISBN:: 978-1-108-42491-2

Book Format:: Hardback

List Price:: AUD $188.95

Publisher:: Cambridge University Press

Publication Date:: May 2019

12.

First-Order Logic and Automated Theorem Proving

Author:: Fitting, Melvin

ISBN:: 978-1-4684-0359-6

Book Format:: Paperback

List Price:: USD $99.00

Publisher:: Springer

Publication Date:: Jul 2012

13.

First-Order Modal Logic

Author:: Fitting, Melvin
Mendelsohn, Richard L.

ISBN:: 978-0-7923-5335-5

Book Format:: Paperback

List Price:: AUD $197.95

Publisher:: Springer London, Limited

Publication Date:: Jan 1999

14.

Set Theory and the Continuum Problem

Author:: Smullyan, Raymond
Fitting, Melvin

ISBN:: 978-0-486-47484-7

Book Format:: Paperback

List Price:: USD $15.95

Publisher:: Dover Publications, Incorporated

Publication Date:: Apr 2010

15.

Justification Logic

Reasoning with Reasons

Author:: Artemov, Sergei
Fitting, Melvin

ISBN:: 978-1-108-42491-2

Book Format:: Hardback

List Price:: USD $135.00

Publisher:: Cambridge University Press

Publication Date:: May 2019

16.

Incompletetude Na Terra Dos Conjuntos

Author:: Fitting, Melvin

ISBN:: 978-1-84890-109-4

Book Format:: Paperback

List Price:: AUD $18.15

Publisher:: College Publications

Publication Date:: May 2013

17.

Beyond Two

Theory and Applications of Multiple-Valued Logic

ISBN:: 978-3-7908-1541-2

Book Format:: Hardback

List Price:: USD $169.99

Publisher:: Physica-Verlag

Publication Date:: Jan 2003

18.

Incompletetude Na Terra Dos Conjuntos

Author:: Fitting, Melvin

ISBN:: 978-1-84890-109-4

Book Format:: Paperback

List Price:: USD $15.50

Publisher:: College Publications

Publication Date:: May 2013

19.

Numbers

Author:: Fitting, Melvin
Fitting, Greer

ISBN:: 978-1-84890-335-7

Book Format:: Paperback

List Price:: USD $16.00

Publisher:: College Publications

Publication Date:: Jun 2020

20.

Justification Logic

Reasoning with Reasons

Author:: Artemov, Sergei
Fitting, Melvin

ISBN:: 978-1-108-34803-4

Book Format:: Digital download and online

List Price:: AUD $200.00

Publisher:: Cambridge University Press

Publication Date:: Apr 2019

Books » Fitting, Melvin Books » Books By Fitting, Melvin

Related Keywords

Refine Options

Featured Books


1.		First-Order Logic and Automated Theorem Proving Author: Fitting, Melvin ISBN: 978-0-387-94593-4 Book Format: Hardback List Price: AUD $147.95 Publisher: Springer Publication Date: Jan 1995 Quantity Note

2.		Beyond Two Theory and Applications of Multiple-Valued Logic ISBN: 978-3-7908-2522-0 Book Format: Paperback List Price: AUD $360.95 Publisher: Physica-Verlag Publication Date: Nov 2010 Quantity Note

3.		Proof Methods for Modal and Intuitionistic Logic Author: Fitting, Melvin ISBN: 978-90-277-1573-9 Book Format: Hardback List Price: USD $349.99USD $219.99 Publisher: Springer Netherlands Publication Date: Apr 1983 Quantity Note

4.		Types, Tableaus, and Gödel's God Author: Fitting, Melvin ISBN: 978-1-4020-0604-3 Book Format: Hardback List Price: USD $109.99 Publisher: Springer Netherlands Publication Date: May 2002 Quantity Note

5.		Raymond Smullyan on Self Reference ISBN: 978-3-319-68731-5 Book Format: Hardback List Price: USD $119.99 Publisher: Springer International Publishing AG Publication Date: Jan 2018 Quantity Note

6.		Types, Tableaus, and Gödel's God Author: Fitting, Melvin ISBN: 978-1-4020-0604-3 Book Format: Hardback List Price: AUD $307.95 Publisher: Springer London, Limited Publication Date: Jan 2002 Quantity Note

7.		Justification Logic Reasoning with Reasons Author: Artemov, Sergei Fitting, Melvin ISBN: 978-1-108-34803-4 Book Format: Digital download and online List Price: USD $165.00 Publisher: Cambridge University Press Publication Date: Apr 2019 Quantity Note

8.		Proof Methods for Modal and Intuitionistic Logic Author: Fitting, Melvin ISBN: 978-90-277-1573-9 Book Format: Hardback List Price: AUD $678.95 Publisher: Springer London, Limited Publication Date: Jan 1983 Quantity Note

9.		First-Order Logic and Automated Theorem Proving Author: Fitting, Melvin ISBN: 978-0-387-94593-4 Book Format: Hardback List Price: USD $99.00 Publisher: Springer Publication Date: Nov 1995 Quantity Note

10.		Set Theory and the Continuum Problem Author: Smullyan, Raymond M. Fitting, Melvin ISBN: 978-0-19-852395-6 Book Format: Hardback List Price: AUD $300.00 Publisher: Oxford University Press, Incorporated Publication Date: Aug 1996 Quantity Note

11.		Justification Logic Reasoning with Reasons Author: Artemov, Sergei Fitting, Melvin ISBN: 978-1-108-42491-2 Book Format: Hardback List Price: AUD $188.95 Publisher: Cambridge University Press Publication Date: May 2019 Quantity Note

12.		First-Order Logic and Automated Theorem Proving Author: Fitting, Melvin ISBN: 978-1-4684-0359-6 Book Format: Paperback List Price: USD $99.00 Publisher: Springer Publication Date: Jul 2012 Quantity Note

13.		First-Order Modal Logic Author: Fitting, Melvin Mendelsohn, Richard L. ISBN: 978-0-7923-5335-5 Book Format: Paperback List Price: AUD $197.95 Publisher: Springer London, Limited Publication Date: Jan 1999 Quantity Note

14.		Set Theory and the Continuum Problem Author: Smullyan, Raymond Fitting, Melvin ISBN: 978-0-486-47484-7 Book Format: Paperback List Price: USD $15.95 Publisher: Dover Publications, Incorporated Publication Date: Apr 2010 Quantity Note

15.		Justification Logic Reasoning with Reasons Author: Artemov, Sergei Fitting, Melvin ISBN: 978-1-108-42491-2 Book Format: Hardback List Price: USD $135.00 Publisher: Cambridge University Press Publication Date: May 2019 Quantity Note

16.		Incompletetude Na Terra Dos Conjuntos Author: Fitting, Melvin ISBN: 978-1-84890-109-4 Book Format: Paperback List Price: AUD $18.15 Publisher: College Publications Publication Date: May 2013 Quantity Note

17.		Beyond Two Theory and Applications of Multiple-Valued Logic ISBN: 978-3-7908-1541-2 Book Format: Hardback List Price: USD $169.99 Publisher: Physica-Verlag Publication Date: Jan 2003 Quantity Note

18.		Incompletetude Na Terra Dos Conjuntos Author: Fitting, Melvin ISBN: 978-1-84890-109-4 Book Format: Paperback List Price: USD $15.50 Publisher: College Publications Publication Date: May 2013 Quantity Note

19.		Numbers Author: Fitting, Melvin Fitting, Greer ISBN: 978-1-84890-335-7 Book Format: Paperback List Price: USD $16.00 Publisher: College Publications Publication Date: Jun 2020 Quantity Note

20.		Justification Logic Reasoning with Reasons Author: Artemov, Sergei Fitting, Melvin ISBN: 978-1-108-34803-4 Book Format: Digital download and online List Price: AUD $200.00 Publisher: Cambridge University Press Publication Date: Apr 2019 Quantity Note