SÁCH THẬT - TRI THỨC THẬT CÙNG BOOKMEDI.VN

[1825 days] Logic Colloquium '87

[1825 days] Logic Colloquium '87
[1825 days] Logic Colloquium '87
Mã sản phẩm:
9780444880222
Nhà xuất bản:
Loại bìa:
Page Fidelity
Ngôn ngữ:
English
Tác giả:
Ebbinghaus, H.-D.; Fernandez-Prida, J.; Garrido, M.; Lascar, D.; Rodriguez Artalejo, M.
Thuê hoặc mua eTextbook
1825 ngày
4.318.000 VND

Hết hạn vào: 2030-12-30

4.318.000 VND

Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.

The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.

Đang cập nhật
Liên kết:

Elsevier S & T

Sản phẩm cùng chủ đề

New
[30 days] Moderating Usability Tests: Principles and Practices for Interacting

Many aspects of usability testing have been thoroughly studied and documented. This isn’t true, howe..

366,000 VNĐ

New
[1825 days] Chemistry and Physics of Stratospheric Ozone

Chemistry and Physics of Stratospheric Ozone will provide an in-depth account of chemical and physic..

3,275,500 VNĐ

New
[1825 days] Meditations on First Philosophy

Descartes meditates on the nature and existence of God, the human soul, and the physical world...

38,000 VNĐ

New
[1825 days] Living and Dying in the USA: Behavioral, Health, and Social Differentials of Adult Mortality

The simplicity of using one data set in addressing the relationship of single variables to mortality..

2,285,000 VNĐ

New
[1825 days] ADVANCES IN AGRONOMY VOLUME 26

ADVANCES IN AGRONOMY VOLUME 26..

1,853,000 VNĐ

New
[1825 days] Magnetic Bearings and Bearingless Drives

The application of bearingless drives is emerging as an important technique in the areas of high-spe..

3,251,500 VNĐ

New
[1825 days] Progress in Nucleic Acid Research and Molecular Biology

FROM THE REVIEWS OF THE PREVIOUS VOLUMES:"In perusing these chapters, I found much of interest. It i..

1,853,000 VNĐ