Introduction to Model Theory and to the Metamathematics of...

Main
Mathematics - Logic
Introduction to Model Theory and to the...

Introduction to Model Theory and to the Metamathematics of Algebra

Abraham Robinson

0 / 0

Насколько вам понравилась эта книга?

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

Скачайте книгу, чтобы оценить ее качество

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

Категории:

Mathematics - Logic

Год:

1963

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

North-Holland Publishing Company

Язык:

english

Страницы:

288

Серия:

Studies in Logic and the Foundations of Mathematics 32

Файл:

PDF, 4.02 MB

IPFS:

,

english, 1963

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

Abraham Robinson — Introduction to Model Theory and to the Metamathematics of Algebra

Robinson, A — Non-Standard Analysis

Liberman Anatoly — Take My Word for It - A Dictionary of English Idioms

Peter B. Andrews — An Introduction to Mathematical Logic and Type Theory. To Truth Through Proof

Abraham Robinson — Introduction to Model Theory and to the Metamathematics of Algebra

Abraham Robinson — Non-Standard Analysis

Abraham Robinson — Complete theories

Hao Wang — A Survey of Mathematical Logic

by Roger C. Lyndon. — Notes on logic

Mueller Anderson, J. , Johnstone, H. — Natural Deduction, The Logical Basis of Axiom Systems

unknown — Handbook of Philosophical Logic

Abraham Robinson — Non-standard analysis

Hao Wang — A survey of mathematical logic

Robinson A. — Selected works (algebraic numbers, Dedekind, ...)

Wang H. — A survey of mathematical logic

— Introduction to model theory and to the metamathematics of algebra

Bawise J. (ed.) — The Syntax and Semantics of Infinitary Languages

Abraham Robinson — Introduction to model theory and to the metamathematics of algebra

Hao Wang — A Survey of Mathematical Logic

Abraham Robinson — Non-standard analysis

Peter B. Andrews — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Enderton H.B. — A mathematical introduction to logic

H.J.Keisler, S.Körner, W.A.J.Luxemburg, A.D.Young (eds) — Abraham Robinson: Selected papers. Volume 1. Model Theory and Algebra

H.J.Keisler, S.Körner, W.A.J.Luxemburg, A.D.Young (eds) — Abraham Robinson: Selected papers. Volume 2. Nonstandard Analysis and Philosophy

Geoffrey Hunter — Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Abraham Robinson — On the Metamathematics of Algebra

Abraham Robinson — Complete Theories

Hao Wang — A Survey of Mathematical Logic.

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

Lou Goble — The Blackwell Guide to Philosophical Logic (Blackwell Philosophy Guides)

Abraham Robinson — Non-standard analysis

R. E. Davis — Truth, deduction, and computation: logic and semantics for computer science

Abraham Robinson — Complete theories

Abraham Robinson — Complete theories

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

Anatolii Ivanovic Mal'cev, transl. by Benjamin Franklin Wells, III — The metamathematics of algebraic systems: Collected papers 1936-1967

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

Ключевые слова