Three Views of Logic : Mathematics, Philosophy, and Computer Science

Three Views of Logic : Mathematics, Philosophy, and Computer Science

Enregistré dans:

Détails bibliographiques
Auteur principal:	Loveland, Donald W.. (Auteur)
Autres auteurs:	Hodel, Richard E.. (Auteur), Sterrett, S. G..
Support:	E-Book
Langue:	Anglais
Publié:	Princeton : Princeton University Press, 2014.
Sujets:	Mathematics > General. Mathematics > Linear & Nonlinear Programming. Mathematics > Philosophy. Berechenbarkeit. Beweistheorie. Computable functions. Logic and Set Theory. Logic, Symbolic and mathematical. Logic. Mathematics. Mathematik. Nichtklassische Logik. Nonclassical mathematical logic. Proof theory. Logique mathématique. Théorie de la démonstration. Logique informatique. Logique > Philosophie.
Autres localisations:	Voir dans le Sudoc
Accès en ligne:	Accès à l'E-book

Documents similaires

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
par: Badesa, Calixto (19..-....).
Publié: (2009)

Circles disturbed : the interplay of mathematics and narrative
Publié: (2012)

The logician and the engineer : how George Boole and Claude Shannon created the information age
par: Nahin, Paul J. (1940-....).
Publié: (2011)

Nonplussed! : mathematical proof of implausible ideas
par: Havil, Julian (1952-....; mathématicien).
Publié: (2010)

The best writing on mathematics : 2011
par: Pitici, Mircea (1965-....).
Publié: (2011)

Dr. Euler's fabulous formula : cures many mathematical Ills
par: Nahin, Paul J. (1940-....).
Publié: (2011)

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
par: Torza, Alessandro.

Convolution and equidistribution : sato-tate theorems for finite-field mellin transforms
par: Katz, Nicholas M. (1943-....).
Publié: (2012)

Slicing pizzas, racing turtles, and further adventures in applied mathematics
par: Banks, Robert B..
Publié: (2012)

Computational Aspects of Modular Forms and Galois Representations : How One Can Compute in Polynomial Time the Value of Ramanujan's Tau at a Prime
par: Jong, Robin De‎.
Publié: (2011)

Self-Regularity : A New Paradigm for Primal-Dual Interior-Point Algorithms
par: Terlaky, Tamas.
Publié: (2002)

The Fascinating World of Graph Theory
par: Benjamin, Arthur T. (19..-....).
Publié: (2015)

The Decomposition of Global Conformal Invariants
par: Alexakis, Spyros (1978-....).
Publié: (2012)

Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer
par: Atten, Markus van (1973-....).

Totally nonnegative matrices
par: Fallat, Shaun M..
Publié: (2011)

Fréchet differentiability of Lipschitz functions and porous sets in Banach spaces
par: Lindenstrauss, Joram (1936-2012).
Publié: (2012)

On the Cohomology of Certain Non-Compact Shimura Varieties
par: Morel, Sophie (1979-....; mathématicienne).
Publié: (2010)

Symmetric Markov Processes, Time Change, and Boundary Theory
par: Chen, Zhen-Qing (19..-....).
Publié: (2011)

Weyl group multiple Dirichlet series : type A combinatorial theory
par: Brubaker, Ben (1976-....).
Publié: (2011)

Mathematical Analysis of Deterministic and Stochastic Problems in Complex Media Electromagnetics
par: Roach, Gary Francis (1933-2012).
Publié: (2012)

A mathematical nature walk
par: Adam, John Anthony.
Publié: (2011)

Mumford-Tate groups and domains : their geometry and arithmetic
par: Green, Mark L. (1947-....; mathématicien).
Publié: (2012)

From logic to logic programming
par: Doets, Kees.
Publié: (1994)

Mrs. Perkins's Electric Quilt : And Other Intriguing Stories of Mathematical Physics
par: Nahin, Paul J. (1940-....).
Publié: (2009)

Numbers rule : the vexing mathematics of democracy from Plato to the present
par: Szpiro, George G. (1950-....).
Publié: (2010)

X and the City : Modeling Aspects of Urban Life
par: Adam, John Anthony.
Publié: (2012)

Wittgenstein's On Certainty: Insight and Method
par: Brice, Robert Greenleaf (19..-....).

The Ambient Metric
par: Graham, C. Robin (1954-....; auteur en mathématiques).
Publié: (2011)

How round is your circle? : where engineering and mathematics meet
par: Sangwin, Christopher J. (1973-....).
Publié: (2011)

A course of mathematics for engineers and scientists.
par: Chirgwin, Brian Harvey (19..-....).
Publié: (2017)

Some problems of unlikely intersections in arithmetic and geometry
par: Zannier, Umberto (1957-....).
Publié: (2012)

Matrix completions, moments, and sums of hermitian squares
par: Woerdeman, Hugo J. (1962-....).
Publié: (2011)

Quadrangular algebras
par: Weiss, Richard Mark (1946-....; mathématicien).
Publié: (2005)

Reverse mathematics : proofs from the inside out
par: Stillwell, John (1942-....; Professeur de mathématiques).
Publié: (2018)

The Princeton companion to mathematics
par: Gowers, Timothy (1963-....; professeur au Collège de France).

Fundamentals of university mathematics
par: McGregor, Colin.
Publié: (2010)

Stability and Control of Large-Scale Dynamical Systems : A Vector Dissipative Systems Approach
par: Nersesov, Sergey G. (1976-).
Publié: (2011)

Mind and nature : selected writings on philosophy, mathematics, and physics
par: Weyl, Hermann (1885-1955).
Publié: (2009)

Benford's Law : Theory and Applications
Publié: (2015)

The Princeton companion to applied mathematics
par: Higham, Nicholas J. (1961-2024).
Publié: (2015)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1