Collegium Logicum: Collegium Logicum, cartea 2
Autor Kenneth A. Loparoen Limba Engleză Paperback – 30 apr 1996
Preț: 366.76 lei
Puncte Express: 550
Carte tipărită la comandă
Livrare economică 13-27 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783211827963
ISBN-10: 321182796X
Pagini: 152
Ilustrații: VII, 140 p. 3 illus.
Dimensiuni: 170 x 244 x 8 mm
Greutate: 0.25 kg
Ediția:Softcover reprint of the original 1st ed. 1996
Editura: SPRINGER VIENNA
Colecția Springer
Seria Collegium Logicum
Locul publicării:Vienna, Austria
ISBN-10: 321182796X
Pagini: 152
Ilustrații: VII, 140 p. 3 illus.
Dimensiuni: 170 x 244 x 8 mm
Greutate: 0.25 kg
Ediția:Softcover reprint of the original 1st ed. 1996
Editura: SPRINGER VIENNA
Colecția Springer
Seria Collegium Logicum
Locul publicării:Vienna, Austria
V-ar putea interesa
-
Constructibility and Mathematical ExistenceCharles S. Chihara-14%Preț: 324.48 lei377.73 lei -
Conceptual Notation and Related ArticlesGottlob Frege-32%Preț: 766.03 lei1124.79 lei -
-24%Preț: 374.96 lei491.24 lei -
-34%Preț: 653.32 lei992.90 lei -
Automorphisms of First-order StructuresRichard Kaye-33%Preț: 596.09 lei895.18 lei -
Category TheorySteve Awodey-22%Preț: 434.22 lei559.64 lei -
-15%Preț: 570.70 lei671.41 lei -
Godel's ProofErnest NagelPreț: 128.52 lei -
TopoiRobert Goldblatt-25%Preț: 156.12 lei208.37 lei -
Axiomatic Set TheoryPatrick SuppesPreț: 102.84 lei -
First-Order LogicRaymond M. SmullyanPreț: 60.18 lei -
Mathematical Logic for Computer ScienceMordechai Ben-Ari-20%Preț: 380.61 lei475.76 lei -
Combinatorial Set Theory: With a Gentle Introduction to ForcingLorenz J. Halbeisen-19%Preț: 557.87 lei688.73 lei -
The Joy of SetsKeith Devlin-15%Preț: 420.01 lei494.14 lei -
Preț: 474.26 lei -
Sets, Logic and CategoriesPeter J. CameronPreț: 272.04 lei -
-18%Preț: 1080.84 lei1318.10 lei -
Theory of SetsN. BourbakiPreț: 476.32 lei
Public țintă
ResearchCuprins
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.