Listing 1 - 10 of 16 | << page >> |
Sort by
|
Choose an application
Hilbert [Espace d' ] --- Hilbert [Ruimte van ] --- Hilbert space --- Analyse diophantienne --- Décidabilité (logique mathématique) --- Hilbert (david) --- Problemes
Choose an application
Mathematical logic --- 515.1 --- Topology --- Set theory. --- 515.1 Topology --- Set theory --- Théorie des ensembles --- Continuity --- Continu (philosophie) --- Théorie des ensembles --- Décidabilité (logique mathématique)
Choose an application
Mathematical logic --- 510 --- Fundamental and general considerations of mathematics. Foundations, logic etc. --- 510 Fundamental and general considerations of mathematics. Foundations, logic etc. --- Predicate calculus. --- Sequential machine theory. --- Décidabilité (logique mathématique)
Choose an application
Computer science --- Mathematical logic --- Computer logic --- Formal methods (Computer science) --- Computer logic. --- Formal methods (Computer science). --- Computer programs --- Logiciels --- Verification --- Vérification --- Informatique --- Computer science. --- Décidabilité (logique mathématique) --- Vérification. --- Algorithmique --- Complexite
Choose an application
Complex interactions of economic, technological, political, and cultural factors have fed the rise of criminal networks worldwide. At the same time, global illegal activities depend on a world of social realities to function. Organized Crime moves beyond traditional concepts of "evil forces" corrupting their host societies, instead analyzing local, national, and international manifestations of organized crime in the situational contexts that aid in its development. The contributors provide up-to-date understanding of various aspects of organized crime, in both classic areas of research (drugs, sex trafficking, labor racketeering) and emerging areas of interest (diamond smuggling, money laundering, eco-crime), in locales as varied as Italy, Quebec, the Sinai, Bulgaria, and the world’s tropical rain forests. Topics are explored from a variety of perspectives, including sociology, criminology, political science, and anthropology, giving this book empirical breadth and depth rarely seen in the literature. A sampling of the topics: Symbolic and economic meanings of crime to cultures. The symbiotic relationships between legitimate and criminal activities. Ethical dilemmas of legitimate businesses with criminal clients. Marketing, problem-solving, recruitment: organizational models of criminal enterprises. Innovative law enforcement/administrative strategies for containing and preventing crime in the U.S. and across Europe. Scholars and researchers of organized crime as well as advanced students of criminology will welcome Organized Crime for coverage that is wide-ranging, comparative, and specific enough to match their interests.
Mathematical logic --- 517.1 --- 517.1 Introduction to analysis --- Introduction to analysis --- Lattices, Distributive --- Unsolvability (Mathematical logic) --- Lattices, Distributive. --- Unsolvability (Mathematical logic). --- Logique mathématique --- Récursivité, Théorie de la --- Décidabilité (logique mathématique)
Choose an application
Mathematical logic --- Logic, Symbolic and mathematical --- Recursive functions --- Set theory --- Logique symbolique et mathématique --- Fonctions récursives --- Théorie des ensembles --- ELSEVIER-B EPUB-LIV-FT --- 510.6 --- 510.6 Mathematical logic --- Logique mathématique --- Récursivité, Théorie de la --- Intuitionnisme --- Décidabilité (logique mathématique)
Choose an application
This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.
Mathematical logic --- Logique mathématique --- Décidabilité (logique mathématique) --- Logic, Symbolic and mathematical. --- Decidability (Mathematical logic) --- Logique mathématique. --- Decidability (Mathematical logic). --- Logic, Symbolic and mathematical --- Computable functions --- Gödel's theorem --- Recursive functions --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic [Symbolic and mathematical ] --- Logique mathématique. --- Décidabilité (logique mathématique)
Choose an application
Mathematical logic --- Axiomatic set theory. --- Forcing (Model theory) --- Forcing (Model theory). --- Set theory --- Théorie des ensembles --- Forcing (mathématiques) --- Logique mathématique --- Logic, Symbolic and mathematical --- Ensembles, Théorie combinatoire des --- Combinatorial set theory --- Constructibility (Set theory) --- Constructibilité (théorie des ensembles) --- Set theory. --- Théorie des ensembles --- Ensembles, Théorie combinatoire des. --- Logique mathématique. --- Logic, Symbolic and mathematical. --- Décidabilité (logique mathématique)
Choose an application
Godel's theorem. --- Mathematical logic --- Godel's theorem --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Foundations --- Gödel's theorem --- Gödel, Théorème de --- Décidabilité (logique mathématique)
Choose an application
Gödel, Théorème de --- Logique symbolique et mathematique --- Godel, Theoreme de. --- Decidabilite (Logique mathematique) --- Gödel's theorem --- Gödel, Théorème de --- Mathématiques --- Philosophie --- Logique mathématique --- Logic, Symbolic and mathematical --- Ouvrages de vulgarisation. --- Popular works. --- Décidabilité (logique mathématique) --- Mathématiques - Philosophie --- Axioms --- Gödel, kurt (1906-1978) --- Godel's theorem
Listing 1 - 10 of 16 | << page >> |
Sort by
|