Search results for ""Author Paolo Mancosu""
Hoover Institution Press,U.S. Moscow has Ears Everywhere: New Investigations on Pasternak and Ivinskaya
The conflict between Soviet Communists and Boris Pasternak over the publication of Doctor Zhivago did not end when he won the Nobel Prize, or even when the author died. Paolo Mancosu tells how Pasternak’s expulsion from the Soviet Writers’ Union left him in financial difficulty. Milan publisher Giangiacomo Feltrinelli and Sergio d’Angelo, who had brought the typescript of Doctor Zhivago to Feltrinelli, were among those who arranged a smuggling operation to help him.After Pasternak’s death, Olga Ivinskaya, his companion, literary assistant, and the inspiration for Zhivago’s Lara, also received some of the Zhivago royalties. After the KGB intercepted Pasternak’s will on her behalf, the Soviets arrested and sentenced her and her daughter, Irina Emelianova, to eight years and three years of labor camp, respectively. The ensuing international outrage inspired a secret campaign in the West to win their freedom.Mancosu’s new book—the first to explore the post-Nobel history of Pasternak and Ivinskaya—provides extraordinary detail on these events, in a thrilling account that involves KGB interceptions, fabricated documents, smugglers, and much more. While a general reader will respond to the dramatic human story, specialists will be rewarded with a rich assemblage of new archival material, especially letters of Pasternak, Ivinskaya, Feltrinelli, and d’Angelo from the Hoover Institution Library and Archives and the Feltrinelli Archives in Milan.
£34.95
Hoover Institution Press,U.S. Zhivago's Secret Journey: From Typescript to Book
Paolo Mancosu continues an investigation he began in his 2013 book Inside the Zhivago Storm, which the New York Book Review of Books described as "a tour de force of literary detection worthy of a scholarly Sherlock Holmes". In this book Mancosu extends his detective work by reconstructing the network of contacts that helped Pasternak smuggle the typescripts of Doctor Zhivago outside the Soviet Union and following the vicissitudes of the typescripts when they arrived in the West. Mancosu draws on a wealth of firsthand sources to piece together the long-standing mysteries surrounding the many different typescripts that played a role in the publication of Doctor Zhivago, thereby solving the problem of which typescript served as the basis of the first Russian edition: a pirate publication covertly orchestrated by the Central Intelligence Agency (CIA). He also offers a new perspective, aided by the recently declassified CIA documents, by narrowing the focus as to who might have passed the typescript to the CIA. In the process, Mancosu reveals details of events that were treated as top secret by all those involved, vividly recounting the history of the publication of Pasternak's epic work with all its human and political ramifications.
£26.96
Librarie Philosophique J. Vrin Introduction a la Theorie de la Demonstration: Elimination Des Coupures, Normalisation Et Preuves de Coherence
£49.42
Oxford University Press An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics.
£29.24