For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Page Top
Improving Proof Search in Intuitionistic Propositional Logic
Improving Proof Search in Intuitionistic Propositional Logic
(
)
Author:
Weich, Klaus
ISBN:
978-3-89722-767-5
Publication Date:
Oct 2001
Publisher:
Logos Verlag Berlin
Book Format:
Paperback
List Price:
USD $60.75
Buy Now
Book Details
Pages:
139
Physical Dimensions
(W X L X H)
:
6.63 x 9.36 Inches
Featured Books
The Light We Carry
Obama, Michelle
Paperback:
$19.99
Long Island
Toibin, Colm
Hardback:
$28.00
The Sun Is Also a Star
Yoon, Nicola
Paperback:
$8.99
View more Featured Books
Rate this title:
Select your rating below then click 'submit'.
Rating value is required.
I do not wish to rate this title.