Libri dal 1840 agli anni '70

Abstract/Sommario: Lambda-conversione - Combinatori - Rappresentazione delle funzioni ricorsive - Il teorema di indecidibilità - Uguaglianza estensionale - L'equivalenza tra la λ-conversione e la teoria dei combinatori - Riduzione forte - Combinatori con tipi: prima e seconda definizione - Logica basata sui combinatori - Funzioni di Godel di tipo finito - Dimostrazione del teorema di Church e Rosser - Dimostrazione del teorema 11.17.

Abstract/Sommario: Il concetto del diritto - le concezioni del valore giuridico come valore reale - conclusioni.

Abstract/Sommario: The book is based on experience with o0rganizational innovations introduced under everyday operating conditions in manifacturing industry.

Abstract/Sommario: Le condizioni materiali oggettive - Le contraddizioni del capitalismo - Marx contro Marx - La rivoluzione - La società futura - Il socialismo: scienza o religione? - La scolastica marxista.

Abstract/Sommario: Premessa - libertà provvisoria - processo urgente - fermo di indiziati di reato - perquisizione - pubbliche manifestazioni - confisca - norme concernenti il fascismo - uso legittimo delle armi - ricettazione - prescrizione - casi di giudizio direttissimo - misure di prevenzione - la sospensione provvisoria dalla amministrazione dei beni: nuova misura di prevenzione - espulsione dello straniero - violenza a pubblico ufficiale - il procedimento per reati commessi dalle forze dell'ordine ...; [Leggi tutto...] Premessa - libertà provvisoria - processo urgente - fermo di indiziati di reato - perquisizione - pubbliche manifestazioni - confisca - norme concernenti il fascismo - uso legittimo delle armi - ricettazione - prescrizione - casi di giudizio direttissimo - misure di prevenzione - la sospensione provvisoria dalla amministrazione dei beni: nuova misura di prevenzione - espulsione dello straniero - violenza a pubblico ufficiale - il procedimento per reati commessi dalle forze dell'ordine - le notificazioni a mezzo telefono - chiusura dell'istruzione formale: deposito degli atti al P.M. - termine di efficacia della nuova legge.

Abstract/Sommario: Breve rassegna dei precedenti storici - La tavola delle transazioni o delle immissioni-erogazioni - Un modello lineare di produzione - Lo schema di Leontief - Lo schema teorico di Sraffa - La scelta della tecnica di produzione - Introduzione ai modelli di produzione dinamici - Appendice matematica: nozioni elementari di algebra delle matrici.

Abstract/Sommario: Forme elementari di comunicazione - Comunicazione per mezzo della danza in uno sciame di api - Stadi di sviluppo nel «linguaggio» delle api - Aspetti sensoriali della danza delle api - Orientazione solare e danza delle api. Alcuni problemi.

Abstract/Sommario: The new pattern of Local Authorities - preparatory work by former authorities - creating the new authorities - relations between counties and districts - functions - staff - finance - the associations of local authorities - conclusion.

Abstract/Sommario: Logica nella filosofia e filosofia della logica - La quantificazione e la teoria raffigurativa del linguaggio - Giochi linguistici per i quantificatori - Criteri comportamentali per la traduzione radicale: un commento a "Parola e oggetto" di W. V. Quine - Quantificatori, giochi linguistici e argomenti trascendentali - Una analisi dell'analiticità - Le verità logiche sono tautologie? - Kant rivisitato - Kant e la tradizione dell'analisi - Informazione, deduzione e a priori - Forme norma ...; [Leggi tutto...] Logica nella filosofia e filosofia della logica - La quantificazione e la teoria raffigurativa del linguaggio - Giochi linguistici per i quantificatori - Criteri comportamentali per la traduzione radicale: un commento a "Parola e oggetto" di W. V. Quine - Quantificatori, giochi linguistici e argomenti trascendentali - Una analisi dell'analiticità - Le verità logiche sono tautologie? - Kant rivisitato - Kant e la tradizione dell'analisi - Informazione, deduzione e a priori - Forme normali distributive nella logica del primordine.

Abstract/Sommario: Introduzione e definizioni - La teoria del valore-lavoro - La teoria dell'occupazione di lungo periodo - La caduta del saggio di profitto - La domanda effettiva - La teoria classica del profitto - La teoria generale dell'occupazione - La concorrenza imperfetta - Salari reali e salari monetari - Analisi dinamica.