Srebrny, Marian 1947
Overview
Works:  34 works in 142 publications in 3 languages and 3,526 library holdings 

Genres:  Conference papers and proceedings Bibliographies Biographies 
Roles:  Author, Editor, htt, Other 
Classifications:  QA3, 510 
Publication Timeline
.
Most widely held works by
Marian Srebrny
Andrzej Mostowski and foundational studies by
Andrzej Ehrenfeucht(
)
16 editions published between 2008 and 2013 in English and held by 1,502 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
16 editions published between 2008 and 2013 in English and held by 1,502 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
Set theory and hierarchy theory V : Bierutowice, Poland, 1976 by
Alistair H Lachlan(
Book
)
24 editions published between 1977 and 2008 in English and held by 554 WorldCat member libraries worldwide
24 editions published between 1977 and 2008 in English and held by 554 WorldCat member libraries worldwide
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] by
Conference on Set Theory and Hierarchy Theory(
Book
)
15 editions published in 1976 in English and German and held by 516 WorldCat member libraries worldwide
15 editions published in 1976 in English and German and held by 516 WorldCat member libraries worldwide
Modern cryptography primer : theoretical foundations and practical applications by
Czesław Kościelny(
)
17 editions published between 2013 and 2016 in English and held by 444 WorldCat member libraries worldwide
Cryptography has experienced rapid development, with major advances recently in both secret and public key ciphers, cryptographic hash functions, cryptographic algorithms and multiparty protocols, including their software engineering correctness verification, and various methods of cryptanalysis. This textbook introduces the reader to these areas, offering an understanding of the essential, most important, and most interesting ideas, based on the authors' teaching and research experience. After introducing the basic mathematical and computational complexity concepts, and some historical context, including the story of Enigma, the authors explain symmetric and asymmetric cryptography, electronic signatures and hash functions, PGP systems, public key infrastructures, cryptographic protocols, and applications in network security. In each case the text presents the key technologies, algorithms, and protocols, along with methods of design and analysis, while the content is characterized by a visual style and all algorithms are presented in readable pseudocode or using simple graphics and diagrams. The book is suitable for undergraduate and graduate courses in computer science and engineering, particularly in the area of networking, and it is also a suitable reference text for selfstudy by practitioners and researchers. The authors assume only basic elementary mathematical experience, the text covers the foundational mathematics and computational complexity theory
17 editions published between 2013 and 2016 in English and held by 444 WorldCat member libraries worldwide
Cryptography has experienced rapid development, with major advances recently in both secret and public key ciphers, cryptographic hash functions, cryptographic algorithms and multiparty protocols, including their software engineering correctness verification, and various methods of cryptanalysis. This textbook introduces the reader to these areas, offering an understanding of the essential, most important, and most interesting ideas, based on the authors' teaching and research experience. After introducing the basic mathematical and computational complexity concepts, and some historical context, including the story of Enigma, the authors explain symmetric and asymmetric cryptography, electronic signatures and hash functions, PGP systems, public key infrastructures, cryptographic protocols, and applications in network security. In each case the text presents the key technologies, algorithms, and protocols, along with methods of design and analysis, while the content is characterized by a visual style and all algorithms are presented in readable pseudocode or using simple graphics and diagrams. The book is suitable for undergraduate and graduate courses in computer science and engineering, particularly in the area of networking, and it is also a suitable reference text for selfstudy by practitioners and researchers. The authors assume only basic elementary mathematical experience, the text covers the foundational mathematics and computational complexity theory
Measurable selectors of PCA multifunctions with applications by
Marian Srebrny(
Book
)
12 editions published between 1984 and 2012 in English and held by 255 WorldCat member libraries worldwide
In this paper measurable selection theory is studied from the modern descriptive set theory point of view
12 editions published between 1984 and 2012 in English and held by 255 WorldCat member libraries worldwide
In this paper measurable selection theory is studied from the modern descriptive set theory point of view
Set Theory and Hierarchy Theory V by
Alistair H Lachlan(
)
2 editions published in 1977 in English and held by 71 WorldCat member libraries worldwide
2 editions published in 1977 in English and held by 71 WorldCat member libraries worldwide
Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland 1975 by
Wiktor Marek(
)
2 editions published in 1976 in English and held by 71 WorldCat member libraries worldwide
2 editions published in 1976 in English and held by 71 WorldCat member libraries worldwide
Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski ; Bierutowice, Poland, 1975 by
Wiktor Marek(
Book
)
15 editions published between 1976 and 2006 in English and held by 47 WorldCat member libraries worldwide
15 editions published between 1976 and 2006 in English and held by 47 WorldCat member libraries worldwide
Measurable selectors of PCA multifunctions with applications by
Marian Srebrny(
Book
)
3 editions published between 1984 and 1985 in English and held by 10 WorldCat member libraries worldwide
3 editions published between 1984 and 1985 in English and held by 10 WorldCat member libraries worldwide
Set theory and hierarchy theory : Bierutowice, Poland 1976 by Conference on Set Theory and Hierarchy Theory(
Book
)
6 editions published in 1977 in English and held by 9 WorldCat member libraries worldwide
6 editions published in 1977 in English and held by 9 WorldCat member libraries worldwide
Set theory and hierachy theory V : Bierutowice, Poland, 1976 : [proceedings] by Conference on Set Theory and Hierarchy Theory(
Book
)
3 editions published in 1977 in English and held by 9 WorldCat member libraries worldwide
3 editions published in 1977 in English and held by 9 WorldCat member libraries worldwide
Set theory and hierarchy theory by
Wiktor Marek(
Book
)
4 editions published between 1976 and 2008 in English and Polish and held by 7 WorldCat member libraries worldwide
4 editions published between 1976 and 2008 in English and Polish and held by 7 WorldCat member libraries worldwide
Set theory and hierarchy theory 5. Proceedings of the 3.conference, Bierutowice 1976 : Conference on set theory and hierarchy
theory 3(
Book
)
1 edition published in 1977 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1977 in English and held by 3 WorldCat member libraries worldwide
Firstorder temporal logic over trace systems by
Polska Akademia Nauk(
Book
)
2 editions published in 1995 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1995 in English and held by 3 WorldCat member libraries worldwide
Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski. Proceedings of the 2.conference on set theory and
hierarchy theory, Bierutowice 1975. Organized and sponsored by the Institute of mathematics of Technical university of Wroclaw
: Conference on set theory and hierarchy theory 2(
Book
)
1 edition published in 1976 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1976 in English and held by 3 WorldCat member libraries worldwide
Firstorder temporal logic over trace systems by
Wojciech Penczek(
Book
)
1 edition published in 1995 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1995 in English and held by 2 WorldCat member libraries worldwide
Alfred Tarski : życie i logika by
Anita Burdman Feferman(
Book
)
1 edition published in 2009 in Polish and held by 2 WorldCat member libraries worldwide
1 edition published in 2009 in Polish and held by 2 WorldCat member libraries worldwide
Set theory and hierarchy theory V; proceedings by
Alistair H Lachlan(
Book
)
1 edition published in 1977 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1977 in English and held by 2 WorldCat member libraries worldwide
Kryptografia : teoretyczne podstawy i praktyczne zastosowania by
Czesław Kościelny(
Book
)
1 edition published in 2009 in Polish and held by 2 WorldCat member libraries worldwide
1 edition published in 2009 in Polish and held by 2 WorldCat member libraries worldwide
Set theory and Hirarchy theory v : Bierutowice, Poland, 1976 [proceedings] by Conference on Set Theory and Hierarchy Theory(
Book
)
1 edition published in 1977 in English and held by 1 WorldCat member library worldwide
1 edition published in 1977 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Marek, V. W. (V. Wiktor) 1943 Author Editor
 Mostowski, Andrzej
 Ehrenfeucht, Andrzej Author Editor
 Zarach, Andrzej 1948 Editor
 Lachlan, Alistair H. Author Editor
 Kurkowski, Mirosław Other
 Kościelny, Czesław Author
 Mostowski, Andrzej Honoree Dedicatee
 Conference on Set Theory and Hierarchy Theory
 Wroclaw. Technical university of Wroclaw Institute of mathematics
Associated Subjects
Computer network architectures Computer organization Computer science Computer security Data encryption (Computer science) Data protection Data structures (Computer science) Electronic commerce Law and ethics Logic, Symbolic and mathematical Logicians Mathematical analysisFoundations Mathematicians Mathematics Measure theory Model theory Mostowski, Andrzej Poland Recursion theory Recursion theoryHierarchies Recursive functions Set theory Tarski, Alfred, United States