Ehrenfeucht, Andrzej
Overview
Works:  67 works in 151 publications in 3 languages and 3,742 library holdings 

Genres:  Biographies Abstracts 
Roles:  Author, Honoree, Contributor, Editor 
Classifications:  QA76, 511.3 
Publication Timeline
.
Most widely held works about
Andrzej Ehrenfeucht
 Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht by Jan Mycielski( Book )
Most widely held works by
Andrzej Ehrenfeucht
Andrzej Mostowski and foundational studies by
Andrzej Ehrenfeucht(
)
17 editions published between 2008 and 2013 in English and held by 1,500 WorldCat member libraries worldwide
Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and human. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory  the backbone of foundations of mathematics. He is best known of the KleeneMostowski and DavisMostowsi hierarchies of properties of integers reflecting the complexity of their definitions, and of the very elegant concept of a generalized quantifier which inspired and keeps stimulating a stream of deep work on fundamental issues of logics, deduction and rasoning both in mathematics and in computer science, and also of the contributions and excellent lectures on undecidability, unprovability, consistency and independence of various statements in set theory and arithmetic following Gödel, Tarski and Cohen. he overall content of the volume is designed to cover the current main streams in the field. For many years after WWII, especially in the late sixties, till his untimely death in 1975, Warsaw  where he led the centre of foundational studies  was a placewhere many leading logicians visited, studied, and started their career. Their memories form an important part of this volume, attempting to bring back the extraordinary achievements and personality of Mostowski
17 editions published between 2008 and 2013 in English and held by 1,500 WorldCat member libraries worldwide
Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and human. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory  the backbone of foundations of mathematics. He is best known of the KleeneMostowski and DavisMostowsi hierarchies of properties of integers reflecting the complexity of their definitions, and of the very elegant concept of a generalized quantifier which inspired and keeps stimulating a stream of deep work on fundamental issues of logics, deduction and rasoning both in mathematics and in computer science, and also of the contributions and excellent lectures on undecidability, unprovability, consistency and independence of various statements in set theory and arithmetic following Gödel, Tarski and Cohen. he overall content of the volume is designed to cover the current main streams in the field. For many years after WWII, especially in the late sixties, till his untimely death in 1975, Warsaw  where he led the centre of foundational studies  was a placewhere many leading logicians visited, studied, and started their career. Their memories form an important part of this volume, attempting to bring back the extraordinary achievements and personality of Mostowski
Breaking away from the math and science book : physics and other projects for grades 312 by
Patricia Baggett(
)
8 editions published between 2004 and 2011 in English and held by 863 WorldCat member libraries worldwide
Provides materials and lesson plans teachers can use with little equipment and are designed to show students the core concepts of physics while discovering how to apply Math to scientific concepts
8 editions published between 2004 and 2011 in English and held by 863 WorldCat member libraries worldwide
Provides materials and lesson plans teachers can use with little equipment and are designed to show students the core concepts of physics while discovering how to apply Math to scientific concepts
Computation in living cells : gene assembly in ciliates by
Andrzej Ehrenfeucht(
Book
)
14 editions published between 2003 and 2011 in English and German and held by 244 WorldCat member libraries worldwide
"This monograph gives an accessible account of both the biology and the formal analysis of the gene assembly process. It can be used as a textbook for either graduate courses or seminars."Jacket
14 editions published between 2003 and 2011 in English and German and held by 244 WorldCat member libraries worldwide
"This monograph gives an accessible account of both the biology and the formal analysis of the gene assembly process. It can be used as a textbook for either graduate courses or seminars."Jacket
Breaking away from the math book : creative projects for grades K6 by
Patricia Baggett(
Book
)
6 editions published between 1995 and 2004 in English and Undetermined and held by 172 WorldCat member libraries worldwide
Fortyfive lessons in mathematics and a tutorial on how to use a calculator (Chapter 46)
6 editions published between 1995 and 2004 in English and Undetermined and held by 172 WorldCat member libraries worldwide
Fortyfive lessons in mathematics and a tutorial on how to use a calculator (Chapter 46)
Breaking away from the algebra and geometry book : original and traditional lessons for grades K8 by
Patricia Baggett(
Book
)
2 editions published in 2001 in English and held by 170 WorldCat member libraries worldwide
2 editions published in 2001 in English and held by 170 WorldCat member libraries worldwide
The theory of 2structures : a framework for decomposition and transformation of graphs by
Andrzej Ehrenfeucht(
Book
)
9 editions published in 1999 in English and held by 114 WorldCat member libraries worldwide
9 editions published in 1999 in English and held by 114 WorldCat member libraries worldwide
Breaking away from the math book II : more creative projects for grades K8 by
Patricia Baggett(
Book
)
3 editions published between 1998 and 2004 in English and held by 109 WorldCat member libraries worldwide
"This book is a continuation of 'Breaking away from the math book: creative projects for grades K6,' but contains more advanced lessons appropriate for grades 7 and 8. The last section, Chapter 61, is a tutorial on how to use a fouroperation calculator."
3 editions published between 1998 and 2004 in English and held by 109 WorldCat member libraries worldwide
"This book is a continuation of 'Breaking away from the math book: creative projects for grades K6,' but contains more advanced lessons appropriate for grades 7 and 8. The last section, Chapter 61, is a tutorial on how to use a fouroperation calculator."
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht by
Jan Mycielski(
Book
)
8 editions published in 1997 in English and held by 69 WorldCat member libraries worldwide
This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally wellknown scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excellent papers centered around his scientific work. The 22 invited papers are presented in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, combinatorics of words, algebra of languages, formal language theory, and computational molecular biology
8 editions published in 1997 in English and held by 69 WorldCat member libraries worldwide
This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally wellknown scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excellent papers centered around his scientific work. The 22 invited papers are presented in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, combinatorics of words, algebra of languages, formal language theory, and computational molecular biology
Computation in living cells gene assembly in ciliates ; with 2 tables(
Book
)
3 editions published in 2004 in English and held by 25 WorldCat member libraries worldwide
3 editions published in 2004 in English and held by 25 WorldCat member libraries worldwide
Pumping lemmas for regular sets by
Andrzej Ehrenfeucht(
Book
)
4 editions published in 1980 in English and held by 7 WorldCat member libraries worldwide
4 editions published in 1980 in English and held by 7 WorldCat member libraries worldwide
Formal and natural computing  Honoring the 80th birthday of Andrzej Ehrenfeucht(
Book
)
2 editions published in 2012 in English and held by 5 WorldCat member libraries worldwide
2 editions published in 2012 in English and held by 5 WorldCat member libraries worldwide
Theory Of 2structures, The by
Andrzej Ehrenfeucht(
)
1 edition published in 1999 in English and held by 5 WorldCat member libraries worldwide
1 edition published in 1999 in English and held by 5 WorldCat member libraries worldwide
A general lower bound on the number of examples needed for learning by
Andrzej Ehrenfeucht(
Book
)
4 editions published between 1988 and 1989 in English and held by 4 WorldCat member libraries worldwide
4 editions published between 1988 and 1989 in English and held by 4 WorldCat member libraries worldwide
Przegla̜d algebry współczesnej by
Garrett Birkhoff(
Book
)
3 editions published between 1963 and 1966 in Polish and held by 4 WorldCat member libraries worldwide
3 editions published between 1963 and 1966 in Polish and held by 4 WorldCat member libraries worldwide
The computational complexity of (XOR, AND)counting problems by
Andrzej Ehrenfeucht(
Book
)
4 editions published in 1990 in German and English and held by 4 WorldCat member libraries worldwide
4 editions published in 1990 in German and English and held by 4 WorldCat member libraries worldwide
A combinatorial property of EOL languages by
Andrzej Ehrenfeucht(
Book
)
2 editions published between 1982 and 1984 in English and held by 3 WorldCat member libraries worldwide
2 editions published between 1982 and 1984 in English and held by 3 WorldCat member libraries worldwide
The linear landscape of external contextual languages by
Andrzej Ehrenfeucht(
)
2 editions published between 1994 and 1996 in English and held by 3 WorldCat member libraries worldwide
2 editions published between 1994 and 1996 in English and held by 3 WorldCat member libraries worldwide
Tic tac twice : a math game of strategy and pattern recognition by
Patricia Baggett(
Visual
)
1 edition published in 1995 in English and held by 3 WorldCat member libraries worldwide
Intended to reinforce pattern recognition, logic and reasoning, use of strategy and highlevel thinking
1 edition published in 1995 in English and held by 3 WorldCat member libraries worldwide
Intended to reinforce pattern recognition, logic and reasoning, use of strategy and highlevel thinking
Breaking from the algebra and geometry book by
Patricia Baggett(
Book
)
1 edition published in 2002 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 2002 in English and held by 3 WorldCat member libraries worldwide
Zebra Factorizations in Free Semigroups by
Andrzej Ehrenfeucht(
)
2 editions published in 2004 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 2004 in English and held by 3 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Marek, V. W. (V. Wiktor) 1943 Editor
 Srebrny, Marian 1947 Editor
 Mostowski, Andrzej
 Baggett, Patricia Author
 Mycielski, Jan 1932 Editor
 Rozenberg, Grzegorz Editor
 Salomaa, Arto Editor
 Rozenberg, Grzegorz Contributor Editor
 Harju, T. Contributor
 Petre, Ion
Useful Links
Associated Subjects
Algebra AlgebraStudy and teaching (Elementary) AlgebraStudy and teaching (Middle school) Artificial intelligence Bioinformatics BiologyData processing Cell interaction Cells CiliataGenetics Computational complexity Computer science Computer scienceMathematics Cytology Decomposition method Ehrenfeucht, Andrzej Formal languages GeometryStudy and teaching (Elementary) GeometryStudy and teaching (Middle school) Graph theory Information theory LearningMathematical models Logic, Symbolic and mathematical Logicians Machine learning Machine learningMathematical models Mathematical analysisFoundations Mathematical recreations Mathematicians MathematicsStudy and teaching (Elementary) Mostowski, Andrzej PhysicsExperiments PhysicsExperimentsMethodology PhysicsStudy and teaching (Elementary) PhysicsStudy and teaching (Secondary) Poland Programming languages (Electronic computers) Sampling (Statistics)
Covers
Alternative Names
Andrzej Ehrenfeucht matematico statunitense
Andrzej Ehrenfeucht Polish American mathematician and computer scientist
Andrzej Ehrenfeucht polnischUSamerikanischer Mathematiker und Informatiker
Andrzej Ehrenfeucht Pools wiskundige
Ehrenfeucht, A.
Ehrenfeucht, A. 1932
Анджей Эренфехт Польскоамериканский математик и информатик
アンジェイ・エーレンフォイヒト
Languages