Collegium Logicum - Collegium Logicum 2 (Paperback)
  • Collegium Logicum - Collegium Logicum 2 (Paperback)
zoom

Collegium Logicum - Collegium Logicum 2 (Paperback)

(author)
£76.50
Paperback 140 Pages / Published: 30/04/1996
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer Verlag GmbH
ISBN: 9783211827963
Number of pages: 140
Weight: 305 g
Dimensions: 244 x 170 x 8 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Godel's Proof
Added to basket
£11.99
Paperback
The Foundations of Mathematics
Added to basket
A Book of Set Theory
Added to basket
Logic
Added to basket
£10.99
Paperback
Conceptual Mathematics
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback
Numbers and Proofs
Added to basket
£46.99
Paperback
From Frege to Godel
Added to basket
How to Prove It
Added to basket
Modern Logic
Added to basket
£77.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.