Cambridge Summer School in Mathematical Logic - Lecture Notes in Mathematics
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540055693, 9783540368847

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Some properties of intuitionistic zermelo-frankel set theory

Cambridge Summer School in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0066775 ◽

1973 ◽

pp. 206-231 ◽

Author(s):

John Myhill

Keyword(s):

Download Full-text

Abstract computability versus analog-generability (a survey)

Cambridge Summer School in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0066781 ◽

1973 ◽

pp. 345-360

Author(s):

Marian Boykan Pour-El

Download Full-text

Lectures on intuitionism

Cambridge Summer School in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0066771 ◽

1973 ◽

pp. 1-94 ◽

Author(s):

D. van Dalen

Download Full-text

On chromatic number of graphs and set systems

Cambridge Summer School in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0066788 ◽

1973 ◽

pp. 531-538 ◽

Author(s):

P. Erdös ◽

A. Hajnal ◽

B. Rothchild

Keyword(s):

Chromatic Number ◽

Download Full-text

Vaught sentences and Lindström's regular relations

Cambridge Summer School in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0066794 ◽

1973 ◽

pp. 622-660 ◽

Author(s):

M. Makkai

Download Full-text

Filters closed under MAHLO's and GAIFMAN's operation

Cambridge Summer School in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0066787 ◽

1973 ◽

pp. 495-530 ◽

Author(s):

K. Gloede

Download Full-text

Combinator realizability of constructive finite type analysis

Cambridge Summer School in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0066777 ◽

1973 ◽

pp. 253-273 ◽

Author(s):

John Staples

Keyword(s):

Finite Type ◽

Download Full-text

Some applications of Kleene's methods for intuitionistic systems

Cambridge Summer School in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0066773 ◽

1973 ◽

pp. 113-170 ◽

Author(s):

Harvey Friedman

Download Full-text

Errata

Cambridge Summer School in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0066790 ◽

1973 ◽

pp. 573-573

Author(s):

A. R. D. Mathias ◽

H. Rogers

Download Full-text

Notes on intuitionistic second order arithmetic

Cambridge Summer School in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0066774 ◽

1973 ◽

pp. 171-205 ◽

Author(s):

A. S. Troelstra

Keyword(s):

Second Order ◽

Second Order Arithmetic ◽

Order Arithmetic

Download Full-text