100 Mathematical proof /

100 Mathematical proof /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Garnier, Rowan
Άλλοι συγγραφείς:	Taylor, John
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Chichester : John Wiley and sons, c1996
Θέματα:	Logic, symbolic and mathematical Proof theory

Παρόμοια τεκμήρια

Mathematical logic for computer science/
ανά: Ben-Ari, M., 1948-
Έκδοση: (2001)

Logic, sets, and recursion /
ανά: Causey, Robert L.
Έκδοση: (1994)

In the light of logic /
ανά: Feferman, Solomon
Έκδοση: (1998)

A Course in Mathematical Logic for Mathematicians
ανά: Manin, IU I.
Έκδοση: (2010)

18 Unconventional Essays on the Nature of Mathematics
ανά: Hersh, Reuben 1927-
Έκδοση: (2006)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
ανά: Benthem, Johan
Έκδοση: (2006)

Propositional and Predicate Calculus A Model of Argument
ανά: Goldrei, Derek
Έκδοση: (2005)

Mathematical Logic Foundations for Information Science
ανά: Li, Wei
Έκδοση: (2010)

Mathematical Problems from Applied Logic I Logics for the XXIst Century
ανά: Gabbay, Dov M., 1945-
Έκδοση: (2006)

Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
ανά: Chudnovsky, D. (David), 1947-
Έκδοση: (2010)

104 Number Theory Problems From the Training of the USA IMO Team
ανά: Andreescu, Titu
Έκδοση: (2007)

Problems and Theorems in Classical Set Theory
ανά: KomjΓ'th, PΓ©ter
Έκδοση: (2006)

A Modern Perspective on Type Theory From its Origins until Today
ανά: Kamareddine, Fairouz
Έκδοση: (2005)

Logica Universalis Towards a General Theory of Logic
ανά: Beziau, Jean-Yves
Έκδοση: (2005)

Notes on Set Theory
ανά: Moschovakis, Yiannis
Έκδοση: (2006)

Finite Model Theory
ανά: Ebbinghaus, Heinz-Dieter, 1939-
Έκδοση: (2006)

A Concise Introduction to Mathematical Logic
ανά: Rautenberg, Wolfgang
Έκδοση: (2006)

A Concise Introduction to Mathematical Logic
ανά: Rautenberg, Wolfgang
Έκδοση: (2010)

Essays in Constructive Mathematics
ανά: Edwards, Harold M.
Έκδοση: (2005)

Handbook of Set Theory
ανά: Foreman, Matthew
Έκδοση: (2010)

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
ανά: Lau, Dietlinde
Έκδοση: (2006)

Cardinal Invariants on Boolean Algebras
ανά: Monk, J. Donald (James Donald), 1930-
Έκδοση: (2010)

Schaum's outline of theory and problems of discrete mathematics /
ανά: Lipschutz, Seymour
Έκδοση: (1997)

Valued Fields
ανά: Engler, Antonio J.
Έκδοση: (2005)

Scenario Logic and Probabilistic Management of Risk in Business and Engineering
ανά: Solojentsev, E. D.
Έκδοση: (2005)

Abstraction, Refinement and Proof for Probabilistic Systems
ανά: McIver, Annabelle
Έκδοση: (2005)

Set Theory Centre de Recerca MatemΓ tica Barcelona, 2003β2004
ανά: Bagaria, Joan
Έκδοση: (2006)

Visualization, Explanation and Reasoning Styles in Mathematics
ανά: Mancosu, Paolo
Έκδοση: (2005)

Proofs from THE BOOK
ανά: Aigner, Martin 1942-
Έκδοση: (2006)

Banach Spaces and Descriptive Set Theory: Selected Topics
ανά: Dodos, Pandelis
Έκδοση: (2010)

Logical Tools for Handling Change in Agent-Based Systems
ανά: Gabbay, Dov M., 1945-
Έκδοση: (2010)

Brouwer meets Husserl On the Phenomenology of Choice Sequences
ανά: Atten, Mark
Έκδοση: (2007)

Field Arithmetic
ανά: Fried, Michael D.
Έκδοση: (2005)

Proofs from THE BOOK
ανά: Aigner, Martin 1942-
Έκδοση: (2010)

Logic and Philosophy of Mathematics in the Early Husserl
ανά: Centrone, Stefania
Έκδοση: (2010)

Natural Deduction, Hybrid Systems and Modal Logics
ανά: Indrzejczak, Andrzej
Έκδοση: (2010)

The Art of Proof Basic Training for Deeper Mathematics
ανά: Beck, Matthias
Έκδοση: (2010)

Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
ανά: Fraser, Gordon
Έκδοση: (2010)

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
ανά: Ebert, Christian
Έκδοση: (2010)

Fuzzy logic with engineering applications /
ανά: Ross, Timothy J.
Έκδοση: (2004)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_h97ichi8152v1tqduf6clkgef2