Search
Feedback
About UniCat 
Help
News
| Listing 1 - 8 of 8 |
Sort by
|
Book
Year: 1980 Publisher: São Paulo : : Editora HUCITEC : Editora da Universidade de São Paulo, ,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 3030838366 3030838374 Year: 2022 Publisher: Cham, Switzerland : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical physics. --- Physical mathematics --- Physics --- Mathematics
Digital
ISBN: 9780080954981 0080954987 Year: 1977 Publisher: Amsterdam North-Holland Pub. Co
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 9780080955070 008095507X 0444854029 9780444854025 1282309145 9781282309142 9786612309144 6612309148 Year: 1980 Publisher: New York 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.
ISBN: 0720407524 9786613837783 128352533X 0080954987 9780080954981 9780720407525 Year: 1977 Volume: 89 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
Nonclassical mathematical logic --- Model theory --- Computable functions --- Fonctions calculables --- Congresses --- Congrès --- -Model theory --- -Nonclassical mathematical logic --- -Mathematical logic, Nonclassical --- Non-classical mathematical logic --- Logic, Symbolic and mathematical --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Congresses. --- -Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Mathematical logic, Nonclassical --- Logique mathématique --- Théorie des modèles --- Logique mathématique. --- Théorie des modèles. --- Logic, Symbolic and mathematical. --- Théorie des modèles --- Logique mathématique --- Nonclassical mathematical logic - Congresses --- Model theory - Congresses --- Computable functions - Congresses
ISBN: 1282309145 9786612309144 008095507X 9780080955070 0444854029 9780444854025 9780444854025 9781282309142 6612309148 Year: 1980 Volume: 99 Publisher: Amsterdam ; New York : 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
Book
Year: 1985 Publisher: Bogotá : Fondo Colombiano de Investigaciones Científicas y Proyectos Especiales Franciso José de Caldas,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 9783110870299 9783110132496 Year: 2012 Publisher: Berlin ;; Boston De Gruyter
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 8 of 8 |
Sort by
|