电子书 > 科学 > 数学 > Gerald E Sacks: SELECTED LOGIC PAPERS (V6) (PDF)

Gerald E Sacks
SELECTED LOGIC PAPERS (V6) [PDF ebook]

支持

的封面 Gerald E Sacks: SELECTED LOGIC PAPERS (V6) (PDF)

The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion. His general introduction provides a chronology both personal and technical.

€209.99

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● 网页 452 ● ISBN 9789812812926 ● 文件大小 72.2 MB ● 编辑 Gerald E Sacks ● 出版者 World Scientific Publishing Company ● 市 Singapore ● 国家 SG ● 发布时间 1999 ● 下载 24 个月 ● 货币 EUR ● ID 2447250 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Gerald E Sacks Gerald E. Sacks

48,927 此类电子书

的封面 Dolly Khuwayri (American University of Beirut, Lebanon) Fayyad & Nabil (American University of Beirut, Lebanon) Nassif: Introduction to Numerical Analysis and Scientific Computing

Dolly Khuwayri (American University of Beirut, Lebanon) Fayyad & Nabil (American University of Beirut, Lebanon) Nassif: Introduction to Numerical Analysis and Scientific Computing

Designed for a one-semester course, Introduction to Numerical Analysis and Scientific Computing presents fundamental concepts of numerical mathematics and explains how to implement and program numeri …

的封面 Millie Pant & Pratiksha Saxena: Problem Solving and Uncertainty Modeling through Optimization and Soft Computing Applications

Millie Pant & Pratiksha Saxena: Problem Solving and Uncertainty Modeling through Optimization and Soft Computing Applications

的封面 Don Redmond: Number Theory

Don Redmond: Number Theory

This text provides a detailed introduction to number theory, demonstrating how other areas of mathematics enter into the study of the properties of natural numbers. It contains problem sets within ea …

的封面 Walter Ricardo (University of the Republic, Uruguay) Ferrer Santos & Alvaro (University of the Republic, Uruguay) Rittatore: Actions and Invariants of Algebraic Groups

Walter Ricardo (University of the Republic, Uruguay) Ferrer Santos & Alvaro (University of the Republic, Uruguay) Rittatore: Actions and Invariants of Algebraic Groups

Actions and Invariants of Algebraic Groups, Second Edition presents a self-contained introduction to geometric invariant theory starting from the basic theory of affine algebraic groups and proceedin …

的封面 Daniele (University of Roma Tor Vergata, Rome, Italy) Bertaccini & Fabio (Universita degli Studi dell'Insubria, Dipartimento di Scienza ed Alta Tecnologia, Como, Italy) Durastante: Iterative Methods and Preconditioning for Large and Sparse Linear Systems

Daniele (University of Roma Tor Vergata, Rome, Italy) Bertaccini & Fabio (Universita degli Studi dell’Insubria, Dipartimento di Scienza ed Alta Tecnologia, Como, Italy) Durastante: Iterative Methods and Preconditioning for Large and Sparse Linear Systems

This book describes, in a basic way, the most useful and effective iterative solvers and appropriate preconditioning techniques for some of the most important classes of large and sparse linear syste …

的封面 Franklin Y. (University of Missouri, Rolla, Missouri, USA) Cheng: Matrix Analysis of Structural Dynamics

Franklin Y. (University of Missouri, Rolla, Missouri, USA) Cheng: Matrix Analysis of Structural Dynamics

Uses state-of-the-art computer technology to formulate displacement method with matrix algebra. Facilitates analysis of structural dynamics and applications to earthquake engineering and UBC and IBC …

的封面 Alexander (GIST College, Gwangju Institute of Science and Technology, South Korea) Stoimenow: Diagram Genus, Generators, and Applications

Alexander (GIST College, Gwangju Institute of Science and Technology, South Korea) Stoimenow: Diagram Genus, Generators, and Applications

In knot theory, diagrams of a given canonical genus can be described by means of a finite number of patterns (‘generators’). Diagram Genus, Generators and Applications presents a self-contained accou …

的封面 Mathias Drton & Steffen Lauritzen: Handbook of Graphical Models

Mathias Drton & Steffen Lauritzen: Handbook of Graphical Models

A graphical model is a statistical model that is represented by a graph. The factorization properties underlying graphical models facilitate tractable computation with multivariate distributions, mak …

的封面 Edward Dougherty: Mathematical Morphology in Image Processing

Edward Dougherty: Mathematical Morphology in Image Processing

Presents the statistical analysis of morphological filters and their automatic optical design, the development of morphological features for image signatures, and the design of efficient morphologica …

的封面 Daniel (University of Iowa, Iowa City, USA) Anderson & Ira J. (University of Missouri, Columbia, USA) Patrick: Ideal Theoretic Methods in Commutative Algebra

Daniel (University of Iowa, Iowa City, USA) Anderson & Ira J. (University of Missouri, Columbia, USA) Patrick: Ideal Theoretic Methods in Commutative Algebra

Includes current work of 38 renowned contributors that details the diversity of thought in the fields of commutative algebra and multiplicative ideal theory. Summarizes recent findings on classes of …