Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Computability And Logic

Main
Mathematics
Computability And Logic

Computability And Logic

Boolos, Burgess, Jeffrey

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Năm:

2002

Nhà xuát bản:

CUP

Ngôn ngữ:

english

Trang:

368

ISBN 10:

3540302735

ISBN 13:

9783540302735

File:

PDF, 22.55 MB

IPFS:

,

english, 2002

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Erich H. Reck, Georg Schiemer — The Prehistory of Mathematical Structuralism

Averroes; Richard C. Taylor (tr.) — Long Commentary on the De Anima of Aristotle

— Computability and Logic Boolos

George S. Boolos, John P. Burgess, Richard C. Jeffrey, — Computability and Logic, 4th edition

George S. Boolos, John P. Burgess, Richard C. Jeffrey — Computability and Logic

George S. Boolos — Computability and Logic

V. A. Uspensky — Gödel's Incompleteness Theorem (Little Mathematics Library)

The Open Logic Project (anonymous collaboration) — Open Logic Text

R. O. Gadny and C. E. M. Yates — Collected Works of Alan M. Turing, Volume 4: Mathematical Logic

Enderton H.B. — A mathematical introduction to logic

Neil D. Jones and Robert L. Ashenhurst (Auth.) — Computability Theory. An Introduction

Ann Yasuhara — Recursive function theory and logic

Raymond M. Smullyan — Gödel's Incompleteness Theorems

Yu. I. Manin — A Course in Mathematical Logic

R.O. Gandy, C.E.M. Yates (eds.) — Collected works of A. M. Turing. Volume 4: Mathematical Logic

Th. Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin and J. ЕЃoЕ› (Eds.) — Mathematical Interpretation of Formal Systems

Mostowski A. — Foundational Studies: Selected works

Mostowski A. — Foundational Studies: Selected Works

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams — What is mathematical logic?

Martin Davis — The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

Martin Davis — Computability and unsolvability

Jeffrey R. C., Burgess J. — Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey — Computability and logic

George Boolos, Richard C. Jeffrey — Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey — Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey — Computability and Logic, 5th Edition

Robert L. Rogers (Auth.) — Mathematical Logic and Formalized Theories. A Survey of Basic Concepts and Results

Skolem T., Hasenjaeger G., Kreisel G., Robinson A., et al. — Mathematical interpretation of formal systems

Daniel E. Cohen — Computability and Logic

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Dekker J. (ed.) — Recursive Function Theory

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

Elliott Mendelson (auth.) — Introduction to Mathematical Logic

Neil D. Jones — Computability Theory: An Introduction

Serafim Batzoglou — Introduction to Incompleteness

Richard E. Grandy (auth.) — Advanced Logic for Applications

Từ khóa thường sử dụng nhất