Book serie: / Книги серии: Studies in Logic and the Foundations of Mathematics 133 » Page 17 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Studies in Logic and the Foundations of Mathematics 133 » Page 17

book Selected Papers on Automath

Selected Papers on Automath

pdf

Author: R.P. Nederpelt J.H. Geuvers R.C. de Vrijer (editors)
Language: English
Year: 1994

00

27.01.2024

0

0

book Selected Papers on Automath

Selected Papers on Automath

djvu

Author: R.P. Nederpelt J.H. Geuvers R.C. de Vrijer
Language: English
Year: 1994

00

27.01.2024

0

0

book The Lambda Calculus, Second Edition: Its Syntax and Semantics

The Lambda Calculus, Second Edition: Its Syntax and Semantics

pdf

Author: H.P. Barendregt
Language: English
Year: 1985

00

27.01.2024

0

0

book The lambda calculus: its syntax and semantics

The lambda calculus: its syntax and semantics

pdf

Author: Hendrik Pieter Barendregt
Language: English
Year: 1984

00

27.01.2024

0

0

book Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

pdf

Author: Nikolaos Galatos Peter Jipsen Tomasz Kowalski Hiroakira Ono
Language: English
Year: 2007

00

27.01.2024

1

0

book A Transfinite Type Theory with Type Variables

A Transfinite Type Theory with Type Variables

pdf

Author: Peter Bruce Andrews
Language: English
Year: 1965

00

27.01.2024

0

0

book Rudiments of μ-Calculus

Rudiments of μ-Calculus

pdf

Author: André Arnold Damian Niwiński
Language: English
Year: 2001

00

27.01.2024

0

0

book The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

pdf

Author: Stephen Cole Kleene Richard Eugène Vesley
Language: English
Year: 1965

00

27.01.2024

0

0

book Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

djvu

Author: Nikolaos Galatos Peter Jipsen Tomasz Kowalski Hiroakira Ono
Language: English
Year: 2007

00

27.01.2024

1

0

book Non-Standard Analysis

Non-Standard Analysis

djvu

Author: Abraham Robinson
Language: English
Year: 1966

00

27.01.2024

0

0