Summaries of talks presented at the Summer Institute for Symbolic Logic

Front Cover
Communications Research Division, Institute for Defense Analyses, 1960 - Aggregates - 427 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

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

Bibliographic information