Search
Feedback
About UniCat 
Help
News
| Listing 1 - 6 of 6 |
Sort by
|
ISBN: 0444861785 9780444861788 9780080871622 0080871623 0444533869 128198485X 9786611984854 9786613839046 0080957412 128352659X 9780444533869 Year: 1981 Volume: 51 78 Publisher: Amsterdam ; New York : North-Holland Pub. Co. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Axiomatic Set Theory
Book
ISBN: 128352581X 9786613838261 0080954952 9780080954950 9780720404708 0720404703 Year: 1976 Volume: v. 86 Publisher: Amsterdam : New York : North-Holland Pub. Co. ; Distributor, Elsevier/North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection
Set theory. --- Descriptive set theory. --- Set theory --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics --- Descriptive set theory --- Théorie des ensembles. --- Théorie des ensembles --- Théorie descriptive des ensembles --- ELSEVIER-B EPUB-LIV-FT
ISBN: 0720422841 9780080954943 0080954944 1283525453 9781283525459 9786613837905 6613837903 9780720422849 0720422000 9780720422009 Year: 1976 Volume: v. 84 Publisher: Amsterdam : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier/North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection
Mathematical logic --- Bernays, P. --- Bernays, Paul, --- Bernays, Paul --- Axiomatic set theory --- Théorie axiomatique des ensembles --- ELSEVIER-B EPUB-LIV-FT --- Axiomatic set theory. --- #WWIS:ALTO --- 510.22 --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Axioms --- Logic, Symbolic and mathematical --- Set theory --- Théorie des ensembles --- Bernays, Paul, - 1888-1977
ISBN: 0720422701 9780720422702 0444533885 9786613838971 0080957439 1283526522 9780444533883 Year: 1973 Volume: 23 Publisher: Amsterdam: North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection
Mathematical logic --- Mathematics --- Set theory. --- Philosophy. --- Set theory --- #WWIS:ALTO --- 510.22 --- Logic of mathematics --- Mathematics, Logic of --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Philosophy --- Théorie des ensembles. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Mathematics -- Philosophy. --- Théorie des ensembles --- Mathématiques --- Philosophie --- EPUB-LIV-FT ELSEVIER-B
ISBN: 0720422728 9780080954837 0080954839 9780080955025 0080955029 9780080954868 0080954863 1283525607 9781283525602 9786613838056 6613838055 9780080955087 0080955088 9780080570587 0080570585 9780444104779 0444104771 0720422000 9780720422726 9780720422009 9780444105356 0444105352 0720422795 9780720422795 9780444854018 0444854010 0444868399 9780444868398 0444851631 9780444851635 9786613837998 1283525542 9786613837868 1283525410 Year: 1978 Volume: v. 94 Publisher: Amsterdam : North-Holland Pub. Co.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection
Mathematical logic --- Algebraic logic --- Logique algébrique --- Algebra, Boolean --- Boole, Algèbre de --- Cylindric algebras --- Algèbres cylindriques. --- Set theory. --- Cardinal numbers. --- Arithmetic, Cardinal --- Cardinal arithmetic --- Cardinals (Numbers) --- Numbers, Cardinal --- Set theory --- Transfinite numbers --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics --- 510.22 --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- 510.64 --- 510.64 Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- Recursion theory --- 510.6 --- 510.6 Mathematical logic --- Congresses --- Axiomatic set theory --- Axioms --- Congresses. --- Proof theory --- Logique algébrique --- Théorie de la preuve --- ELSEVIER-B EPUB-LIV-FT --- Cardinal numbers --- Théorie des ensembles --- Nombres cardinaux --- Théorie de la récursivité --- Congrès --- Théorie axiomatique des ensembles --- Axiomatic set theory. --- Logique mathématique. --- Récursivité, Théorie de la. --- Recursion theory - Congresses --- Numbers, cardinals --- Théorie des ensembles --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Recursion theory - Congresses. --- Recursion theory -- Congresses. --- Physical Sciences & Mathematics --- Mathematical Theory --- Algebraic logic. --- Proof theory.
ISBN: 0720422760 9780080954899 0080954898 1283525739 9781283525732 9786613838186 6613838187 044410545X 9780444105455 0720422000 9780720422764 0444104925 0720422779 0444105379 0720422809 9786613838179 1283525720 0080954871 9780720422771 9780720422801 9780720422009 0720422795 0720422825 0720422817 0720422833 9780720422832 0444106790 9780444106797 9780720422818 Year: 1975 Volume: v. 81 Publisher: [Place of publication not identified] Elsevier
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection
Mathematical logic --- Recursion theory --- Théorie de la récursivité --- Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Congresses. --- Recursive Functions --- Logic, Symbolic and mathematical --- Proof theory. --- Mathematics --- Abstract structures --- Inductive definability. --- 510.6 --- 510.67 --- Logique mathématique --- Récursivité, Théorie de la --- Mathématiques --- 510.67 Theory of models --- Theory of models --- 510.6 Mathematical logic --- Logique mathématique. --- Récursivité, Théorie de la. --- Induction (mathématiques) --- Logic, Symbolic and mathematical. --- Recursion theory. --- Induction (Logic) --- Recursive functions. --- Induction (Mathematics) --- Proof theory --- Théorie de la preuve --- Recursive functions --- Fonctions récursives --- Induction (Mathématiques) --- Mathematical induction --- Functions, Recursive --- Algorithms --- Arithmetic --- Number theory --- Decidability (Mathematical logic) --- Foundations --- 510.22 --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Logique mathematique --- Theorie de la preuve --- Théorie des modèles --- Set theory --- Théorie des ensembles --- Cardinal numbers. --- Nombres cardinaux --- Logique mathématique --- Philosophy --- Philosophy & Religion --- Logic
| Listing 1 - 6 of 6 |
Sort by
|