Home | Software Downloads | Create Account

Content Languages

Afrikaans
English
French
German
Italian
Portuguese
Russian
Spanish

English Categories

SA Topsites

GMT-5

ZA Topsites

GMT+2

ABOUT SSL CERTIFICATES

Mathematics > Logic

Displaying 1 to 44 (of 44 eBooks)

Result Pages: 1

Cover	Product Name	Price	Product Info
	A Course on Set Theory Author: Schimmerling, Ernest Publisher: Cambridge University Press Format: Adobe PDF Description: Set theory is the mathematics of infinity and part of the core curriculum for mathematics majors. This book blends theory and connections with other parts of mathematics so that readers can understand...	$29.12
	A Framework for Priority Arguments Author: Lerman, Manuel Publisher: Cambridge University Press Format: Adobe PDF Description: This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most o...	$66.56
	An Introduction to Many-Valued and Fuzzy Logic Author: Bergmann,Merrie Publisher: Cambridge University Press Format: Adobe PDF Description: Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic designed for use on undergraduate and graduate courses in non-classical logic. Bergmann disc...	$35.36
	An Ontological and Epistemological Perspective of Fuzzy Set Theory Author: Turksen, I. Burhan Publisher: Elsevier S&T Format: Adobe PDF Description: Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree. But in general membership degree is an imprecise notion wh...	$202.80
	Computability: Computable Functions, Logic, and the Foundations of Mathematics Author: Epstein, Richard L. / Carnielli, Walter A. Publisher: Advanced Reasoning Forum Format: Adobe PDF Description: Now in a new edition!--the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions an...	$20.92
	Continuous Lattices and Domains Author: Gierz, G. / Hofmann, K. H. / Keimel, K. Publisher: Cambridge University Press Format: Adobe PDF Description: Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. The authors develop the mathematical foundations of partia...	$202.80
	Deep Beauty Author: N/A Publisher: Cambridge University Press Format: Adobe PDF Description: No scientific theory has caused more puzzlement and confusion than quantum theory. Physics is supposed to help us to understand the world, but quantum theory makes it seem a very strange place. This b...	$82.16
	Essays on the Theory of Numbers (Second Edition) Author: Dedekind, Richard, Publisher: Brownstone Books Format: Adobe PDF Description: Included in this volume are two essays on the theory of numbers: "Continuity and Irrational Numbers" and "The Nature and Meaning of Numbers." The text is an authorized translation by Wooster Woodruff ...	$2.33
	Finite and Algorithmic Model Theory Author: N/A Publisher: Cambridge University Press Format: Adobe PDF Description: Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logi...	$54.08
	Forcing with Random Variables and Proof Complexity Author: KrajÌ ek , Jan Publisher: Cambridge University Press Format: Adobe PDF Description: This book introduces a new approach to building models of bounded arithmetic, with techniques drawn from recent results in computational complexity. Propositional proof systems and bounded arithmetics...	$54.08
	Godel's Proof Author: Nagel, Ernest Publisher: Routledge Format: Adobe PDF Description:	$20.75
	Greek, Indian and Arabic Logic Author: Gabbay, Dov Publisher: Elsevier S&T Format: Adobe PDF Description: Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological o...	$207.87
	How to Prove It Author: Velleman, Daniel J. Publisher: Cambridge University Press Format: Adobe PDF Description: Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the trans...	$26.00
	How to Solve It Author: Polya, G. Publisher: Princeton University Press Format: Adobe PDF Description: A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight.In lucid and appealing prose, Polya reveals how the mathematical method of...	$22.04
	Independence-Friendly Logic Author: Mann, Allen L. / Sandu, Gabriel / Sevenster, Merlijn Publisher: Cambridge University Press Format: Adobe PDF Description: Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical co...	$57.20
	Infinity Author: N/A Publisher: Cambridge University Press Format: Adobe PDF Description: This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broa...	$82.16
	Kurt Godel Author: N/A Publisher: Cambridge University Press Format: Adobe PDF Description: Kurt Godel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmet...	$82.16
	Kurt Godel and the Foundations of Mathematics Author: N/A Publisher: Cambridge University Press Format: Adobe PDF Description: This volume commemorates the life, work and foundational views of Kurt GË†del (1906Ã±1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number th...	$82.16
	Lambda-Calculus and Combinators Author: Hindley,J. Roger / Seldin,Jonathan P. Publisher: Cambridge University Press Format: Adobe PDF Description: Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the...	$60.32
	Lectures in Logic and Set Theory Volume 1 Author: Tourlakis, George Publisher: Cambridge University Press Format: Adobe PDF Description: This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduat...	$33.28
	Lectures in Logic and Set Theory Volume 2 Author: Tourlakis, George Publisher: Cambridge University Press Format: Adobe PDF Description: This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduat...	$58.24
	Logic Colloquium 2006 Author: N/A Publisher: Cambridge University Press Format: Adobe PDF Description: The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contribution...	$93.60
	Logic Colloquium 2007 Author: N/A Publisher: Cambridge University Press Format: Adobe PDF Description: The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium ...	$82.16
	Logical Foundations of Proof Complexity Author: Cook, Stephen / Nguyen, Phuong Publisher: Cambridge University Press Format: Adobe PDF Description: This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the mat...	$70.72
	Miscellaneous Pieces Author: Carroll, Lewis Publisher: ReadHowYouWant Format: Adobe ePUB Description: Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886), Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work, Carroll presents a mind-bog...	$3.11
	Models and Games Author: V‰‰n‰nen, Jouko Publisher: Cambridge University Press Format: Adobe PDF Description: This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the EhrenfeuchtÃ±FraÃ”ssÃˆ game; and the model existence game. The...	$54.08
	Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Author: N/A Publisher: Cambridge University Press Format: Adobe PDF Description: The development of Maxim Kontsevich's initial ideas on motivic integration has unexpectedly influenced many other areas of mathematics, ranging from the Langlands program over harmonic analysis, to no...	$54.08
	Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Author: N/A Publisher: Cambridge University Press Format: Adobe PDF Description: The development of Maxim Kontsevich's initial ideas on motivic integration has unexpectedly influenced many other areas of mathematics, ranging from the Langlands program over harmonic analysis, to no...	$54.08
	P, NP, and NP-Completeness Author: Goldreich, Oded Publisher: Cambridge University Press Format: Adobe PDF Description: The focus of this book is the P versus NP Question and the theory of NP-completeness. It also provides adequate preliminaries regarding computational problems and computational models. The P versus NP...	$31.20
	Proof Analysis Author: Negri, Sara / von Plato, Jan Publisher: Cambridge University Press Format: Adobe PDF Description: This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems a...	$74.88
	Proofs and Computations Author: Schwichtenberg, Helmut / Wainer, Stanley S. Publisher: Cambridge University Press Format: Adobe PDF Description: Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained...	$74.88
	Set Theory, Arithmetic, and Foundations of Mathematics Author: N/A Publisher: Cambridge University Press Format: Adobe PDF Description: This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reveal how contemporary technical results touch upon foun...	$58.24
	Subsystems of Second Order Arithmetic Author: Simpson, Stephen G. Publisher: Cambridge University Press Format: Adobe PDF Description: Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms ar...	$39.52
	The Birth of Model Theory Author: Badesa, Calixto Publisher: Princeton University Press Format: Adobe ePUB Description: Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between forma...	$82.88
	The Nuts and Bolts of Proofs Author: Cupillari, Antonella Publisher: Elsevier S&T Format: Adobe PDF Description: The Nuts and Bolts of Proofs instructs students on the primary basic logic of mathematical proofs, showing how proofs of mathematical statements work. The text provides basic core techniques of how to...	$50.65
	The Rise of Modern Logic: from Leibniz to Frege Author: Gabbay, D. M. Publisher: Elsevier S&T Format: Adobe PDF Description: With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the terr...	$243.36
	The Search for Mathematical Roots, 1870-1940 Author: Grattan-Guinness, I. Publisher: Princeton University Press Format: Adobe PDF Description: While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, a...	$93.93
	Wadge Degrees and Projective Ordinals Author: N/A Publisher: Cambridge University Press Format: Adobe PDF Description: The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Wadge Degrees and Projective Ordinals is the second of a series of four books collecti...	$62.40
	Zariski Geometries Author: Zilber, Boris Publisher: Cambridge University Press Format: Adobe PDF Description: This book presents methods and results from the theory of Zariski structures and discusses their applications in geometry as well as various other mathematical fields. Its logical approach helps us un...	$55.12
	Classical Mathematical Logic Author: Epstein, Richard L. Publisher: Princeton University Press Format: Adobe PDF Description: In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical ...	$116.03
	Classical Mathematical Logic Author: Epstein, Richard L. Publisher: Princeton University Press Format: Adobe ePUB Description: In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical ...	$116.03
	How to Solve It Author: Polya, G. Publisher: Princeton University Press Format: Adobe ePUB Description: A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight.In lucid and appealing prose, Polya reveals how the mathematical method of...	$22.04
	Logical Dynamics of Information and Interaction Author: van Benthem, Johan Publisher: Cambridge University Press Format: Adobe PDF Description: This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It pro...	$74.88
	Simple Theories and Hyperimaginaries Author: Casanovas, Enrique Publisher: Cambridge University Press Format: Adobe PDF Description: This book is an up-to-date introduction to simple theories and hyperimaginaries, with special attention to Lascar strong types and elimination of hyperimaginary problems. Assuming only knowledge of ge...	$62.40
	The Birth of Model Theory Author: Badesa, Calixto Publisher: Princeton University Press Format: Adobe PDF Description: Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between forma...	$74.59

Displaying 1 to 44 (of 44 eBooks)

Result Pages: 1

Shopping Cart

0 items

Featured Titles

1001 Internet Jokes II - South African Edition