ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Algebraic Methods of Mathematical Logic
Latest Publications
TOTAL DOCUMENTS
14
(FIVE YEARS 0)
H-INDEX
0
(FIVE YEARS 0)
Published By Elsevier
9781483231235
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
FOUNDATIONS OF THE ALGEBRAIC THEORY OF LOGICAL SYNTAX
Algebraic Methods of Mathematical Logic
◽
10.1016/b978-1-4832-3123-5.50011-2
◽
1967
◽
pp. 123-180
Keyword(s):
Algebraic Theory
◽
Logical Syntax
Download Full-text
RECURSIVE CONSTRUCTION OF THE RELATION OF CONSEQUENCE
Algebraic Methods of Mathematical Logic
◽
10.1016/b978-1-4832-3123-5.50007-0
◽
1967
◽
pp. 38-69
Keyword(s):
Recursive Construction
Download Full-text
Front Matter
Algebraic Methods of Mathematical Logic
◽
10.1016/b978-1-4832-3123-5.50002-1
◽
1967
◽
pp. 3
Download Full-text
Inside Front Cover
Algebraic Methods of Mathematical Logic
◽
10.1016/b978-1-4832-3123-5.50001-x
◽
1967
◽
pp. 2
Keyword(s):
Front Cover
Download Full-text
ALGEBRAIC LAWS OF SEMANTICS OF FIRST-ORDER PREDICATE LOGIC
Algebraic Methods of Mathematical Logic
◽
10.1016/b978-1-4832-3123-5.50012-4
◽
1967
◽
pp. 181-199
Keyword(s):
Predicate Logic
◽
First Order
◽
Algebraic Laws
◽
First Order Predicate Logic
Download Full-text
Copyright
Algebraic Methods of Mathematical Logic
◽
10.1016/b978-1-4832-3123-5.50003-3
◽
1967
◽
pp. 4
Download Full-text
THE ALGEBRAIC THEORY OF ELEMENTARY PREDICATE LOGIC
Algebraic Methods of Mathematical Logic
◽
10.1016/b978-1-4832-3123-5.50010-0
◽
1967
◽
pp. 101-122
Keyword(s):
Predicate Logic
◽
Algebraic Theory
Download Full-text
INTUITIVE AND MATHEMATICAL NOTIONS OF AN IDEALIZED AXIOMATIC MATHEMATICAL THEORY
Algebraic Methods of Mathematical Logic
◽
10.1016/b978-1-4832-3123-5.50009-4
◽
1967
◽
pp. 83-100
Keyword(s):
Mathematical Theory
Download Full-text
Preface
Algebraic Methods of Mathematical Logic
◽
10.1016/b978-1-4832-3123-5.50004-5
◽
1967
◽
pp. 5-6
Author(s):
M. Katětov
Download Full-text
Index
Algebraic Methods of Mathematical Logic
◽
10.1016/b978-1-4832-3123-5.50014-8
◽
1967
◽
pp. 207-210
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close