Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 23 | << page >> |
Sort by
|
Book
ISBN: 0444106790 0720422833 9780444106797 9780720422832 Year: 1975 Volume: 82 Publisher: [Place of publication not identified] Elsevier
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Philosophy --- Philosophy & Religion --- Logic --- 510.6 --- Logique mathématique --- 510.6 Mathematical logic --- Mathematical logic
ISBN: 9780080960395 0080960391 1282755498 9781282755499 9786612755491 6612755490 0444876561 9780444876560 Year: 1986 Publisher: Amsterdam North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Methodology and Philosophy of Science VII
Science --- Mathematical logic --- Logic, Symbolic and mathematical --- Philosophy --- Methodology --- Logique mathématique --- Philosophie des sciences
Book
ISBN: 0720422574 9780720422573 9786613837974 0080954731 1283525526 Year: 1970 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 --- Logique mathématique --- Intuitionnisme --- Logic, Symbolic and mathematical --- Intuition --- Logique mathématique. --- Logique symbolique et mathématique --- Congresses --- Congrès --- EPUB-LIV-FT ELSEVIER-B --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- 510.24 --- 510.24 Intuitionism--(mathematical aspects) --- Intuitionism--(mathematical aspects) --- Logique mathematique --- Theorie de la preuve --- Intuitionistic mathematics
ISBN: 128352564X 9786613838094 0080955045 9780080955049 9780444851789 044485178X 6613838098 Year: 1978 Volume: 96 Publisher: Amsterdam New York 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
Logic, Symbolic and mathematical --- 510.6 --- 510.6 Mathematical logic --- Mathematical logic --- Logique symbolique et mathématique --- Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Logique mathématique
ISBN: 1282309145 9786612309144 008095507X 9780080955070 0444854029 9780444854025 9780444854025 9781282309142 6612309148 Year: 1980 Volume: 99 Publisher: Amsterdam New York 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
Logic, Symbolic and mathematical --- Mathematics --- Math --- Science --- Logique symbolique et mathématique --- Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Congresses. --- Logique mathématique --- Logic, Symbolic and mathematical - Congresses
ISBN: 9780444864659 0444864652 9780080960340 0080960340 1299773567 Year: 1982 Volume: 108 Publisher: Amsterdam New York New York, N.Y. North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic Colloquium '80
Mathematical logic --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logique mathématique
Book
ISBN: 072042061X 9780720420616 9780080871134 0080871135 9780444101280 0444101284 1281777641 9781281777645 9786611777647 6611777644 Year: 1971 Volume: 2 Publisher: Amsterdam London North-Holland Pub. Co.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Degrees of unsolvability
Mathematical logic --- Récursivité, Théorie de la --- Logique mathématique. --- Logic, Symbolic and mathematical --- Recursion theory --- Recursive functions. --- Logic, Symbolic and mathematical. --- Récursivité, Théorie de la --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Functions, Recursive --- Algorithms --- Arithmetic --- Number theory --- Decidability (Mathematical logic) --- Foundations --- Logique mathematique --- Calculabilite
Book
ISBN: 044470356X 9780444703569 9780080867755 0080867758 1281793132 9781281793133 9786611793135 6611793135 Year: 1988 Volume: 35 Publisher: Amsterdam New York New York, N.Y., U.S.A. North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This volume presents four machine-independent theories of computational complexity, which have been chosen for their intrinsic importance and practical relevance. The book includes a wealth of results - classical, recent, and others which have not been published before.In developing the mathematics underlying the size, dynamic and structural complexity measures, various connections with mathematical logic, constructive topology, probability and programming theories are established. The facts are presented in detail. Extensive examples are provided, to help clarify notions and construct
Discrete mathematics --- Informatique --- Computer science --- Computational complexity. --- Algebra. --- Computational Complexity --- Mathematics --- Mathematical analysis --- Complexity, Computational --- Electronic data processing --- Machine theory --- Computer science. --- Logique mathématique --- Récursivité, Théorie de la --- Logique mathematique --- Algorithmique --- Fonctions recursives --- Complexite
Book
ISBN: 0720406919 9786612309076 1282309072 0080954960 9780720406917 Year: 1977 Volume: 87 Publisher: Amsterdam : New York : North-Holland Pub. Co. ; sole distributors for U.S.A., Elsevier North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection
Logic, Symbolic and mathematical --- 510.6 --- #WWIS:ALTO --- 510.6 Mathematical logic --- Mathematical logic --- Logique mathématique --- Proof theory --- Théorie de la démonstration --- Computational complexity --- Complexité de calcul (informatique) --- Logique mathématique. --- Théorie de la démonstration. --- Mathematics --- Logic, Symbolic and mathematical. --- Proof theory. --- Théorie de la démonstration --- Computational complexity. --- Logique mathématique --- Théorie des modèles --- Théorie des ensembles --- Récursivité, Théorie de la --- Math --- Science
Book
ISBN: 9780444853455 0444853456 Year: 1980 Volume: v. 101 Publisher: Amsterdam New York 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)
Mathematics --- Recursion theory --- Intuitionistic mathematics --- Kleene, Stephen Cole, --- Logique mathématique --- Logique mathématique. --- Intuitionnisme --- Logic, Symbolic and mathematical --- Intuition --- Récursivité, Théorie de la. --- Kleene, Stephen Cole --- 510.6 --- 510.6 Mathematical logic --- Mathematical logic --- Constructive mathematics --- Kleene, S. C. --- Physical Sciences & Mathematics --- Mathematical Theory --- Théorie de la récursivité --- Mathématiques intuitionnistes --- Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Recursion theory - Congresses --- Intuitionistic mathematics - Congresses --- Kleene, Stephen Cole, - 1909-1994
| Listing 1 - 10 of 23 | << page >> |
Sort by
|