你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada collegium logicum 2
Type
Physical Book
Publisher
Year
2000
Language
English
Pages
140
Format
Paperback
Dimensions
24.4x17x0.8 cm
Weight
0.25 kg.
ISBN
321182796x
ISBN13
9783211827963

collegium logicum 2

Kurt-Gödel-Gesellschaft (Author) · Springer · Paperback

collegium logicum 2 - Kurt-Gödel-Gesellschaft

Cheaper New Book Imported to Taiwan
Delivery: 14 Oct - 27 Oct Shipping: 13 to 17 business days.
NT$ 1,860
Faster New Book Imported to Taiwan
Delivery: 05 Oct - 13 Oct Shipping: 6 to 7 business days.
NT$ 2,372
NT$ 1,860

Synopsis "collegium logicum 2"

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. Krajíc ek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: 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.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews