An edition of Two papers on the predicate calculus (1952)

Two papers on the predicate calculus.

by

  • 1 Have read
Two papers on the predicate calculus.
Stephen Cole Kleene, Stephen C ...
Locate

My Reading Lists:

Create a new list
Notes
  • 1 Have read
Notes

Buy this book

Last edited by WorkBot
December 15, 2009 | History
Edit
An edition of Two papers on the predicate calculus (1952)

Two papers on the predicate calculus.

by

  • 1 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
English
Pages
68

Buy this book

Subjects

Calculus, Mathematics, Philosophy, Symbolic and mathematical Logic, Predicate calculus
Edition Availability
Cover of: Two papers on the predicate calculus
Two papers on the predicate calculus
1967, American Mathematical Society
electronic resource in English - Rev.
Cover of: Two papers on the predicate calculus.
Two papers on the predicate calculus.
1952
in English
Cover of: Two papers on the predicate calculus.
Two papers on the predicate calculus.
1952, American Mathematical Society
in English

Add another edition?

Book Details

Table of Contents

Permutability of inferences in Gentzen's calculi L øK ø and L øJ ø.
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols.

Edition Notes

Cover title.

Bibliography: p. 67-68.

Published in
Providence, R.I
Series
American Mathematical Society. Memoirs, no.10, Memoirs of the American Mathematical Society -- no. 10.

The Physical Object

Pagination
68 p.
Number of pages
68

Edition Identifiers

Open Library
OL14198761M

Work Identifiers

Work ID
OL5959468W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 15, 2009 Edited by WorkBot link works
September 11, 2008 Created by ImportBot Imported from Oregon Libraries MARC record