KOBV Portal

Online Resource

Combinatory logic.; Volume II / (1972)

Curry, Haskell B. 1900-1982. ; Hindley, J. Roger. ; Seldin, J. P.

Amsterdam :North-Holland Pub. Co.,

add to watchlist on the watchlist

Details

UID:

almahu_9947367929202882

Format: 1 online resource (535 p.)

ISBN: 1-282-30937-4 , 9786612309373 , 0-08-095477-4

Series Statement: Studies in logic and the foundations of mathematics

Content: Provability, Computability and Reflection

Note: Description based upon print version of record. , Front Cover; Combinatory Logic; Copyright Page; Table of Contents; Preface; Explanation of Notations; Chapter 11 Addenda to Pure Combinatory Logic; A. Preliminaries; B. The weak theory of combinators; C. Bracket abstraction; D. The synthetic theory of combinators; E. Strong reduction; F. C-systems; Chapter 12 Foundations of the Illative Theory; A. Illative systems in general; B. Proper illative systems; C. Inferential systems for 2; D. CL-systems; Chapter 13 Combinatory Arithmetic; A. Foundations; B. Gödelian epitheory; C. Combinatory syntax; D. Typed combinatory arithmetic , Chapter 14 The Theory of FunctionalityA. Preliminaries; B. Properties of F-deductions; C. Deductive theory of F1; D. A ?-Formulation; E. An L-Formulation; F. The system F12; Chapter 15 The Theory of Restricted Generality; A. The systern F20; B. Deductive theory of F2; C. Finite formulations; D. The predicate calculus; Chapter 16 The Theory of Universal Generality; A. The system F30; B. Deductive theory of F31; C. Deductive theory of F32; D. Finite formulations; Chapter 17 Combinatory Type Theory; A. Formulations; B. Valuations and models; C. Kinds of type theory; Bibliography; Index , English

Additional Edition: ISBN 0-7204-2208-6

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

HU Berlin

FU Berlin

Charité

Online Resource

Combinatory logic; Volume II (1972)

Curry, Haskell B. 1900-1982 ; Hindley, J. Roger ; Seldin, J. P.

Amsterdam : North-Holland Pub. Co

add to watchlist on the watchlist

Details

UID:

gbv_1655653946

Format: Online Ressource (520 pages)

Edition: Online-Ausg.

ISBN: 9780080954776 , 0080954774 , 9780720422085

Series Statement: Studies in logic and the foundations of mathematics v. 65

Content: Provability, Computability and Reflection

Note: Includes bibliographical references, index and errata. - Print version record , English

Additional Edition: ISBN 0720422086

Additional Edition: Erscheint auch als Druck-Ausgabe Combinatory logic. Volume II Amsterdam ; London : North-Holland Publishing Co, 1972

Language: English

Keywords: Kombinatorische Logik ; Electronic books ; Electronic books

URL: lizenzpflichtig

URL: Volltext

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Stabi Berlin

UB Potsdam

Book

Combinatory logic; 2 (1972)

Curry, Haskell B. [Sonstige] 1900-1982 ; Feys, Robert [Sonstige] 1889-1961 ; Craig, William [Sonstige]

Amsterdam : North-Holland Publ. Co.

Show associated volumes

add to watchlist on the watchlist

Details

UID:

b3kat_BV002741670

Format: XIV, 520 S.

ISBN: 0720422086

Series Statement: Studies in logic and the foundations of mathematics 65,2

In: 2

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Book

Combinatory logic; Vol. 2 (1972)

Curry, Haskell Brooks ; Feys, Robert ; Craig, William ; [et al.]

Amsterdam [u.a.] : North-Holland Publ.

Show associated volumes

add to watchlist on the watchlist

Details

UID:

gbv_227413121

Format: XIV, 520 S

ISBN: 0720422086

Series Statement: Studies in logic and the foundations of mathematics 65

In: Vol. 2

Language: English

Keywords: Kombinatorische Logik

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

Book

Combinatory logic; 2 (1972)

Curry, Haskell Brooks ; Hindley, J. Roger ; Seldin, Jonathan P.

Amsterdam [u.a.] : North-Holland Publ.

Show associated volumes

add to watchlist on the watchlist

Details

UID:

gbv_085079669

Format: XIV, 520 S

ISBN: 0720422086

Series Statement: Studies in logic and the foundations of mathematics 65

In: 2

Language: Undetermined

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

Book

Combinatory logic; Vol. 2 (1972)

Curry, Haskell B. ; Hindley, Roger ; Craig, William ; [et al.]

Amsterdam : North-Holland

add to watchlist on the watchlist

Details

UID:

kobvindex_SLB956810

Format: XIV, 520 S.

ISBN: 0720422086

Series Statement: Studies in logic and the foundations of mathematics 65

Note: KOBVSLBP1 Z39.50 2021.05.06

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

SLB Potsdam

Book

Combinatory logic.; 2 / (1972)

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_BV002741670

Format: XIV, 520 S.

ISBN: 0-7204-2208-6

Series Statement: Studies in logic and the foundations of mathematics 65,2

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

Book

Combinatory logic.; 2 / (1972)

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almafu_BV002741670

Format: XIV, 520 S.

ISBN: 0-7204-2208-6

Series Statement: Studies in logic and the foundations of mathematics 65,2

In: Combinatory logic.

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

hits 1 - 8 | 8 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg