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

Introduction to Quantum Cryptography

Thomas Vidick, Steph...

Hardback
Published 14 Sep 2023

  • $64.87
Add to basket

$1.72off

Our Final Invention

James Barrat

Paperback
Published 20 Jul 2023

Save $1.72

  • RRP $13.90
  • $12.18
Add to basket

$8.62off

Quick Start Guide to Large Language Models

Sinan Ozdemir

Paperback
Published 03 Oct 2023

Save $8.62

  • RRP $48.05
  • $39.43
Add to basket

$2.43off

Fieldbus and Networking in Process Automation

Sunit Kumar Sen

Paperback
Published 25 Sep 2023

Save $2.43

  • RRP $58.17
  • $55.74
Add to basket

$4.92off

Machines That Think

New Scientist (Firm)...

Paperback
Published 17 Mar 2022

Save $4.92

  • RRP $13.90
  • $8.98
Add to basket

$2.34off

Futureproof

Kevin Roose

Paperback
Published 03 Feb 2022

Save $2.34

  • RRP $13.90
  • $11.56
Add to basket

$2.30off

The Age of AI

Henry Kissinger, Eri...

Paperback
Published 04 Aug 2022

Save $2.30

  • RRP $13.90
  • $11.60
Add to basket
Superintelligence

Nick Bostrom

Paperback
Published 14 Apr 2016

  • $13.96
Add to basket
Deep Learning

Ian Goodfellow, Yosh...

Hardback
Published 03 Jan 2017

  • $90.59
Add to basket

$4.60off

The Singularity Is Near

Ray Kurzweil

Paperback
Published 09 Mar 2006

Save $4.60

  • RRP $24.02
  • $19.42
Add to basket