Logic, Computation and Set Theory [published as Logic,...

Main
Mathematics - Logic
Logic, Computation and Set Theory...

Logic, Computation and Set Theory [published as Logic, Induction and Sets]

Thomas Forster

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Категории:

Mathematics - Logic

Година:

2002

Издателство:

Cambridge University Press

Език:

english

Страници:

177

Файл:

PDF, 1.25 MB

IPFS:

,

english, 2002

Четете Онлайн

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

Paul Bernays, with a historical introduction by Abraham A. Fraenkel — Axiomatic Set Theory

Hirst H.P., Hirst J.L. — A primer for logic and proof

H.C. Doets — Zermelo Fraenkel Set Theory 001

Norman and Joeseph Landin Hamilton — Set Theory and the Structure of Arithmetic

Andersen R. — Set theory and the construction of numbers

Paul J. Cohen — Set Theory and the Continuum Hypothesis

Thomas Jech — Set Theory: The Third Millenium Edition, Revised and Expanded

Jon Williamson — Lectures on Inductive Logic

G T Kneebone — Mathematical logic and the foundations of mathematics

P. T. Johnstone — Notes on Logic and Set Theory

Moshe Machover — Set theory, logic, and their limitations

N. L. Carothers — Real analysis

Thomas Forster — Logic, Induction and Sets

Andras Hajnal, Peter Hamburger, Attila Mate — Set Theory

George Tourlakis — Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

George Tourlakis — Lectures in Logic and Set Theory. Volume 2: Set Theory

Susan Loepp, William K. Wootters — Protecting Information: From Classical Error Correction to Quantum Cryptography

Benjamin Schumacher, Michael Westmoreland — Quantum Processes Systems, and Information

William F. Osgood — Introduction To Infinite Series (1897)

Robert L. Causey — Logic, sets, and recursion

John P. Burgess — Set Theory

Arnold W. Miller — Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way

Thomas Forster — Reasoning about Theoretical Entities

Forster, T — Logic, Computation and Set Theory

Най-често използвани термини