Collegium Logicum (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
140
Utgivningsdatum
1996-04-01
Upplaga
Softcover reprint of the original 1st ed. 1996
Förlag
Springer Verlag GmbH
Illustrationer
3 Illustrations, black and white; VII, 140 p. 3 illus.
Volymtitel
v. 2
Dimensioner
244 x 170 x 8 mm
Vikt
254 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783211827963

Collegium Logicum

Annals of the Kurt Goedel Society

av Kenneth A Loparo
Häftad,  Engelska, 1996-04-01
760
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
Visa alla 1 format & utgåvor
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.
Visa hela texten

Passar bra ihop

  1. Collegium Logicum
  2. +
  3. The Anxious Generation

De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (inbunden).

Köp båda 2 för 1049 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av Kenneth A Loparo

Visa alla böcker av Kenneth A Loparo »

Innehållsförteckning

Resolution Games and Non-liftable Resolution Orderings.- A Tableau Calculus for Partial Functions.- MUltlog: an Expert System for Multiple-valued Logics.- A Fundamental Problem of Mathematical Logic.- On the Lengths of Proofs of Consistency.- The Craig Interpolation Theorem for Schematic Systems.- The Role of Monotonicity in Descriptive Complexity Theory.- Numbers Defined by Turing Machines.

Du kanske gillar