Algebraic and structural automata theory / edited by Boleslaw Mikolajczak.
Contributor(s): Mikoljczak, Boleslw [ed.].
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
![]() |
Matheson Library | Matheson Library | Main Collection | Main Collection | 511.3 A394 (Browse shelf) | Available | 081594 |
Browsing Matheson Library Shelves , Shelving location: Main Collection , Collection code: Main Collection Close shelf browser
No cover image available | No cover image available |
![]() |
![]() |
![]() |
![]() |
No cover image available | ||
511.22 S697 The method of mathematical induction / | 511.3 A197t Theory of mathematical structures | 511.3 A199 Logic of mathematics : | 511.3 A394 Algebraic and structural automata theory / | 511.3 A568i An introduction to mathematical logic and type theory : | 511.3 B248L 1984 The lambda calculus: | 511.3 B433c A course in mathematical logic |
Translation of: Algebraiczna i strukturalna teoria automatow.
There are no comments for this item.