Proof, logic, and conjecture :

Proof, logic, and conjecture : the mathematician's toolbox

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Wolf, Robert S.
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	New York : W.H. Freeman and Company, c1998
Θέματα:	Logic, Symbolic and mathematical. Set theory. Number theory.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Sets, logic & numbers
από: Dodge, Clayton W.
Δημοσίευση: (1969)

Introduction to logic and sets
από: Christian, Robert R.
Δημοσίευση: (1965)

Introduction to logic and sets
από: Christian, Robert R.
Δημοσίευση: (1958)

Sets, logic, and axiomatic theories
από: Stoll, Robert Roth
Δημοσίευση: (1974)

Sets, logic, and axiomatic theories
από: Stoll, Robert Roth
Δημοσίευση: (1961)

Set theory and logic
από: Fraenkel, Abraham Adolf, 1891-1965
Δημοσίευση: (1966)

Set theory, logic, and their limitations
από: Machover, Moshe
Δημοσίευση: (1996)

Notes on logic and set theory
από: Johnstone, P. T.
Δημοσίευση: (1987)

Elements of Logic and Foundations of Mathematics in Problems
από: Marek, V. W. (V. Wiktor) 1943-
Δημοσίευση: (1982)

The logical and set-theoretical foundations of mathematics
από: Zulauf, Achim
Δημοσίευση: (1969)

Logical number theory I :
από: Smorynski, C.
Δημοσίευση: (1991)

Set theory and its logic
από: Quine, W. V. (Willard Van Orman)
Δημοσίευση: (1969)

Set theory and its logic
από: Quine, W. V. (Willard Van Orman)
Δημοσίευση: (1963)

Introduction to mathematical proofs :
από: Roberts, Charles E.
Δημοσίευση: (2015)

Elements of set theory
από: Zehna, Peter W., κ.ά.
Δημοσίευση: (1962)

Set theory and the continuum hypothesis
από: Cohen, Paul J. 1934-
Δημοσίευση: (1980)

A formalization of set theory without variables
από: Tarski, Alfred
Δημοσίευση: (1987)

An outline of set theory
από: Henle, James M.
Δημοσίευση: (1986)

Abstract sets and finite ordinals :
από: Keene, G. B. (Geoffrey Bourton)
Δημοσίευση: (1961)

Στοιχεία λογικής κ΄ συνόλων :
από: Σταυρουλάκης, Γ. Δ.
Δημοσίευση: (1960)

Μαθηματικαί ενότητες
από: Μαμούρης, Αθανάσιος Ι.
Δημοσίευση: (1972)

Sets, logic and categories
από: Cameron, Peter J. (Peter Jephson) 1947-
Δημοσίευση: (1999)

Infinity and the mind :
από: Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Δημοσίευση: (1995)

Το άπειρο και ο νους
από: Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Δημοσίευση: (2004)

Retracing elementary mathematics
Δημοσίευση: (1962)

Axiomatic analysis :
από: Katz, Robert, 1922-
Δημοσίευση: (1964)

Quantum logic
από: Mittelstaedt, Peter
Δημοσίευση: (1978)

Lattices to logic
από: Dubisch, Roy, 1917-
Δημοσίευση: (1964)

Introduction aux mathematiques modernes
από: Monjallon, Albert
Δημοσίευση: (1960)

Proofs and refutations :
από: Lakatos, Imre, 1922-1974
Δημοσίευση: (1987)

Proof in geometry
από: Fetisov, A. I.
Δημοσίευση: (1963)

Proof in geometry
από: Fetisov, A. I.
Δημοσίευση: (1978)

Foundations of mathematics :

Mistakes in geometric proofs
από: Dubnov, IA S. (IAkov Semenovich), 1887-1957
Δημοσίευση: (1963)

Proofs and fundamentals :
από: Bloch, Ethan D. 1956-
Δημοσίευση: (2000)

Cabal seminar 76-77 :
Δημοσίευση: (1978)

Cabal seminar 79-81 :
Δημοσίευση: (1983)

The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms od Set Theory
από: Gödel, Kurt
Δημοσίευση: (1993)

Logic
από: Hodges, Wilfrid
Δημοσίευση: (2001)

Proof theory of modal logic
Δημοσίευση: (1996)