Logic, sets, and recursion
Κύριος συγγραφέας: | Causey, Robert L. (Συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Sudbury, Massachusetts
Jones and Bartlett Publishers
2001
|
Έκδοση: | αναθ. έκδ. |
Σειρά: | Jones and Bartlett books in mathematics
|
Θέματα: |
Παρόμοια τεκμήρια
-
A formalization of set theory without variables
ανά: Tarski, Alfred
Έκδοση: (1987) -
Introduction to Logic and to the methology of deductive sciences
ανά: Tarski, Alfred
Έκδοση: (1965) -
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
ανά: Gödel, Kurt
Έκδοση: (1940) -
Logic for physicists /
ανά: Pereyra, Nicolas A.
Έκδοση: (2018) -
Proofs and refutations the logic of mathematical discovery
ανά: Lakatos, Imre
Έκδοση: (1981)