‎Caroff André‎
‎Forcing‎

‎Army Corps Forcing the River: Operations on the Vistula River in 1914 by G. K.‎

‎Army Corps Forcing the River: Operations on the Vistula River in 1914 by G. K. Korolkov./Forsirovanie reki armeyskim korpusom: Operatsii na r. Visle 1914 g. G. K. Korolkov. Forcing the River by the Army Corps: Operations on the Vistula River in 1914 by G. K. Korolkov-Moscow: edition and type 1. Voizdat, 1937:. We have thousands of titles and often several copies of each title may be available. Please feel free to contact us for a detailed description of the copies available. SKUbd-b48924e62748e97d.‎

‎Inzhenernoe obespechenie forsirovaniya rek. In Russian /River Forcing Enginee...‎

‎Short description: In Russian. Lysukhin, Ivan Fedorovich. River Forcing Engineering. Moscow: Voenizdat, 1968. Inzhenernoe obespechenie forsirovaniya rek. In Russian /River Forcing Engineering. The image is provided for reference only. It may reflect condition of one of the available copies or only help in identifying the edition. Please feel free to contact us for a detailed description of the copies available. SKU6334279‎

‎Poluprovodnikovye forsiruyushchie skhemy. In Russian /Semiconductor Forcing C...‎

‎Short description: In Russian. Leonenko, Leonard Ivanovich. Semiconductor Forcing Circuits. Moscow: Energy, 1974. Poluprovodnikovye forsiruyushchie skhemy. In Russian /Semiconductor Forcing Circuits. The image is provided for reference only. It may reflect condition of one of the available copies or only help in identifying the edition. Please feel free to contact us for a detailed description of the copies available. SKU7153965‎

‎Saad el-Shazli. Forcing the Suez Canal.‎

‎Saad el-Shazli. Forcing the Suez Canal. In Russian (ask us if in doubt)/Saad el'-Shazli. Forsirovanie Suetskogo kanala. M.: Biblios Consulting. 2008. 368 and 8 p. SKUalbe2452f50d1fe3a08.‎

‎ISILC Logic Conference - Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (Mathematical Logic) , Lecture Notes in Mathematics, volume 499 (An observation on the product of Silver's forcing - Recursively unsolvable algorithmic problems and related questions reexamined - Lectures on large cardinal axioms - Indescribability properties and small large cardinals - Marginalia to a theorem of Silver - Computation theories : An axiomatic approach to recursion on general structures - Closed models and hulls of theories - Axioms of choice in Morse-Kelley class theory - First-order logic and its extensions - Set theory in infinitary languages - Sur la méthode en histoire de la logique - The model theory of local fields - Quantifier elimination - Intensional semantics for natural languages - On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - Many-valued algorithmic logic - Data types as lattices)‎

‎Springer-Verlag - Springer , Lecture Notes in Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1975 Book condition, Etat : Bon paperback, editor's yellow and black printed wrappers grand In-8 1 vol. - 655 pages‎

‎ 1st edition, 1975 Contents, Chapitres : Contents, v, Text, 651 pages - Z. Adamowicz : An observation on the product of Silver's forcing - E. Borger : Recursively unsolvable algorithmic problems and related questions reexamined - M. Boos : Lectures on large cardinal axioms - K. Devlin : Indescribability properties and small large cardinals - K. Devlin and R. Jensen : Marginalia to a theorem of Silver - J. Fenstad : Computation theories : An axiomatic approach to recursion on general structures - R. Fittler : Closed models and hulls of theories - T. Flannagan : Axioms of choice in Morse-Kelley class theory - J. Flum : First-order logic and its extensions - K. Gloede : Set theory in infinitary languages - C. Imbert : Sur la méthode en histoire de la logique - S. Kochen : The model theory of local fields - P. Krauss : Quantifier elimination - F. v. Kutschers : Intensional semantics for natural languages - W. Marek and A. Mostwocki : On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - H. Rasiowa : Many-valued algorithmic logic - D. Scott : Data types as lattices wrappers are clean with minor folding tracks on corners of the bottom part, inside is clean, paper is lightly yellowing, the former owner had underlined very few lines at red ink with rules, about 25 lines, the text remains clean, his signature on the corner of the first page, it's still a good reading copy‎