Abt, Clark C. Serious Games.
New York, Viking Press, 1970. 176 p.
Chapter VII, How To Think with Games by Designing Them, pp 103-109.
Book call no.: 307.2 A164s
Ancker, C. J., Jr. One-on-One Stochastic Duels.
Arlington, VA, Operations Research Society of America, Military Applications Section, 1982. 1 vol.
Part II, Bibliographies, pp B1-B45.
Book call no.: 355.4072 A541o
Barton, Richard F. A Primer on Simulation and Gaming.
Englewood Cliffs, NJ, Prentice-Hall, 1970. 239 p.
Bibliography, pp 226-234.
Book call no.: 512.89 B293p
Blackwell, David and Girshick, M. A. Theory of Games and Statistical Decisions.
New York, John Wiley & Sons, 1954. 355 p. (Wiley Publications in Statistics)
References, pp 337-345.
Book call no.: 311.2 B632t
Brams, Steven J. Game Theory and Politics.
New York, Free Press, 1975. 312 p.
Annotated Bibliography (A very selective bibliography of books, Elementary; Intermediate; and Advanced) pp 291-293.
Book call no.: 320.01 B815g
Brams, Steven J. Negotiation Games: Applying Game Theory to Bargaining and Arbitration.
New York, Routledge, 1990. 297 p.
Book call no.: 302.3 B815n
Brams, Steven J. and Kilgour, D. Marc. Game Theory and National Security.
New York, Basil Blackwell, 1988. 199 p.
Book call no.: 355.030151 B815g
Burger, Ewald. Introduction to the Theory of Games Translated by John E. Freund.
Englewood Cliffs, NJ, Prentice-Hall, 1963. 202 p.
Bibliography, pp 199-200.
Book call no.: 512.89 B954i
Carlson, John G. H. and Misshauk, Michael J. Introduction to Gaming: Management Decision Simulations.
New York, John Wiley & Sons, 1972. 184 p.
The authors designed this textbook to meet the needs of students in several areas: (1) introductory simulation and gaming courses, (2) management decision gaming techniques, (3) model design and decision processing, and (4) management laboratories.
Book call no.: 658.018 C284i
Catudal, Honore M. Soviet Nuclear Strategy from Stalin to Gorbachev: A Revolution in Soviet Military and Political Thinking.
Atlantic Highlands, NJ, Humanities Press International, 1989. 413 p.
Appendix C: Game Theory and Soviet Nuclear Strategy, pp382-387.
Book call no.: 355.033547 C369s
Churchman, C. West, Ackoff, Russell L., and Arnoff, E. Leonard.
Introduction to Operations Research. New York, John Wiley & Sons, 1957.
645 p.
The Theory of Games, pp 519-558; Bibliography, p 558.
Book call no.: 658.072 C563i
Colman, Andrew M. Game Theory and Experimental Games: The Study of Strategic Interaction.
New York, Pergamon Press, 1982. 301 p. (International Series in Experimental Social Psychology, vol.4)
References, pp 281-294.
Book call no.: 519.3 C716g
Contributions to the Theory of Games.
Princeton, NJ, Princeton University Press, 1950-1959. 4 vols in 3. (Annals of Mathematics Studies,
nos. 24, 39, 40)
"Theory of Games and Economic Behavior by John von Neumann and Oskar Morgenstern...laid bare a host of problems in the mathematical theory of games. The present study comprises a collection of contributions to von Neumann's theory and answers some questions raised explicitly or implicitly by von Neumann."
Volume 1-2, Bibliography, pp 193-201; 389-395.
Book call no.: 512.89 K96c
Davis, Morton D. Game Theory, a Nontechnical Introduction.
Revised edition. New York, Basic Books, 1983. 252 p.
Bibliography, pp 229-241.
Book call no.: 512.89 D263g 1983
Dresher, M., Shapley, L. S., and Tucker, A. W., eds.
Advances in Game Theory. Princeton, NJ, Princeton University Press, 1964.
679 p. (Annals of Mathematics Studies, no.52)
"...this study was conceived as a one-volume cross section of current activity in the theory of games."
Book call no.: 512.89 D773a
Duke, Richard D. Gaming: The Future's Language.
New York, John Wiley & Sons, 1974. 223 p.
References, p 173
Appendices: A--Specifications for Game Design; B--Conceptual Mapping; C--List of Games Cited; D--Glossary; E--Gaming, the Conceptual Map.
Book call no.: 006 D877g
Ellington, Henry, Addinall, Eric, and Percival, Fred.
A Handbook of Game Design. New York, Nichols Pub Co, 1982.
156 p.
Chapter 6, How To Design a Computer Game, pp 79-90.
Book call no.: 794 E46h
Game Theory in the Behavioral Sciences, edited by Ira R. Buchler and Hugo G. Nutini.
Pittsburgh, University of Pittsburgh Press, 1969. 268 p.
A Bibliography with Some Comments, by M. Shubik, pp 253-261.
Book call no.: 307.2 G192
Games and Decisions: Introduction and Critical Survey, by R. Duncan Luce and Howard Raiffa.
New York, John Wiley & Sons, 1957. 509 p.
Bibliography, pp 485-499.
Book call no.: 512.89 L935g
Gibbs, G. I., ed. Handbook of Games and Simulation Exercises.
London, E. & F.N. Spon, Ltd, 1974. 226 p.
Bibliography, pp 9-13; 40-42; 50-51
Book call no.: 371.3078 G442h
Glicksman, Abraham M. An Introduction to Linear Programming and the Theory of Games.
New York, John Wiley & Sons, 1963. 131 p.
References, pp 127-128
Book call no.: 512.89 G559i
Henshaw, Richard C., Jr. and Jackson, James R. The Executive Game.
3d edition. Homewood, IL, Irwin, 1978. 189 p.
Book call no.: 658.3 H526e
Isaacs, Rufus P. Differential Games: A Mathematical Theory with Applications to Warfare and Pursuit, Control and Optimization. New York, John Wiley & Sons, 1965.
384 p. (The SIAM Series in Applied Mathematics)
Chapter 11, The Application to Warfare, pp 305-335.
Book call no.: 517 I73d
Johnson, Norman L. and Kotz, Samuel. Urn Models and Their Application: An Approach to Modern Discrete Probability Theory.
New York, John Wiley & Sons, 1977. 402 p. (Wiley Series in Probability and Mathematical Statistics)
Book call no.: 519.2 J68u
Mathematics of Conflict, edited by Martin Shubik.
New York, North-Holland, 1983. 186 p. (North-Holland Systems and Control Series, Volume 6)
Game Theory: The Language of Strategy? by Martin Shubik, pp 1-27 (References, pp 26-27)
Requirements for the Theory of Combat, by H.K. Weiss, pp 73-88 (References, p 88)
Lanchester Attrition Proceses and Theater-Level Combat Models, by Alan F. Karr, pp 89-126 ( References, pp 123-126)
Differential Games: Concepts and Applications, by Y.C. Ho and G.J. Olsder, pp 127-186 (References, pp 164-186).
Book call no.: 355.020151 M426
McDonald, John. Strategy in Poker, Business and War.
New York, W.W. Norton, 1950. 128 p.
Part Two, A Theory of Games, pp 50-83.
Part Four, Military and Other Games, pp 112-126.
Bibliography, by Oskar Morgenstern, pp 127-128.
Book call no.: 330.182 M135s
McKinsey, J. C. C. Introduction to the Theory of Games.
New York, McGraw-Hill, 1952. 371 p.
Bibliography, pp 361-367
Book call no.: 512.89 M158i
Ordeshook, Peter C. Game Theory and Political Theory.
New York, Cambridge University Press, 1986. 511 p.
Chapter 3, Basic Theory of Noncooperative Games, pp 97-143.
Chapter 4, Elections and Two-Person Zero-Sum Games, pp 144-202.
Chapter 5, Nonzero-Sum Games: Political Economy, Public Goods, and the Prisoners' Dilemma, pp 203-242.
References and a Guide to the Literature, pp 485-500.
Book call no.: 320.5015193 O65g
Owen, Guillermo. Game Theory.
Philadelphia, W.B. Saunders Co., 1968. 228 p.
Bibliography, pp 217-222.
Book call no.: 512.8 O97g
Perspectives on Deterrence. Edited by Paul C. Stern, Robert Axelrod, Robert Jervis, and Roy Radner.
New York, Oxford University Press, 1989. 343 p.
Game Theory and the Study of the Deterrence of War, by Barry O'Neill, pp134-156. (Notes, pp151-156).
Book call no.: 355.0217 P467
Proceedings of the 1982 Callaway Workshop On: Modeling and Simulation of Land Combat, held at Callaway Gardens, Georgia, 28-31 Mar 1982.
Edited by L.G. Callahan, Jr., James G. Taylor, and Frank E. Grubbs. Sponsored by the Army Research Office under contract to Georgia Institute of Technology.
Atlanta, GA, Georgia Tech Research Institute, 1983. 401 p.
Book call no.: 355.48 W926p
Proceedings of the 1984 Workshop On: Modeling, Simulation and Gaming of Warfare, held at Callaway Gardens, Georgia 2-5 December 1984.
Sponsored by Corporate Grants to Georgia Institute of technology. Edited by L. G. Callahan Jr. and Lawrence Low.
Atlanta, GA, Georgia Tech Research Institute, 1986. 317 p.
Book call no.: 355.48 W9261p
Proceedings of the Second International Conference on Operational Research, held at the University of Aix-Marseille in Aix-en-Provence, France from Sept 5 to 9 1960.
Edited by J. Banbury and J. Maitland. London, International Federation of Operational Research Societies, 1961.
810 p.
Some Military Applications of the Theory of Games, by Melvin Dresher, RAND Corp, pp 597-604.
Book call no.: 658.072 I61p vol.2 1960
Rapoport, Anatol. Fights, Games, and Debates.
Ann Arbor, University of Michigan Press, 1960. 400 p.
Part II, The Logic of Strategy, pp 107-242.
Bibliography, pp 381-389.
Book call no.: 301.23 R219f
Rapoport, Anatol. Strategy and Conscience.
New York, Harper & Row, 1964. 323 p.
References, pp 300-307.
Glossary, pp 308-314.
Book call no.: 355.43 R219s
Rapoport, Anatol and Chammah, Albert M. Prisoner's Dilemma, a Study in Conflict and Cooperation Written in collaboration with Carol J. Orwant.
Ann Arbor, MI, University of Michigan Press, 1965; First edition as an Ann Arbor Paperback, 1970.
258 p.
"Prisoner's Dilemma is the nickname given to the two-choice situation. The situation was designed by game theoreticians as an example of a game which has no satisfactory solution."
Book call no.: 159.1 R219p 1970
Schelling, Thomas C. The Strategy of Conflict.
Cambridge, MA, Harvard University Press, 1960. 309 p.
Section II. A Reorientation of Game Theory: Toward a Theory of Interdependent Decision, pp 83-118.
Enforcement, Communication, and Strategic Moves, pp 119-161.
Game Theory and Experimental Research, pp 162-172.
Appendix B. For the Abandonment of Symmetry in Game Theory, pp 267-290.
Appendix C. Re-interpretation of a Solution Concept for "noncooperative" Games, pp 291-303.
Book call no.: 150.13 S322s
Shubik, Martin. A Game-Theoretic Approach to Political Economy.
Cambridge, MA, MIT Press, 1984. 744 p.
Bibliography, pp 697-722
See index under subjects: Games; Models.
Companion volume to, Game Theory in the Social Sciences, call no. 300.15193/S562g.
Book call no.: 338.90015193 S562g
Shubik, Martin. Game Theory in the Social Sciences: Concepts and Solutions.
Cambridge, MA, MIT Press, 1984. 514 p.
Bibliography, pp 434-491.
Companion volume titled, A Game-Theoretic Approach to Political Economy, in call no. 338.90015193/S562g.
Book call no.: 300.15193 S562g
Shubik, Martin. Games for Society, Business and War: Towards a Theory of Gaming.
New York, Elsevier, 1975. 371 p.
An overall survey of gaming.
Book call no.: 658.4035 S562g
Shubik, Martin. The Uses and Methods of Gaming.
New York, Elsevier, 1975. 208 p.
Includes bibliographies and index.
Book call no.: 519.3 S562u
Szep, J. and Forgo, F. Introduction to the Theory of Games.
Boston, D. Reidel Pub Co, 1985. 392 p. (Mathematics and Its Applications--East European Series)
"The present volume is devoted to game theory and several of its many applications. More or less recent developments, both theoretical (Shapley value and related concepts) and practical (algorithms for calculating equilibrium points), have vastly extended the potential applicability of game theory, thus making it desirable that these ideas are readily accessible to those interested in the applications of game theory."
Book call no.: 519.3 S997i
Thie, Paul R. An Introduction to Linear Programming and Game Theory.
New York, John Wiley & Sons, 1979. 335 p.
Bibliography, pp 327-329.
Book call no.: 519.8 T429i
Vajda, S. An Introduction to Linear Programming and the Theory of Games.
London, Metheun, 1960. 76 p.
Part II, Theory of Games.
Book call no.: 512.89 V133i
Vajda, S. The Theory of Games and Linear Programming.
London, Metheun, 1956. 106 p.
References, pp 101-103.
Book call no.: 512.89 V133t
Von Neumann, John and Morgenstern, Oskar. Theory of Games and Economic Behavior.
Princeton, NJ, Princeton University Press, 1953. 641 p.
"The classic study, for which perseverance pays; remarkable in its breadth and depth of coverage, especially as the original work in the field." Annotation by Steven J. Brams in Game Theory in Politics.
Book call no.: 330.182 V947t 1953
Washburn, Alan R. Search and Detection. Arlington, VA, Operations Research Society of America, Military Applications Section, 1981. 1 vol.
Chapter 2. Models Based on Detection Rate.
2.5, Search Games.
Book call no.: 355.4072 W314s
Williams, John D. The Compleat Strategyst, Being a Primer on the Theory of Games of Strategy.
New York, McGraw-Hill, 1966. 268 p. (The Rand Series)
Book call no.: 512.89 W724c 1966
Wilson, Andrew. The Bomb and the Computer: Wargaming from Ancient Chinese Mapboard to Atomic Computer.
New York, Delacorte Press, 1968. 218 p.
Chapter 9. Gaming the Ungamable, pp 142-166.
Chapter 10. Game Theory, pp 167-183.
Book call no.: 355.5 W746b
Andre, Paul R. (Capt, USAF). A Model for Comparing Game Theory and Artificial Intelligence Decision Making Processes. Wright-Patterson AFB, OH, Dec 1989. 61 p. (Air Force Institute of Technology. Thesis (M.S.))
Doc. call no.: M-U 39567-5 A555m
Hempley, Roy B. (1st Lt, USAF). Game Theoretic Models for a Limited, Tactical Warfare Engagement. Wright-Patterson AFB, OH, Jun 1969. 46 p.
Thesis (M.S.) Institute of Technology. School of Engineering.
Doc. call no.: M-U 39567-5 H491g
Kerr, Diane E. Reflective and Impulsive Performance on the Air Defense Computer Game. Los Angeles, CA, May 1984. 93 p.
Thesis (Ph.D)--University of Southern California.
Doc. call no.: M-U 43567-164
Kirby, David P. (Col, USAF). The Strategic Defense Initiative and the Prisoner's Dilemma. Carlisle Barracks, PA, Mar 1987. 29 p. (US Army War College. Military Studies Program Paper)
"A Prisoner's Dilemma is a model used to assess certain situations where individuals or competitors have choices to make, the possible payoff combinations of which conform to a characteristic pattern. For nearly forty years the United States and the Soviet Union have been in a Prisoner's Dilemma as they have pursued military strategies of deterrence based in large measure on nuclear ballistic missiles."
Bibliography, pp 28-29.
Doc. call no.: M-U 39080-4 K58s
Rand Corp. Aspects of Fair Division, by Alain A. Lewis. Santa Monica, CA, Apr 1980. 19 p. (P-6475)
"An exposition of several elementary models of fair division as they occur in the theory of games, inclusive of: The Problem of the Nile, The Ham Sandwich Problem, and The Steinhaus Solution of Divide and Choose."
References, p 19.
Doc. call no.: M-U 30352-16 no.6475
Rand Corp. Game Simulation and Long-Range Planning, by R.M. Rauner and W.A. Steger. Santa Monica, CA, Jun 1961. 28 p. (P-2355)
Doc. call no.: M-U 30352-16 no.2355
Rand Corp. Game Theory, by Herman Kahn and Irwin Mann. Santa Monica, CA, Jul 1957. 65 p. (P-1166)
Doc. call no.: M-U 30352-16 no.1166
Rand Corp. A Game Theory Analysis of Tactical Air War, by Leonard D. Berkovitz and Melvin Dresher. Santa Monica, CA, Jan 1959. 45 p. (P-1592)
References, p 45.
Doc. call no.: M-U 30352-16 no.1592
Rand Corp. Games of Strategy: Theory and Applications, by Melvin Dresher. Santa Monica, CA, May 1961. 184 p. (R-360)
Bibliography, pp 179-180.
Doc. call no.: M-U 30352-1 no.360
Rand Corp. Introduction to Electronic Computers: Chapter 19--Game Playing, by F.J. Gruenberger and D.D. McCracken. Santa Monica, CA, Mar 1962. 11 p. (P-2559)
Chapter 19 of a 26 volume Rand study, "Introduction to Electronic Computers."
Doc. call no.: M-U 30352-16 no.2559
Rand Corp. Introduction to Game Theory, by Jonathan Cave. Santa Monica, CA, Apr 1987. 23 p. (P-7336)
"This is a glimpse at the concepts and tools of game theory in the context of microeconomics. It is neither exhaustive nor overly descriptive. At the end of the paper are references to longer works."
Doc. call no.: M-U 30352-16 no.7336
Rand Corp. Introduction to the Theory of Games, by J.C.C. McKinsey. Santa Monica, CA, Jul 1952. 371 p. (R-228)
Bibliography, pp 361-367.
Doc. call no.: M-U 30352-1 no.228
Rand Corp. Long-Term Competition in a Dynamic Game: The Cold Fish War, by Jonathan A.K. Cave. Santa Monica, CA, Feb 1986. 28 p. (P-7203)
References, pp 27-28.
Doc. call no.: M-U 30352-16 no.7203
Rand Corp. Methodological Advances in Political Gaming: The One-Person Computer Interactive, Quasi-Rigid Rule Game, by Martin Shubik and Garry Brewer. Santa Monica, CA, Nov 1971. 19 p. (P-4733)
Doc. call no.: M-U 30352-16 no.4733
Rand Corp. Mutual Recognition of Human Fallibility: A Resolution of Prisoners' Dilemma, by Jonathan A.K. Cave. Santa Monica, CA, Jul 1984. 21 p. (P-7030)
References, p 21.
Doc. call no.: M-U 30352-16 no.7030
Rand Corp. Simple Games: An Outline of the Descriptive Theory, by L.S. Shapley. Santa Monica, CA, Apr 1961. 26 p. (P-2277)
Bibliography, pp 24-26.
Doc. call no.: M-U 30352-16 no.2277
Rand Corp. A Theory of Pursuit and Evasion, by C. Ryll-Nardzewski. Santa Monica, CA, Aug 1962. 20 p. (P-2606)
Doc. call no.: M-U 30352-16 no.2606
Rand Corp. Values of Large Games, I: A Limit Theorem, by N.Z. Shapiro and L.S. Shapley. Santa Monica, CA, Aug 1977. 17 p. (P-5977)
References, pp 16-17.
Doc. call no.: M-U 30352-16 no.5977
U.S. Air Force. Assistant Chief of Staff, Studies and Analysis. Methodology for Use in Measuring the Effectiveness of General Purpose Forces (An Algorithm for Approximating the Game Theoretic Value of N-Staged Games) SABER GRAND (ALPHA). Washington, Mar 1971. 128 p.
"The purpose of this paper is to present an algorithm that permits one to determine the outcome and optimal strategies of a class of large and complex games in a rapid and efficient manner."
Doc. call no.: M-U 42210-87
U.S. Air Force. Operations Analysis Office. Limited War Division. The Carrier Attack Model: A Game Theoretic Model for Analyzing Interdiction, by Capt Gerald R. McNichols, USAF. Washington, Oct 1969. 25 p.
"A game theoretic model in which the Red player is trying to maximize the movement of supplies through the network while the Blue player is attacking them and hence trying to minimize the flow of supplies. A linear programming algorithm is used to solve the resultant game."
Doc. call no.: M-U 30905-30
U.S. Air Force. Operations Analysis Office. Limited War Division. The Strike Interdiction Model: A Game Theoretic Approach to Analyzing Interdiction, by Capt Gerald R. McNichols, USAF. Washington, Oct 1969. 48 p.
"The Strike Interdiction Model was developed to study alternative allocations of sorties against vehicular targets on specific routes in a logistics network."
Doc. call no.: M-U 30905-29
Book Review of "Theory of Games and Economic Behaviour" by J. Von Neumann and O. Morgenstern. Defense Analysis 5:381-382 Dec '89.
Caywood, T. E. and Thomas, C. J. Applications of Game Theory in Fighter Versus Bomber Combat.
Operations Research Society of America Journal 3:402-411
Nov '55.
Paper presented at the First Annual Meeting of the Operations Research Society in Cleveland, Ohio, May 16, 1953.
Haywood, Col O G. Jr. USAF. Military Decision and the Mathematical Theory of Games.
Air University Quarterly Review 4:17-30 Summer '50.
"Analysis of the 'Estimate of the Situation' in the light of game theory indicates that the 'Estimate' leads to a most conservative decision. Game theory provides more profitable decisions."
Haywood, Col O G. Jr. USAF Ret. Military Decision and Game Theory.
Operations Research Society of America Journal 2:365-385 Nov '54.
"This paper analyzes two battle decisions of World War II, and develops the analogy between existing military doctrine and the 'theory of games' proposed by von Neumann."
The basic concepts of this paper were developed by the author, then a colonel in the U.S. Air Force, while a student at the Air War College, 1949-1950.
McDonald, John. Poker: An American Game..Its Theory and Its Play.
Fortune 37:128-131+ Mar '48.
"John von Neumann, eminent mathematician...has since 1926 applied his genius to the game of poker. Von Neumann has used poker as a model of strategical conflict for the development of mathematical principles of economics, with revolutionary implications for social science."
Tables of Probability (Poker Odds) p 181.
McDonald, John. A Theory of Strategy.
Fortune 39:100-102+ Jun '49.
Colonel Blotto Game: A Deployment Problem, p 102.
A sequel to McDonald's article "Poker: An American Game" in Fortune, Mar '48.
Morgenstern, Oskar. The Theory of Games. Scientific American 180:22-25 May '49.
Nash, John F Jr. Equilibrium Points in N-Person Games.
National Academy of Sciences Proceedings 36:48-49 Jan 15 '50.
The author uses "Kakutani's theorem to simplify the proof."
Nolan, John E Jr. Tactics and the Theory of Games: The Theory of Games Applied to the Battle of Guadalcanal. Army 11:77-81 Aug '60.
Orkin, Michael. Balanced Strategies for Prisoner's Dilemma. Journal of Conflict Resolution 31:186-191 Mar '87.
Papers Presented at the Symposium on the Theory of Games, September 9, 1948.
Econometrica 17:71-74 Jan '49.
Recent Developments in the Mathematical Theory of Games, by E.W. Paxson, Project RAND, pp 72-73.
A Problem in Strategy, by John W. Tukey, Associate Professor of Mathematics, Princeton University, p 73.
Programming in a Linear Structure, by George B. Dantzig, Mathematical Advisor, USAF Comptroller, pp 73-74.
Peterson, R. H. On the 'Logarithmic Law' of Attrition and Its Application to Tank Combat. Operations Research 15:557-558 May-Jun '67.
Rusciano, Frank L. The Prisoners' Dilemma as an Extended Arrow Problem. Western Political Quarterly 43:495-510 Sep '90.
Shubik, Martin. Game Theory, Behavior, and the Paradox of the Prisoner's Dilemma: Three Solutions.
Journal of Conflict Resolution 14:181-193 Jun '70.
References, p 193
Shubik, Martin. Opinions on How To Play Some Simple Games.
Simulation & Games 9:67-88 Mar '78.
Results from three small experiments with a class are presented.
Simulation & Games ; An International Journal of Theory, Design, and Research. Published quarterly by SAGE
Publications
Library has issues, Volume 8 (1977) to the present.
Washburn, Alan R. Search-Evasion Game in a Fixed Region. Operations Research 28:1290-1298 Nov-Dec '80.
Wein, Sheldon. Prisoners' Dilemmas, Tuism, and Rationality.
Simulation & Games 16:23-31 Mar '85.
Figure 1: Prisoners' Dilemma Situation Matrix, p 27.
Wingate, John W. A Saddle-Point Theorem for a Class of Infinite Games.
Naval Research Logisitcs Quarterly 21:299-306 Jun '74.
"...the existence of a saddle point for two-person zero-sum infinite games of a special type is proved."