Ditapis dengan
Valued Fields
Absolute Values -- Valuations -- Extension of Valuations -- Henselian Fields -- Structure Theory -- Applications of Valuation Theory.Absolute values and their completions -like the p-adic number fields- play an important role in number theory. Krull's generalization of absolute values to valuations made applications in other branches of mathematics, such as algebraic geometry, possible. In valu…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540300359
- Deskripsi Fisik
- X, 208 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Propositional and Predicate Calculus: A Model of Argument
Propositions and Truth Assignments -- Formal Propositional Calculus -- Predicates and Models -- Formal Predicate Calculus -- Some Uses of Compactness.At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include: - the repres…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846282294
- Deskripsi Fisik
- VIII, 315 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Modern Perspective on Type Theory
The Evolution of Type Theory until the 1940s -- Prehistory -- Type theory in Principia Mathematica -- Deramification -- Propositions as Types, Pure Type Systems, AUTOMATH -- Propositions as Types and Pure Type Systems -- The pre-PAT RTT and STT in PAT-style -- A Correspondence between RTT and the system Nuprl -- Automath -- Extensions of Pure Type Systems -- Pure Type Systems with definitions -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402023354
- Deskripsi Fisik
- XIV, 360 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logica Universalis
Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a Framework for Universal Logic -- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic without Self-Deductibility -- Identity and Nature of Logical Structures -- Equ…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783764373047
- Deskripsi Fisik
- X, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Introduction to Modern Number Theory
Problems and Tricks -- Number Theory -- Some Applications of Elementary Number Theory -- Ideas and Theories -- Induction and Recursion -- Arithmetic of algebraic numbers -- Arithmetic of algebraic varieties -- Zeta Functions and Modular Forms -- Fermat’s Last Theorem and Families of Modular Forms -- Analogies and Visions -- Introductory survey to part III: motivations and description -- Arake…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540276920
- Deskripsi Fisik
- XVI, 514 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Field Arithmetic
Infinite Galois Theory and Profinite Groups -- Valuations and Linear Disjointness -- Algebraic Function Fields of One Variable -- The Riemann Hypothesis for Function Fields -- Plane Curves -- The Chebotarev Density Theorem -- Ultraproducts -- Decision Procedures -- Algebraically Closed Fields -- Elements of Algebraic Geometry -- Pseudo Algebraically Closed Fields -- Hilbertian Fields -- The Cla…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540269496
- Deskripsi Fisik
- XXIII, 780 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Essays in Constructive Mathematics
A Fundamental Theorem -- Topics in Algebra -- Some Quadratic Problems -- The Genus of an Algebraic Curve -- Miscellany."... The exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader. And it proves that the philosophical orientation of an author really can make a big difference. The mathematical content is intensely classical.…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387271309
- Deskripsi Fisik
- XX, 211 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Philosophical Foundations of Quality of Life
Chapter 1. Introduction: Context and Connections -- Chapter 2. Alex C. Michalos: Pioneer of Quality of Life and Social Indicators; Bruno Zumbo -- Chapter 3. An Interview with Alex C. Michalos; Dan Weijers -- Chapter 4. The Best Teacher I Ever Had Was J. Coert Rylaarsdam -- Chapter 5. The Case for Atheism, Notes for a Discussion; Alex C. Michalos -- Chapter 6. Logic, Philosophy of Science and th…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319507279
- Deskripsi Fisik
- XXXII, 305 p. 22 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Supervenience and Normativity
Chapter 1: Logics for Normative Supervenience (Antonino Rotolo) -- Chapter 2: Propositional and Doxastic Justification: Their Relationship and a Questionable Supervenience Claim (Giorgio Volpe) -- Chapter 3: Moral Properties: Some Epistemological, Ontological, and Normative Dimensions (Robert Audi) -- Chapter 4: Reasons and Supervenience (Daniel Laurier) -- Chapter 5: The Dubious Moral Superve…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319610467
- Deskripsi Fisik
- IX, 175 p. 4 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Communicating Sequential Processes. The First 25 Years
Semantic Foundations -- Retracing the Semantics of CSP -- Seeing Beyond Divergence -- Refinement and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- P…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322658
- Deskripsi Fisik
- XIV, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah