Term Logic with Choice Operator
Autor Hans Hermesen Limba Engleză Paperback –
Preț: 258.81 lei
Puncte Express: 388
Carte tipărită la comandă
Livrare economică 11-25 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: 9783540048992
ISBN-10: 3540048995
Pagini: 52
Ilustrații: III, 59 p.
Dimensiuni: 155 x 235 x 4 mm
Greutate: 0.1 kg
Ediția:1965
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540048995
Pagini: 52
Ilustrații: III, 59 p.
Dimensiuni: 155 x 235 x 4 mm
Greutate: 0.1 kg
Ediția:1965
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Handbook of Regression AnalysiSamprit Chatterjee-9%Preț: 837.21 lei920.01 lei -
Improving Surveys with ParadataFrauke Kreuter-8%Preț: 508.61 lei552.84 lei -
The Cartoon Introduction to StatisticsGrady KleinPreț: 125.57 lei -
Resampling Methods and R 2ePhillip I Good-8%Preț: 396.48 lei430.96 lei -
Preț: 208.44 lei -
Advanced Topics in Computational Number TheoryHenri CohenPreț: 490.50 lei -
Modular Functions and Dirichlet Series in Number TheoryTom M. ApostolPreț: 435.77 lei -
Introduction to Cyclotomic FieldsLawrence C. Washington-15%Preț: 515.99 lei607.05 lei -
The Noether Theorems: Invariance and Conservation Laws in the Twentieth CenturyYvette Kosmann-Schwarzbach-15%Preț: 557.83 lei656.27 lei -
Looking at NumbersTom Johnson-15%Preț: 667.23 lei784.98 lei -
-15%Preț: 622.48 lei732.32 lei -
Long-Memory ProcessesJan Beran-18%Preț: 1310.23 lei1597.85 lei -
Efficiency Measures in the Agricultural SectorArmando Mendes-15%Preț: 620.73 lei730.27 lei
Public țintă
ResearchCuprins
Foreword to the Revised Edition.- First order predicate logic with choice operator.- First order term logic with choice operator.- Embedding of predicate logic in term logic.- Embedding of term logic in predicate logic.- Free occurence of a variable. Rank of term. Elementary substitution.- A term calculus.- Soundness of the rules.- Survey of the completeness proof.- Some theorems concerning deducibility.- Substitution.- Further theorems concerning deducibility.- Survey of the proof of the Theorem on satisfiability.- Details of the proof.- Completeness of restricted term calculus.