Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Elsevier

9780444534149

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Strukturzahlen in Endlichen Relationssystemen

Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 - Studies in Logic and the Foundations of Mathematics ◽

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

1968 ◽

pp. 199-213 ◽

Cited By ~ 3

Author(s):

W. Oberschelp

Download Full-text

Copyright page

Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 - Studies in Logic and the Foundations of Mathematics ◽

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

1968 ◽

pp. iv

Download Full-text

Edited by

Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 - Studies in Logic and the Foundations of Mathematics ◽

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

1968 ◽

pp. iii

Download Full-text

Equational Maps

Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 - Studies in Logic and the Foundations of Mathematics ◽

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

1968 ◽

pp. 121-161 ◽

Cited By ~ 3

Author(s):

W. Felscher

Download Full-text

On Recursively Unsolvable Problems in Topology and Their Classification

Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70518-4 ◽

1968 ◽

pp. 37-74 ◽

Cited By ~ 12

Author(s):

W.W. Boone ◽

W. Haken ◽

V. Poénaru

Keyword(s):

Unsolvable Problems

Download Full-text

Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen

Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70521-4 ◽

1968 ◽

pp. 109-120 ◽

Cited By ~ 1

Author(s):

J. Diller

Download Full-text

Equational Logic and Equational Theories of Algebras

Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70531-7 ◽

1968 ◽

pp. 275-288 ◽

Cited By ~ 32

Author(s):

A. Tarski

Keyword(s):

Equational Logic ◽

Equational Theories

Download Full-text

Preface

Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70514-7 ◽

1968 ◽

pp. xi

Author(s):

K. Schütte

Download Full-text

Constructive Thermodynamics

Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 - Studies in Logic and the Foundations of Mathematics ◽

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

1968 ◽

pp. 75-89 ◽

Cited By ~ 1

Author(s):

W.K. Burton

Download Full-text

The Use of “Brouwer's Principle” in Intuitionistic Topology

Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 - Studies in Logic and the Foundations of Mathematics ◽

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

1968 ◽

pp. 289-298

Author(s):

A.S. Troelstra

Download Full-text