10 RUSSIAN BOOKS RELATING TO «КРИВИНА»
Discover the use of
кривина in the following bibliographical selection. Books relating to
кривина and brief extracts from same to provide context of its use in Russian literature.
1
Константин Михайлович Поликарпович. Жизнь, открытия, ученики
В процессе раскопок и осмотра окрестностей на этом же торфянике была выявлена Поликарповичем и другая стоянка Кривина–Осовец. Продолжились раскопки на торфянике Кривина только в августе—сентябре 1939 г. На этот ...
Ольга Левко, Артур Чубур, 2014
2
Introduction to Axiomatic Set Theory
This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'.
3
The Earth: From Myths to Knowledge
Few of us have more than the faintest notion of the path we have travelled. Hubert Krivine tells the story of the thinkers and scientists whose work allowed our species to put an age to the planet and pinpoint our place in the solar system.
Alain Krivine, Hubert Krivine, 2015
Если шрам есть –значит, это скорее всегогромилы избанды Штыря. Нуда, тогосамого. Вашазадача –любыми способами расколоть ихнасчет убийства Владимира Кривина. Кри-ви-на, это один из директоров фирмы «Гном».
5
Несерьзные Архимеды - Страница 90
Ф.Д. Кривин. СИНЯЯ ГАЛАКТИКА селенная разбегается, убегает от нас, с каждым днем ОНа от нас все дальше и дальше. Если так будет продолжаться достаточно миллионов лет, мы рискуем остаться совсем без вселенной.
6
The Concept of Model: An Introduction to the Materialist ...
This side of things has been perceived in part by Kreisel and Krivine in their Elements of Mathematical Logic (1967), whose subtitle is precisely: Model Theory. Recalling the (ideological) terminology specific to the 'foundations of mathematics', ...
Zachary Luke Fraser, Tzuchien Tho, 2007
7
International Trotskyism, 1929-1985: A Documented Analysis ...
He remained active in the PSU until the 1969 presidential election campaign, when he was expelled for publicly supporting the Trotskyist nominee Alain Krivine instead of the PSU candidate Michel Rocard.3 The Jeunesse Communiste ...
Robert Jackson Alexander, 1991
8
Programming Languages and Systems: Second Asian Symposium, ...
For this typed calculus, we define a Krivine-style operational semantics and show that the type system is sound with respect to the operational semantics. The static type information made available by the type system leads us to develop a new ...
9
Reachability Problems: 6th International Workshop, RP ...
For this we will use the characterization of BT(M) with Krivine machine. The first step will be to represent differently configurations of the Krivine machine. This is done purely for reasons of exposition. Then we will present the construction of A ...
Alain Finkel, Jerome Leroux, Igor Potapov, 2012
10
Ω-Bibliography of Mathematical Logic: Model Theory - Страница 382
V for further entries KRIVINE, J.-L. [1967] see KREISEL, G. KRIVINE, J.-L. [1969] Modeles de ZF+AC dans lesquels tout ensemble de reels definissable en termes d'ordinaux est mesurable-Lebesgue (J2313) C R Acad Sci, Paris, Ser A-B ...
Heinz-Dieter Ebbinghaus, 2013
2 NEWS ITEMS WHICH INCLUDE THE TERM «КРИВИНА»
Find out what the national and international press are talking about and how the term
кривина is used in the context of the following news items.
Од Тиране до Елбасана, сеоским путем са много кривина
Након кратког аутопута, који је у изградњи, путоказ води ка узаном сеоском путу, пуном кривина и са густим саобраћајем где је на појединим местима ... «Радио Телевизија Србије, Oct 15»
48-годишна е жената, открита убита в гориста местност между …
Варна. 48-годишна е жената, открита убита в гориста местност между селата Юнец и Кривина в община Долни чифлик. Това съобщиха за Радио ... «Агенция Фокус, Sep 15»
