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

A course in mathematical logic

Main
Computers - Computer Science
A course in mathematical logic

A course in mathematical logic

Bell J.L., Machover M.

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?

A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.

Thể loại:

Computers - Computer Science

Năm:

1977

Nhà xuát bản:

NH

Ngôn ngữ:

english

Trang:

617

ISBN 10:

0720428440

ISBN 13:

9780720428445

File:

DJVU, 4.95 MB

IPFS:

,

english, 1977

Đọ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

John Bell, Moshe Machover — A Course in Mathematical Logic

Manzano, María — Model theory

Moshé Machover — Set Theory, Logic and Their Limitations

Wolfram Pohlers (author), Thomas Glaß (editor) — An introduction to mathematical logic

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

Joel W. Robbin — Mathematical Logic: A First Course

Joseph R. Shoenfield — Mathematical Logic

Various authors — A Friendly Introduction to Mathematical Logic

David Aspinall (auth.), Leszek Pacholski, Jerzy Tiuryn (eds.) — Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Shoenfield J.R. — Mathematical logic

J N Crossley, M A E Dummett — Formal Systems and Recursive Functions

Micha l. Walicki — Introduction to Logic

John N. Crossley, Michael Dummett (editors) — Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

Davis, Martin;Sigal, Ron;Weyuker, Elaine J — Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science

Enderton H.B. — A mathematical introduction to logic

Ann Yasuhara — Recursive function theory and logic

Kaye R. — Models of Peano arithmetic

Maria Manzano, Ruy J. G. B. de Queiroz — Model Theory

S. Krajewski, S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.) — Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk

John N. Crossley, Michael Dummett (editors) — Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

C.T. Chong, M.J. Wicks — Southeast Asian Conference on Logic: Proceedings Singapore, 1981

G. Lolli, G. Longo, A. Marcja — Logic Colloquium '82: Proceedings Florence, 1982

Robert R. Stoll — Set Theory and Logic

Moshe Machover — Set theory, logic, and their limitations

Moshe Machover — Set Theory, Logic and their Limitations

J.W. Addison, Leon Henkin, Alfred Tarski (eds.) — The Theory of Models. Proceedings of the 1963 International Symposium at Berkeley

John Bell, Moshe Machover — A course in mathematical logic

Daniel E. Cohen — Computability and Logic

Kaye R. — Models of Peano Arithmetic

Wolfgang Rautenberg [Rautenberg, Wolfgang] — A Concise Introduction to Mathematical Logic

Joseph R. Shoenfield — Mathematical Logic

Peter G. Hinman — Fundamentals of Mathematical Logic

Christopher C. Leary, Lars Kristiansen — A Friendly Introduction to Mathematical Logic

Christopher C. Leary, Lars Kristiansen — A Friendly Introduction to Mathematical Logic

Daniel Cunningham — Mathematical Logic: An Introduction

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