1
by Barwise, Jon
Published 1977
North-Holland Pub. Co.
... theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter...

2
by Aoki, Nobuo
Published 1994
North-Holland
... with problems occurring in diffentiable dynamics that are within the scope of general topology. To follow...

3
by Gabbay, Dov M.
Published 2002
North Holland/Elsevier
...-course for interested readers, in deductive and inductive logic, or as a refresher. Then follow two...

4
by Bäuerle, G. G. A.
Published 1990
North-Holland
...This is the long awaited follow-up to Lie Algebras, Part I which covered a major part of the theory...

5
by Gabbay, Dov M.
Published 2004
Elsevier
... Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including...

6
by Moser, Barry Kurt
Published 1996
Academic Press
... worked examples which follow the theorem/proof presentation...

7
by Cioranescu, D.
Published 2002
Elsevier
... wishes to follow the most recent progress in these fields...

8
by Schaefer, Helmut H.
Published 1986
North-Holland
.... The following areas are discussed: potential theory, partial differential operators of second order, Schrodinger...

9
by Burkard, Rainer E.
Published 1984
North Holland
... the wide range of its applicability. Specifically, the book contains contributions in the following fields...

10
by Choquet-Bruhat, Yvonne
Published 2000
Elsevier
..., their logical place is indicated by a number of parenthesis following the title...

11
by Mikołajczak, Bolesław
Published 1991
North-Holland Pub. Co.
... of over ten years of research, this book presents work in the following areas of Automata Theory: automata...

12
by Buss, Samuel R.
Published 1998
Elsevier
... articles come first; these are then followed by articles from core classical areas of proof theory...

13
by Jeroslow, Robert G.
Published 1989
North-Holland
.... This is followed by five chapters on applied logic, expert systems, logic and databases, and complexity theory...

14
by Kuipers, Theo A. F.
Published 2007
North Holland

15
by Hasselblatt, Boris
Published 2002
North Holland
...This second half of Volume 1 of this Handbook follows Volume 1A, which was published in 2002...

16
by Ausiello, G.
Published 1985
North-Holland
... of the research in graph optimization in the following years. During the Seventies, a large number of special...

17
by Carroll, Robert W.
Published 1991
North-Holland
... are treated extensively, with material on NLS and AKNS systems, and in following the tau function theme one...

18
by Zong, Zhi
Published 2006
Elsevier
... in the following senses: (1) No prior information of the distribution form to be determined is necessary....

19
by Fujita, Hiroshi, Saito, Norikazu., Suzuki, Takashi.
Published 2001
Elsevier
... applied to evolutionary problems from Elsevier Publishers (Fujita and Suzuki [148]). This book follows...

20
by Argyros, Ioannis K.
Published 2007
Elsevier
... and efficient iterative methods to approximate solutions of nonlinear equations. The following four major...