Los problemas del tabaco: Gobierno, campesinos y mujeres en la década de 1930

Durante la década de 1930 el capitalismo industrial organizó diferentes espacios de la política y la cultura en Colombia. A través del estudio de caso de Coltabaco, se caracterizan tres momentos de los vínculos del capitalismo industrial con la sociedad colombiana. En el primer momento, se la describen los vínculos políticos que hicieron visible diferentes formas de participación política del sector industrial y su relación con las regiones, las instituciones (públicas y privadas) y las elites dominantes, así como se subraya la importancia del mercado interno para la industria del tabaco. En el segundo momento, se caracterizan los vínculos entre Coltabaco y el sector rural a partir de la labor pedagógica de Coltabaco para la producción de la hoja, así mismo, se describen las representaciones del cultivador vinculado a la industria que fueron difundidas en el sector rural; finalmente, los vínculos entre Coltabaco y el sector urbano se analizan en la tensión por la relación mujer-cigarrillo. En el consumo del cigarrillo, el placer femenino se desligó de condicionantes morales e higiénicos, ganando, a través del gusto, una nueva circunstancia para experimentar la subjetividad de la mujer moderna. Los Problemas del Tabaco no se limitaron exclusivamente al espacio de la política económica, también fueron las costumbres campesinas desvinculadas del ritmo de la industria, y las ideas morales e higiénicas que organizaban la costumbre en la relación mujer-cigarrillo.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Introducing a nationwide registry: the Swiss study on aneurysmal subarachnoid haemorrhage (Swiss SOS)

Aneurysmal subarachnoid haemorrhage (aSAH) is a haemorrhagic form of stroke and occurs in a younger population compared with ischaemic stroke or intracerebral haemorrhage. It accounts for a large proportion of productive life-years lost to stroke. Its surgical and medical treatment represents a multidisciplinary effort. Due to the complexity of the disease, the management remains difficult to standardise and quality of care is accordingly difficult to assess.

Full and hat inductive definitions are equivalent in NBG

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).

Schief-Levinche mit seiner Kalle, oder, Polnische Wirtschaft

ein komischer Roman von Isaak Bernays

The placentation of the manatee (Trichechus latirostris) / by George B. Wislocki.

v.54:no.3 (1935)

Über Kritik und Geschichte des goetheschen Textes.

At head of title: An Nicolaus Delius.

Henriette Feuerbach, ihr Leben in ihren Briefen,

Mode of access: Internet.

Anselm Feuerbach.

Mode of access: Internet.

Anselm Feuerbach, seine besten Gemälde, Studien und Handzeichnungen in 80 Bildtafeln.

Preliminary essay signed: Hermann Uhde-Bernays.

A compendious German grammar with a copious appendix including a dictionary of prefixes and affixes.

Mode of access: Internet.

German poetical anthology, preceded by a concise history of German poetry, and short notices of the authors selected.

Poems in German; introd. and grammatical notes in English.

Shakespeare's dramatische Werke /

Bd 1-2. König Johann. König Richard II. König Heinrich IV, 1. th. König Heinrich IV, 2. th. König Heinrich V. König Heinrich VI, 1. th.--Bd. 3-4. König Heinrich VI, 2. th. König Heinrich VI, 3. th. König Richard III. König Heinrich VIII. Romeo und Julia. Ein Sommernachtstraum.--Bd. 5-6. Julius Cäsar. Was ihr wollt. Der Sturm. Hamlet. Der Kaufman von Venedig. Wie es euch gefällt.--Bd. 7-8. Der widerspenstigen Zähmung. Viel Lärmen um nichts. Die Comödie der Irrungen. Die beiden Veroneker. Coriolanus. Liebes Lied und Luft.--Bd. 9-10. Die lustigen Weiber von Windsor. Titus Andronicus. Das Wintermährchen. Antonius und Cleopatra. Mass für Mass. Timon von Athen.

Goethes Briefe an Friederich August Wolf.

Mode of access: Internet.

Theophrastosʹ Schrift über Frömmigkeit; ein Beitrag zur Religionsgeschichte, mit Kritischen und erklärenden Bemerkungen zu Porphyriosʹ Schrift über Enthaltsamkeit

Mode of access: Internet.