Languages with expressions of infinite length
Wedi'i Gadw mewn:
| Prif Awdur: | Karp, Carol R (Awdur) |
|---|---|
| Fformat: | Llyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Amsterdam
North-Holland
1964
|
| Cyfres: | Studies in logic and the foundations of mathematics
|
| Pynciau: | |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Eitemau Tebyg
Matemática discreta
gan: García Gómez, Carlos, et al.
Cyhoeddwyd: (2002)
gan: García Gómez, Carlos, et al.
Cyhoeddwyd: (2002)
Teoría y problemas de teoría de conjuntos y temas afines
gan: Lipschutz, Seymour
Cyhoeddwyd: (1969)
gan: Lipschutz, Seymour
Cyhoeddwyd: (1969)
La structure algébrique des théories mathématiques
gan: Henkin, Leon
Cyhoeddwyd: (1956)
gan: Henkin, Leon
Cyhoeddwyd: (1956)
Simplified independence proofs: boolean valued models of set theory
gan: Rosser, J. Barkley
Cyhoeddwyd: (1969)
gan: Rosser, J. Barkley
Cyhoeddwyd: (1969)
Teoría y problemas de teoría de conjuntos y temas afines.
gan: Lipschutz, Seymour
Cyhoeddwyd: (1969)
gan: Lipschutz, Seymour
Cyhoeddwyd: (1969)
Matemáticas discretas con aplicación a las ciencias de la computación
gan: Tremblay, Jean-Paul, et al.
Cyhoeddwyd: (1996)
gan: Tremblay, Jean-Paul, et al.
Cyhoeddwyd: (1996)
Matemáticas discretas
gan: Johnsonbaugh, Richard
Cyhoeddwyd: (1999)
gan: Johnsonbaugh, Richard
Cyhoeddwyd: (1999)
Boolean algebras
gan: Sikorski, Roman
Cyhoeddwyd: (1969)
gan: Sikorski, Roman
Cyhoeddwyd: (1969)
Lectures on boolean algebras
gan: Halmos, Paul Richard
Cyhoeddwyd: (1974)
gan: Halmos, Paul Richard
Cyhoeddwyd: (1974)
Matemáticas discretas: con teoría de gráficas y combinatoria
gan: Veerarajan, T
Cyhoeddwyd: (2008)
gan: Veerarajan, T
Cyhoeddwyd: (2008)
Probability algebras and stochastic spaces
gan: Kappos, Demetrios Andreou
Cyhoeddwyd: (1969)
gan: Kappos, Demetrios Andreou
Cyhoeddwyd: (1969)
Set theory and logic
gan: Fraenkel, Abraham Adolf
Cyhoeddwyd: (1966)
gan: Fraenkel, Abraham Adolf
Cyhoeddwyd: (1966)
Borel equivalence relations: structure and classification
gan: Kanovei, Vladimir
Cyhoeddwyd: (2008)
gan: Kanovei, Vladimir
Cyhoeddwyd: (2008)
El desarrollo de la lógica matématica
gan: Nidditch, P. H.
Cyhoeddwyd: (1983)
gan: Nidditch, P. H.
Cyhoeddwyd: (1983)
Set theory and logic
gan: Stoll, Robert R
Cyhoeddwyd: (1963)
gan: Stoll, Robert R
Cyhoeddwyd: (1963)
Elementary theory of sets
gan: Dinkines, Flora
Cyhoeddwyd: (1964)
gan: Dinkines, Flora
Cyhoeddwyd: (1964)
Introducción al simbolismo lógico
gan: Bosch, Jorge E
Cyhoeddwyd: (1981)
gan: Bosch, Jorge E
Cyhoeddwyd: (1981)
Foundations of set theory
gan: Fraenkel, Abraham A, et al.
Cyhoeddwyd: (1958)
gan: Fraenkel, Abraham A, et al.
Cyhoeddwyd: (1958)
Logic, computers, and sets
gan: Wang, Hao
Cyhoeddwyd: (1970)
gan: Wang, Hao
Cyhoeddwyd: (1970)
Continuous model theory
gan: Chen, Chung Chang, et al.
Cyhoeddwyd: (1966)
gan: Chen, Chung Chang, et al.
Cyhoeddwyd: (1966)
Set theory: with an introduction to descriptive set theory
gan: Kuratowski, Kazimierz
Cyhoeddwyd: (1976)
gan: Kuratowski, Kazimierz
Cyhoeddwyd: (1976)
Studies in foundations and combinatorics
gan: Rota, Gian-Carlo
Cyhoeddwyd: (1978)
gan: Rota, Gian-Carlo
Cyhoeddwyd: (1978)
Introduction to logic
gan: Suppes, Patrick
Cyhoeddwyd: (1957)
gan: Suppes, Patrick
Cyhoeddwyd: (1957)
Eléments de Mathématique: théorie des ensembles
gan: Bourbaki, Nicolás
Cyhoeddwyd: (1970)
gan: Bourbaki, Nicolás
Cyhoeddwyd: (1970)
Boolean algebra: a self-instructional programed manual
Cyhoeddwyd: (1966)
Cyhoeddwyd: (1966)
Lecciones de algebra moderna
gan: Dubreil, P, et al.
Cyhoeddwyd: (1971)
gan: Dubreil, P, et al.
Cyhoeddwyd: (1971)
Matemática elemental moderna: estructura y método
gan: Trejo, César A
Cyhoeddwyd: (1969)
gan: Trejo, César A
Cyhoeddwyd: (1969)
Matemática elemental moderna: estructura y método
gan: Trejo, César A
Cyhoeddwyd: (1977)
gan: Trejo, César A
Cyhoeddwyd: (1977)
The grammar of mathematics
gan: Durst, Lincoln K
Cyhoeddwyd: (1969)
gan: Durst, Lincoln K
Cyhoeddwyd: (1969)
Introduction to mathematical logic
gan: Mendelson, Elliott
Cyhoeddwyd: (1997)
gan: Mendelson, Elliott
Cyhoeddwyd: (1997)
Lecons de logique formelle
gan: Dopp, Joseph
Cyhoeddwyd: (1950)
gan: Dopp, Joseph
Cyhoeddwyd: (1950)
Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes
Cyhoeddwyd: (1970)
Cyhoeddwyd: (1970)
Algebra moderna
gan: Birkhoff, Garrett, et al.
Cyhoeddwyd: (1954)
gan: Birkhoff, Garrett, et al.
Cyhoeddwyd: (1954)
Basic mathematics
gan: Lang, Serge
Cyhoeddwyd: (1971)
gan: Lang, Serge
Cyhoeddwyd: (1971)
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
gan: Gödel, Kurt Friedrich
Cyhoeddwyd: (1940)
gan: Gödel, Kurt Friedrich
Cyhoeddwyd: (1940)
Introduction to axiomatic set theory
gan: Takeuti, Gaisi, et al.
Cyhoeddwyd: (1971)
gan: Takeuti, Gaisi, et al.
Cyhoeddwyd: (1971)
Eitemau Tebyg
-
Matemática discreta
gan: García Gómez, Carlos, et al.
Cyhoeddwyd: (2002) -
Teoría y problemas de teoría de conjuntos y temas afines
gan: Lipschutz, Seymour
Cyhoeddwyd: (1969) -
La structure algébrique des théories mathématiques
gan: Henkin, Leon
Cyhoeddwyd: (1956) -
Simplified independence proofs: boolean valued models of set theory
gan: Rosser, J. Barkley
Cyhoeddwyd: (1969) -
Teoría y problemas de teoría de conjuntos y temas afines.
gan: Lipschutz, Seymour
Cyhoeddwyd: (1969)