## Summaries of talks presented at the Summer Institute for Symbolic Logic |

### What people are saying - Write a review

### Contents

Addison 355 | xv |

Montague and Tarski 270 | xvi |

ManyValued Logics | xix |

40 other sections not shown

### Common terms and phrases

### References from web pages

JSTOR: Combinatory Logic.

Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for ...

links.jstor.org/ sici?sici=0022-4812(196706)32%3A2%3C267%3ACL%3E2.0.CO%3B2-U

Oxford Journals | humanities&mathematics & Physical Sciences **...**

1960c 'Symbolic representations of calculating machines', Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, ...

www.oxfordjournals.org/ philmat/ bibliography.html

Kreisel: La prédicativité

Recursive ordinals and prédicative set theory, Summaries of talks presented at the Summer Institute for symbolic Logic, in 1957 , at the Cornell University, ...

www.numdam.org/ numdam-bin/ fitem?id=BSMF_1960__88__371_0