Logic and algebra: Selected papers Pontignano, 1994

Selected Logic Papers

✍ Gerald E. Sacks 📂 Library 📅 1999 🏛 WS 🌐 English

Contents: Recursive Enumerability and the Jump Operator; On the Degrees Less Than 0'; A Simple Set Which Is Not Effectively Simple; The Recursively Enumerable Degrees Are Dense; Metarecursive Sets (with G Kreisel); Post's Problem, Admissible Ordinals and Regularity; On a Theorem of Lachlan and Marli

Selected logic papers

📁 Selected logic papers

✍ Gerald E Sacks 📂 Library 📅 1999 🏛 World Scientific 🌐 English

In this volume, five papers are collected that give a good sample of the problems and the results characterizing some recent trends and advances in this theory. Some of them are devoted to the improvement of a general abstract knowledge of the behaviour of elastic bodies, while the others mainly dea

Higher-Order Algebra, Logic, and Term Re

📁 Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

✍ Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller 📂 Library 📅 1994 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming lan

Selected Papers in Logic and Foundations

📁 Selected Papers in Logic and Foundations, Didactics, Economics

✍ Karl Menger (auth.) 📂 Library 📅 1979 🏛 Springer Netherlands 🌐 English

This volume brings together those papers of mine which may be of interest not only to various specialists but also to philosophers. Many of my writings in mathematics were motivated by epistemological considerations; some papers originated in the critique of certain views that at one time dominat

Advances in Algebra and Model Theory: Se

📁 Advances in Algebra and Model Theory: Selected surveys presented at conferences in Essen 1994 and Dresden 1995 (Algebra, Logic and Applications)

✍ M Droste (editor), R. Gobel (editor) 📂 Library 📅 1998 🏛 CRC Press 🌐 English

Contains 25 surveys in algebra and model theory, all written by leading experts in the field. The surveys are based around talks given at conferences held in Essen, 1994, and Dresden, 1995. Each contribution is written in such a way as to highlight the ideas that were discussed at the confe

Advances in Algebra and Model Theory: Se

📁 Advances in Algebra and Model Theory: Selected surveys presented at conferences in Essen 1994 and Dresden 1995 (Algebra, Logic and Applications)

✍ M Droste (editor), R. Gobel (editor) 📂 Library 📅 1998 🏛 CRC Press 🌐 English

Contains 25 surveys in algebra and model theory, all written by leading experts in the field. The surveys are based around talks given at conferences held in Essen, 1994, and Dresden, 1995. Each contribution is written in such a way as to highlight the ideas that were discussed at the confe