Collegium Logicum

By:

Kenneth A. Loparo

Format:

Paperback / softback

Series:

Collegium logicum

Show Hide Adult Content

$135.99

RRP:: ~~$189.95~~ save $53.96

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $34.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 18-28 June using International Courier

Description

Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajicpek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.

Release date Australia

April 30th, 1996

Author

Kenneth A. Loparo

Audience

Professional & Vocational

Edition

Softcover reprint of the original 1st ed. 1996

Illustrations

3 Illustrations, black and white; VII, 140 p. 3 illus.

Pages

140

Series

Collegium logicum

Dimensions

170x244x8

ISBN-13

9783211827963

Product ID

13420462

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here