Computability and logic od Boolos, George

Table of contents only

Symbolic-numeric computation od Wang, Dongming

Table of contents only

Introduction to languages and the theory of computation od Martin, John C.

Introduction to languages and the theory of computation od Martin, John C.

Computability and logic od Boolos, George

Introduction to languages and the theory of computation od Martin, John C.

Publisher description
Table of contents

Introduction to languages and the theory of computation od Martin, John C.

Introduction to languages and the theory of computation. od Martin, John C.

Mathematical logic and computability od Keisler, H. Jerome

Mathematical logic and computability od Kiesler, H. Jerome