Introduction to Model Theory and to the Metamathematics of Algebra - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Elsevier

9780444533975

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chapter II Algebraic Theories

Introduction to Model Theory and to the Metamathematics of Algebra - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70403-8 ◽

1963 ◽

pp. 23-50

Keyword(s):

Algebraic Theories

Chapter II Some Concepts and Methods of Model Theory

Introduction to Model Theory and to the Metamathematics of Algebra - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70404-x ◽

1963 ◽

pp. 51-87

Keyword(s):

Model Theory

Chapter V Definability

Introduction to Model Theory and to the Metamathematics of Algebra - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70406-3 ◽

1963 ◽

pp. 112-138

Chapter IX Selected Topics

Introduction to Model Theory and to the Metamathematics of Algebra - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70410-5 ◽

1963 ◽

pp. 226-271

Index of Authors

Introduction to Model Theory and to the Metamathematics of Algebra - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70412-9 ◽

1963 ◽

pp. 281-282

Chapter I The Lower Predicate Calculus

Introduction to Model Theory and to the Metamathematics of Algebra - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70402-6 ◽

1963 ◽

pp. 1-22

Keyword(s):

Predicate Calculus

Chapter VI Generalization of Algebraic Concepts

Introduction to Model Theory and to the Metamathematics of Algebra - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70407-5 ◽

1963 ◽

pp. 139-171

Keyword(s):

Algebraic Concepts

Chapter VIII Metamathematical Theory of Varieties

Introduction to Model Theory and to the Metamathematics of Algebra - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70409-9 ◽

1963 ◽

pp. 192-225

Dedication

Introduction to Model Theory and to the Metamathematics of Algebra - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70400-2 ◽

1963 ◽

pp. iv

Chapter IV Completeness

Introduction to Model Theory and to the Metamathematics of Algebra - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70405-1 ◽

1963 ◽

pp. 88-111