Series: Handbook of Philosophical Logic, *Second Edition*, Vol.
13
2nd ed., 2005, Approx. 355 p., Hardcover
ISBN: 1-4020-3520-9
About this book
The first edition of the Handbook of Philosophical Logic (four
volumes) was published in the period 1983-1989 and has proven to
be an invaluable reference work to both students and researchers
in formal philosophy, language and logic.
The second edition of the Handbook is intended to comprise some
18 volumes and will provide a very up-to-date authoritative, in-depth
coverage of all major topics in philosophical logic and its
applications in many cutting-edge fields relating to computer
science, language, argumentation, etc.
The volumes will no longer be as topic-oriented as with the first
edition because of the way the subject has evolved over the last
15 years or so. However the volumes will follow some natural
groupings of chapters.
Audience: Students and researchers whose work or interests
involve philosophical logic and its applications.
Table of contents
Editorial Preface
The Practical Turn in Logic
Fibring of Logics as a Universal Construction
Provability Logic
Index
2005, Approx. 285 p., Hardcover
ISBN: 1-4020-3630-2
About this textbook
The textbook contains the records of a two-semester course on
queueing theory, including an introduction to matrix-analytic
methods. The course is directed to last year undergraduate and
first year graduate students of applied probability and computer
science, who have already completed an introduction to
probability theory. Its purpose is to present material that is
close enough to concrete queueing models and their applications,
while providing a sound mathematical foundation for their
analysis. A prominent part of the book will be devoted to matrix-analytic
methods. This is a collection of approaches which extend the
applicability of Markov renewal methods to queueing theory by
introducing a finite number of auxiliary states. For the embedded
Markov chains this leads to transition matrices in block form
resembling the structure of classical models. Matrix-analytic
methods have become quite popular in queueing theory during the
last twenty years. The intention to include these in a students'
introduction to queueing theory has been the main motivation for
the authors to write the present book. Its aim is a presentation
of the most important matrix-analytic concepts like phase-type
distributions, Markovian arrival processes, the GI/PH/1 and BMAP/G/1
queues as well as QBDs and discrete time approaches.
Table of contents
List of Figures. Foreword.- Queues: The Art of Modelling.- Part I:
Markovian Methods. Markov Chains and Queues in Discrete Time.
Homogeneous Markov Processes on Discrete State Spaces. Markovian
Queues in Continuous Time. Markovian Queueing Networks.- Part II:
Semi-Markovian Methods. Renewal Theory. Markov Renewal Theory.
Semi-Markovian Queues.- Part III: Matrix-Analytic Methods. Phase-Type
Distributions. Markovian Arrival Processes. The GI/PH/1 Queue.
The BMAP/G/1 Queue. Discrete Time Approaches. Spatial Markovian
Arrival Processes. Appendix.- References.- Index.
Series: NATO Science Series II: Mathematics, Physics and
Chemistry, Vol. 207
2005, XXII, 434 p.,
Hardcover ISBN: 1-4020-3815-1
Softcover ISBN: 1-4020-3816-X
About this book
Several of the contributions to this volume bring forward many
mutually beneficial interactions and connections between the
three domains of the title. Developing them was the main purpose
of the NATO ASI summerschool held in Montreal in 2003. Although
some connections, for example between semigroups and automata,
were known for a long time, developing them and surveying them in
one volume is novel and hopefully stimulating for the future.
Another aspect is the emphasis on the structural theory of
automata that studies ways to contstruct big automata from small
ones. The volume also has contributions on top current research
or surveys in the three domains. One contribution even links
clones of universal algebra with the computational complexity of
computer science. Three contributions introduce the reader to
research in the former East block.
Table of contents
Preface .-Key to group picture .-Participants.-Contributors.-
Profinite semigroups and applications; J. Almeida.- The structure
of free algebras J.Berman.- Completeness of automaton mappings
with respect to equivalence relations; J. Dassow.- Completeness
of uniformly delayed operations; T. Hikita, I. G. Rosenberg.--
Classification in finite model theory: counting finite algebras;
P. M. Idziak.- Syntactic semigroups and the finite basis problem;
M. Jackson.- Endoprimal algebras; K. Kaarli and L. Marki.- The
complexity of constraint satisfaction: an algebraic approach; A.
Krokhin et al.- On the automata functional systems; V. B.
Kudryavtsev.- Algebra of behavior transformations and its
applications; A. Letichevsky.- Congruence modular varieties:
commutator theory and its uses; R. McKenzie and J. Snow.-
Epigroups; L.N.Shevrin.- Algebraic classifications of regular
tree languages; M. Steinby.- Index
Series: Topological Fixed Point Theory and Its Applications,
Vol. 3
2005, Approx. 315 p., Hardcover
ISBN: 1-4020-3930-1
About this book
This is the first systematic and self-contained textbook on
homotopy methods in the study of periodic points of a map. A
modern exposition of the classical topological fixed-point theory
with a complete set of all the necessary notions as well as new
proofs of the Lefschetz-Hopf and Wecken theorems are included.
Periodic points are studied through the use of Lefschetz numbers
of iterations of a map and Nielsen-Jiang periodic numbers related
to the Nielsen numbers of iterations of this map. Wecken theorem
for periodic points is then discussed in the second half of the
book and several results on the homotopy minimal periods are
given as applications, e.g. a homotopy version of the A arkovsky
theorem, a dynamics of equivariant maps, and a relation to the
topological entropy. Students and researchers in fixed point
theory, dynamical systems, and algebraic topology will find this
text invaluable.
Table of contents
Preface.- Fixed Point Problems.- Lefschetz-Hopf Fixed Point
Theory.- Periodic Points by the Lefschetz Theory.- Nielsen Fixed
Point Theory.- Periodic Points by the Nielsen Theory.- Homotopy
Minimal Periods.- Related Topics and Applications.- Bibliography.-
Authors.- Symbols.- Index.
In this monograph, Ivan Niven, provides a masterful exposition
of some central results on irrational, transcendental, and normal
numbers. He gives a complete treatment by elementary methods of
the irrationality of the exponential, logarithmic, and
trigonometric functions with rational arguments. The
approximation of irrational numbers by rationals, up to such
results as the best possible approximation of Hurwitz, is also
given with elementary techniques. The last third of the monograph
treats normal and transcendental numbers, including the
transcendence of p and its generalization in the Lindermann
theorem, and the Gelfond-Schneider theorem. Most of the material
in the first two-thirds of the book presupposes only calculus and
beginning number theory.
The book is almost wholly self-contained. The results needed from
analysis and algebra are central, and well-known theorems, and
complete references to standard works are given to help the
beginner. The chapters are for the most part independent. There
is a set of notes at the end of each chapter citing the main
sources used by the author, and suggesting further readings.
ISBN:0-88385-038-9
228., pp 1989 (Paperbound edition issued 2005)
September 2005
ISBN 0-262-63330-2
6 x 9, 332 pp., 24 illus.
Although general equilibrium theory originated in the late
nineteenth century, modern elaboration and development of the
theory began only in the 1930s and 1940s. This book focuses on
the version of the theory developed in the second half of the
twentieth century, referred to by Lionel McKenzie as the
classical general equilibrium theory. McKenzie offers detailed
and rigorous treatment of the classical model, giving step-by-step
proofs of the basic theorems. In many cases he elaborates on the
individual steps to give a fuller understanding of the underlying
principles. His goal is to provide readers with a true mastery of
the methodology so that they can derive new results that will
further enrich their thinking about general equilibrium theory.
Special attention is given to the McKenzie model, in which it is
not assumed that the number of firms is given but rather that
technologies or activities are available to any agents who can
supply the resources they require. The McKenzie model is used to
establish the turnpike theorems of optimal and competitive
capital accumulation.
Lionel W. McKenzie is Wilson Professor Emeritus of Economics at
the University of Rochester.
Contents