Search Results - Fitting, M. - Books

Alice in Puzzle-Land : A Carrollian Tale for Children Under Eighty

Paperback / softback 24 Feb 2012
ISBN: 9780486482002
Dewey: 793.73
£8.24
RRP £10.99 Save 25%
2 in Stock Need More ?

First-Order Modal Logic

Hardback 19 Oct 2023
ISBN: 9783031407130
Dewey: 160
£87.99
RRP £109.99
Special order line: only available to educational & business accounts. Sign In

Types, tableaus, and Godel's God

Ebook 31 May 2002
Publisher Springer
ISBN: 9789401004114
Dewey: 160
Licence From
£89.50
Special order line: only available to educational & business accounts. Sign In

Proof Methods for Modal and Intuitionistic Logics - v.169

Ebook 18 Apr 2013
Publisher Springer
ISBN: 9789401727945
Dewey: 511.3
Licence From
£179.50
Special order line: only available to educational & business accounts. Sign In

Types, Tableaus, and Godel's God

Paperback
Publisher Springer
ISBN: 9789401004121
£24.99
Special order line: only available to educational & business accounts. Sign In

Proof Methods for Modal and Intuitionistic Logics

Paperback 14 Mar 2014
Publisher Springer
ISBN: 9789401727952
£24.99
Special order line: only available to educational & business accounts. Sign In

Hagan Brothers: Part 1

EA 1 Aug 2020
Publisher Mike Fitting
ISBN: 9781005349110
Licence From
£0.77
Special order line: only available to educational & business accounts. Sign In

Hagan Brothers: Part 2

EA 1 Aug 2020
ISBN: 9781005871659
Licence From
£0.77
Special order line: only available to educational & business accounts. Sign In

First-Order Logic and Automated Theorem Proving

Paperback 29 Jun 2013
Publisher Springer
ISBN: 9781461223610
£24.99
Special order line: only available to educational & business accounts. Sign In
£24.99
Special order line: only available to educational & business accounts. Sign In
Out of Print
Licence From
£129.50
Special order line: only available to educational & business accounts. Sign In
£99.99
Special order line: only available to educational & business accounts. Sign In

First-Order Modal Logic

Paperback 24 Dec 2011
Publisher Springer
ISBN: 9789401152938
£24.99
Special order line: only available to educational & business accounts. Sign In
Licence From
£35.99
Special order line: only available to educational & business accounts. Sign In

Proof Methods for Modal and Intuitionistic Logics

Paperback / softback 25 Dec 2010
Publisher Springer
ISBN: 9789048183814
Dewey: 511.3
£179.99
Special order line: only available to educational & business accounts. Sign In

Proof Methods for Modal and Intuitionistic Logics

Hardback 30 Apr 1983
ISBN: 9789027715739
Dewey: 511.3
£179.99
Special order line: only available to educational & business accounts. Sign In

First-Order Logic and Automated Theorem Proving

Paperback / softback 26 Jun 2013
ISBN: 9781461275152
Dewey: 511.3
£74.99
Special order line: only available to educational & business accounts. Sign In
£129.99
Special order line: only available to educational & business accounts. Sign In
£129.99
Special order line: only available to educational & business accounts. Sign In
Licence From
£150.00
Special order line: only available to educational & business accounts. Sign In

Types, Tableaus, and Godel’s God

Hardback 31 May 2002
ISBN: 9781402006043
Dewey: 160
£89.99
Special order line: only available to educational & business accounts. Sign In

Incompleteness in the Land of Sets

Paperback / softback 19 Feb 2007
ISBN: 9781904987345
Dewey: 511.32
£15.73
RRP £18.50
Special order line: only available to educational & business accounts. Sign In

Types, Tableaus, and Godel’s God

Paperback / softback 11 Oct 2012
Publisher Springer
ISBN: 9789401039123
Dewey: 110
£80.99
RRP £89.99
Special order line: only available to educational & business accounts. Sign In

First-Order Logic and Automated Theorem Proving

Ebook 6 Dec 2012
Publisher Springer
ISBN: 9781461223603
Dewey: 511.3
Licence From
£74.50
Special order line: only available to educational & business accounts. Sign In

First-Order Logic and Automated Theorem Proving

Ebook 6 Dec 2012
Publisher Springer
ISBN: 9781468403572
Dewey: 511.3
Licence From
£72.00
Special order line: only available to educational & business accounts. Sign In

Computability Theory

Hardback 16 Apr 1987
ISBN: 9780195036916
Dewey: 005.133
Out of Print

Selected Topics from Contemporary Logics

Paperback / softback 6 Oct 2021
ISBN: 9781848903500
£20.40
RRP £24.00
Special order line: only available to educational & business accounts. Sign In

First-Order Logic and Automated Theorem Proving

Paperback / softback 31 Jul 2012
ISBN: 9781468403596
Dewey: 511.3
Out of Print

First-Order Logic and Automated Theorem Proving

Hardback 29 Nov 1995
ISBN: 9780387945934
Dewey: 004.0151
Out of Print