Making and selling cars [[electronic resource] ] : innovation and change in the U.S. automotive industry / / James M. Rubenstein

• Record Nr.: UNINA9910455023303321
• Autore: Rubenstein James M
• Pubbl/distr/stampa: Baltimore, : Johns Hopkins University Press, 2001
• ISBN: 0-8018-7371-1
• Descrizione fisica: 1 online resource (412 p.)
• Disciplina: 338.4/76292/0973
• Soggetti: Automobile industry and trade - United States; Automobiles - Marketing; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references (p. 371-386) and index.

Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan

• Record Nr.: UNINA9910154750903321
• Autore: Smullyan Raymond M.
• Pubbl/distr/stampa: Princeton, NJ : , : Princeton University Press, , [2016]; ©1961
• ISBN: 1-4008-8200-1
• Descrizione fisica: 1 online resource (157 pages) : illustrations
• Collana: Annals of Mathematics Studies ; ; 301
• Disciplina: 511.33
• Soggetti: Recursive functions; Metamathematics
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "A revision of the author's recent doctoral dissertation--[Princeton]."
• Nota di bibliografia: Includes bibliography.
• Nota di contenuto: Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY
• Sommario/riassunto: This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.

Perangkaan tambahan bulanan = : Monthly statistical supplement / / Bank Negara Malaysia

• Record Nr.: UNISA996209301603316
• Pubbl/distr/stampa: [Kuala Lumpur], : Bank Negara Malaysia
• Descrizione fisica: 1 online resource
• Disciplina: 330.959505
• Soggetti: Banks and banking - Malaysia; Finance - Malaysia; Banks and banking; Finance; Periodicals.; Statistics.; Malaysia
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Periodico