Mathematical logic and computability / [disket]
41
Main Authors: | 404540 Keisler, H. Jerome, Robbin Joel |
---|---|
Format: | |
Published: |
New York : McGraw-Hill,
1996
|
Subjects: |
Similar Items
-
Mathematical logic and computability /
by: 404540 Keisler, H. Jerome, et al.
Published: (1996) -
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
by: 404540 Keisler, H. Jerome
Published: (1971) -
Mathematical logic : a first course /
by: 323771 Robbin, Joel W.
Published: (1969) -
Mathematical logic for computer science /
by: 288973 Ben-Ari, Mordechai
Published: (2003) -
Logic for mathematics and computer science /
by: 392348 Burris, Stanley N.
Published: (1998)