Büchi's Monadic second order successor arithmetic
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Berlín
Springer-Verlag
1970
|
| Loạt: | Lecture Notes in Mathematics, 120. Decidable theories, 1
|
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Biblioteca de Matemática -
| Số hiệu: |
511.322 SIE 1970 |
|---|---|
| Sao chép 1479423 | Sẵn có Đặt Giữ |