Print this page
Automated Proof Search in Non-Classical Logics

Automated Proof Search in Non-Classical Logics Efficient Matrix Proof Methods for Modal and Intuitionistic Logics

Hardback (14 Mar 1990)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

Book information

ISBN: 9780262231442
Publisher: MIT Press
Imprint: The MIT Press
Pub date:
DEWEY: 511.3
DEWEY edition: 20
Language: English
Number of pages: 239
Weight: 703g
Height: 36mm
Width: 83mm
Spine width: 25mm

We recommend

$19.85off

Introduction to Quantum Cryptography

Thomas Vidick, Steph...

Hardback
Published 14 Sep 2023

Save $19.85

  • RRP $57.51
  • $37.66
Add to basket

$1.79off

Our Final Invention

James Barrat

Paperback
Published 20 Jul 2023

Save $1.79

  • RRP $14.05
  • $12.26
Add to basket

$14.60off

Quick Start Guide to Large Language Models

Sinan Ozdemir

Paperback
Published 03 Oct 2023

Save $14.60

  • RRP $48.56
  • $33.96
Add to basket

$21.38off

Fieldbus and Networking in Process Automation

Sunit Kumar Sen

Paperback
Published 25 Sep 2023

Save $21.38

  • RRP $57.51
  • $36.13
Add to basket

$5.03off

Machines That Think

New Scientist (Firm)...

Paperback
Published 17 Mar 2022

Save $5.03

  • RRP $14.05
  • $9.02
Add to basket

$2.11off

Futureproof

Kevin Roose

Paperback
Published 03 Feb 2022

Save $2.11

  • RRP $12.77
  • $10.66
Add to basket
The Age of AI

Henry Kissinger, Eri...

Paperback
Published 04 Aug 2022

  • $15.16
Add to basket
Superintelligence

Nick Bostrom

Paperback
Published 14 Apr 2016

  • $14.05
Add to basket
Deep Learning

Ian Goodfellow, Yosh...

Hardback
Published 03 Jan 2017

  • $94.24
Add to basket

$1.19off

The Singularity Is Near

Ray Kurzweil

Paperback
Published 09 Mar 2006

Save $1.19

  • RRP $24.27
  • $23.08
Add to basket