Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 4 of 4 |
Sort by
|
Handbook of recursive mathematics
Loading...
Author: Ershov, Yu L.
ISBN: 044450107X Year: 1998 Publisher: Amsterdam ; Lausanne ; New York Elsevier
ISBN: 044450107X Year: 1998 Publisher: Amsterdam ; Lausanne ; New York Elsevier
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Recursive model theory
Loading...
Author: Ershov, Yu L.
ISBN: 0444500030 Year: 1998 Publisher: Amsterdam ; Lausanne ; New York Elsevier
ISBN: 0444500030 Year: 1998 Publisher: Amsterdam ; Lausanne ; New York Elsevier
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Book
Mathematical logic
Loading...
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Digital
Algebra : Proceedings of the Third International Conference on Algebra held in Krasnoyarsk, August 23-28, 1993
Loading...
Authors:
Antonov, Vladimir A.
---
Apanasov, Boris
---
Badaev, Serikzhan A.
---
Belyaev, Vissarion V.
---
Bulatov, Andreĭ A.
---
et al.
ISBN: 9783110813418 9783110144130 Year: 2017 Publisher: Berlin ;; Boston De Gruyter
ISBN: 9783110813418 9783110144130 Year: 2017 Publisher: Berlin ;; Boston De Gruyter
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
| Listing 1 - 4 of 4 |
Sort by
|