WorldCat Identities

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 Kleene-Mostowski and Davis-Mostowsi 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

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

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 self-study 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
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

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

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

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

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

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

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

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

First-order 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

First-order temporal logic over trace systems by Wojciech Penczek( Book )

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

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

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

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.38 (from 0.02 for Set theory ... to 0.98 for Set theory ...)

Set theory and hierarchy theory V : Bierutowice, Poland, 1976 Set Theory and Hierarchy Theory V Set theory and hierarchy theory : Bierutowice, Poland 1976 Set theory and hierachy theory V : Bierutowice, Poland, 1976 : [proceedings] Set theory and hierarchy theory 5. Proceedings of the 3.conference, Bierutowice 1976 : Conference on set theory and hierarchy theory 3
Covers
Set theory and hierarchy theory V : Bierutowice, Poland, 1976Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings]Set Theory and Hierarchy Theory VSet Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland 1975Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski ; Bierutowice, Poland, 1975Set theory and hierarchy theory : Bierutowice, Poland 1976Set theory and hierachy theory V : Bierutowice, Poland, 1976 : [proceedings]Set theory and hierarchy theory
Alternative Names
Srebrny, M.

Languages
English (124)

Polish (3)

German (1)