These notes present some of the basic techniques and results in the subject of combinatory logic. This subject will first be treated with an introduction via lambda-conversion. Chapter two is an introduction to combinators. Chapters three and four will deal with recursive functions. Chapters five, six, and seven deal with extensional theory of combinators. Chapters nine and ten deal with combinator-based systems of logic . Chapters eight and eleven deal with proof-theoretic application.

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the auth

The Encyclopaedia of Mathematics is the most up-to-date, authoritative and comprehensive English-language work of reference in mathematics which exists today. With over 7,000 articles from `A-integral' to `Zygmund Class of Functions', supplemented with a wealth of complementary information, and an index volume providing thorough cross-referencing of entries of related interest, the Encyclopaedia of Mathematics offers an immediate source of reference to mathematical definitions, concepts, explanations, surveys, examples, terminology and methods. The depth and breadth of content and the straightforward, careful presentation of the information, with the emphasis on accessibility, makes the Encyclopaedia of Mathematics an immensely useful tool for all mathematicians and other scientists who use, or are confronted by, mathematics in their work. The Enclyclopaedia of Mathematics provides, without doubt, a reference source of mathematical knowledge which is unsurpassed in value and usefulness. It can be highly recommended for use in libraries of universities, research institutes, colleges and even schools.

This ENCYCLOPAEDIA OF MATHEMATICS aims to be a reference work for all parts of mathematics. It is a translation with updates and editorial comments of the Soviet Mathematical En cyclopaedia published by 'Soviet Encyclopaedia Publishing House' in five volumes in 1977 - 1985. The annotated translation consists of ten volumes including a special index volume. There are three kinds of articles in this ENCYCLOPAEDIA. First of all there are survey-type articles dealing with the various main directions in mathematics (where a rather fine subdivision has been used). The main requirement for these articles has been that they should give a reasonably complete up-to-date account of the current state of affairs in these areas and that they should be maximally accessible. On the whole, these articles should be understandable to mathe matics students in their first specialization years, to graduates from other mathematical areas and, depending on the specific subject, to specialists in other domains of science, engineers and teachers of mathematics. These articles treat their material at a fairly general level and aim to give an idea of the kind of problems, techniques and concepts involved in the area in question. They also contain background and motivation rather than precise statements of precise theorems with detailed definitions and technical details on how to carry out proofs and constructions. The second kind of article, of medium length, contains more detailed concrete problems, results and techniques.

The Fourth International Congress for Logic, Methodology, and Philos ophy of Science was held in Bucharest, Romania, on August 29-September 4, 1971. The Congress was organized, under the auspices of the Inter national Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, by the Academy of the Socialist Republic of Romania, the Academy of Social and Political Sciences of the Socialist Republic of Romania, and the Ministry of Education of Romania. With more than eight hundred participating scholars from thirty-four countries, the Congress was one of the major scientific events of the year 1971. The dedicated efforts of the organizers, the rich and carefully planned program, and the warm and friendly atmosphere contributed to making the Congress a successful and fruitful forum of exchange of scientific ideas. The work of the Congress consisted of invited one hour and half-hour addresses, symposia, and contributed papers. The proceedings were organized into twelve sections of Mathematical Logic, Foundations of Mathematical Theories, Automata and Programming Languages, Philos ophy of Logic and Mathematics, General Problems of Methodology and Philosophy of Science, Foundations of Probability and Induction, Methodology and Philosophy of Physical Sciences, Methodology and Philosophy of Biological Sciences, Methodology and Philosophy of Psychological Sciences, Methodology and Philosophy of Historical and Social Sciences, Methodology and Philosophy of Linguistics, and History of Logic, Methodology and Philosophy of Science.

This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathematical logic; computational complexity and Boolean functions; graphy theory; quantum computing; parallelism and statistics; learning, automata and probabilistic models; parameterised complexity.

Handbook of Discrete and Combinatorial Mathematics provides a comprehensive reference volume for mathematicians, computer scientists, engineers, as well as students and reference librarians. The material is presented so that key information can be located and used quickly and easily. Each chapter includes a glossary. Individual topics are covered in sections and subsections within chapters, each of which is organized into clearly identifiable parts: definitions, facts, and examples. Examples are provided to illustrate some of the key definitions, facts, and algorithms. Some curious and entertaining facts and puzzles are also included. Readers will also find an extensive collection of biographies. This second edition is a major revision. It includes extensive additions and updates. Since the first edition appeared in 1999, many new discoveries have been made and new areas have grown in importance, which are covered in this edition.