Lambda Calculus with Types

Henk Barendregt,Wil Dekkers,Richard Statman

Perspectives in Logic

電子書籍を購入

20 % 引き販売価格　18,583 円14,867 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781107272248
発売日　2013年10月30日
出版社：Cambridge University Press

出版社： Cambridge University Press
ファイル形式　EPUB2
サイズ　41.24 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

関連書籍

Probability with Martingales

David Williams

7,910 円

Beginner's Further Guide To Mathematical Logic, A

Raymond M Smullyan

1,948 円

Computability Theory

Herbert B. Enderton

6,661 円

Generative Grammar

Robert Freidin

11,762 円

Proofs and Algorithms

Gilles Dowek

4,248 円

Modal Logic for Philosophers

James W. Garson

7,637 円

On the Logic and Learning of Language

Sean A. Fulop

1,144 円

A First Course in Computational Algebraic Geometry

Wolfram Decker, Gerhard Pfister

3,137 円

A Course on Mathematical Logic

Shashi Mohan Srivastava

7,900 円

Introduction to Homological Algebra, 85

Joseph J. Rotman

7,714 円

Handbook of Analysis and Its Foundations

Eric Schechter

13,006 円

Concrete Abstract Algebra

Niels Lauritzen

12,275 円

Fundamentals Of Modern Algebra: A Global Perspective

Robert G Underwood

3,897 円

Essays in Syntactic Theory

Samuel David Epstein

14,148 円

Computational Logic and Set Theory

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, Martin Davis

6,076 円

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono

15,400 円

Towards an Elegant Syntax

Michael Brody

5,795 円

Handbook of Philosophical Logic

Dov M. Gabbay, Franz Guenthner

12,154 円

Applied Logic for Computer Scientists

Mauricio Ayala-Rincón, Flávio L. C. de Moura

5,469 円

Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey

6,001 円

A User's Guide to Measure Theoretic Probability

David Pollard

9,274 円

A Concise Introduction to Mathematical Logic

Wolfgang Rautenberg

9,116 円

Commutative Algebra

Marco Fontana, Sophie Frisch, Sarah Glaz

12,154 円

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

6,076 円

Coalgebraic Methods in Computer Science

Ichiro Hasuo

6,076 円

Handbook of Practical Logic and Automated Reasoning

John Harrison

24,550 円

Combinators, λ-Terms and Proof Theory

S. Stenlund

12,154 円

Effective Mathematics of the Uncountable

Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins, Russell Miller

21,685 円

Nominal Sets

Andrew M. Pitts

10,638 円

Scala: From a Functional Programming Perspective

Vicenç Torra

6,076 円

Primitive Elements of Grammatical Theory

Katherine McKinney-Bock, Maria Luisa Zubizarreta

12,615 円

Sets, Logic and Maths for Computing

David Makinson

3,641 円

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

6,076 円

Reasoning with Rough Sets

Seiki Akama, Tetsuya Murai, Yasuo Kudo

13,369 円

Concise Computer Mathematics

Ovidiu Bagdasar

7,900 円

Analysis and Control of Boolean Networks

Daizhan Cheng, Hongsheng Qi, Zhiqiang Li

12,154 円

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay

19,800 円

Combinatorial Algorithms

Veli Mäkinen, Simon J. Puglisi, Leena Salmela

6,076 円

Handbook of Computability Theory

E.R. Griffor

21,400 円

A New Perspective on Nonmonotonic Logics

Dov M. Gabbay, Karl Schlechta

12,154 円

Realizability

Jaap van Oosten

19,033 円

Fields of Logic and Computation II

Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte, Lev D. Beklemishev

6,076 円

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

6,076 円

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

6,076 円

Modal Logic for Philosophers

James W. Garson

6,273 円

Automated Theorem Proving in Software Engineering

D. Loveland, Johann M. Schumann

6,076 円

Monoidal Topology

Dirk Hofmann, Gavin J. Seal, Walter Tholen

27,414 円

Dependence Logic

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer

6,076 円

Categorial Grammar

Glyn Morrill

9,709 円

Perspectives in Computational Complexity

Manindra Agrawal, Vikraman Arvind

13,369 円

An Invitation to General Algebra and Universal Constructions

George M. Bergman

9,723 円

Advanced Logic for Applications

R.E. Grandy

6,076 円

Trusted Systems

Moti Yung, Jianbiao Zhang, Zhen Yang

6,076 円

Rewriting Logic and Its Applications

Santiago Escobar

5,834 円

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Lutz Geldsetzer, Richard L. Schwartz

14,585 円

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

9,723 円

Computability and Complexity

Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond

6,076 円

Graph Structure and Monadic Second-Order Logic

Bruno Courcelle, Joost Engelfriet

32,734 円

Infinite Words

Dominique Perrin, Jean-Éric Pin

15,400 円

Belief Revision in Non-Classical Logics

Márcio Moretto Ribeiro

6,076 円

Model-Based Safety and Assessment

Marco Bozzano, Yiannis Papadopoulos

6,076 円

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

6,076 円

Computational and Analytical Mathematics

David H. Bailey, Heinz H. Bauschke, Peter Borwein, Frank Garvan, Michel Théra, Henry Wolkowicz, Jon D. Vanderwerff

18,231 円

Software Technologies: Applications and Foundations

Manuel Wimmer, Dániel Varró, Paolo Milazzo

6,076 円

AI*IA 2016 Advances in Artificial Intelligence

Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea

6,076 円

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

6,076 円

A Proof Theory for Description Logics

Alexandre Rademaker

6,076 円

Text Analysis Pipelines

Henning Wachsmuth

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Syzygies and Homotopy Theory

F.E.A. Johnson

6,076 円

Introduction to Software Quality

Gerard O’Regan

5,469 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Lambda Calculus with Types

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Probability with Martingales

Beginner's Further Guide To Mathematical Logic, A

Computability Theory

Generative Grammar

Proofs and Algorithms

Modal Logic for Philosophers

On the Logic and Learning of Language

A First Course in Computational Algebraic Geometry

A Course on Mathematical Logic

Introduction to Homological Algebra, 85

Handbook of Analysis and Its Foundations

Concrete Abstract Algebra

Fundamentals Of Modern Algebra: A Global Perspective

Essays in Syntactic Theory

Computational Logic and Set Theory

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Towards an Elegant Syntax

Handbook of Philosophical Logic

Applied Logic for Computer Scientists

Computability and Logic

A User's Guide to Measure Theoretic Probability

A Concise Introduction to Mathematical Logic

Commutative Algebra

Logical Foundations of Computer Science

Coalgebraic Methods in Computer Science

Handbook of Practical Logic and Automated Reasoning

Combinators, λ-Terms and Proof Theory

Effective Mathematics of the Uncountable

Nominal Sets

Scala: From a Functional Programming Perspective

Primitive Elements of Grammatical Theory

Sets, Logic and Maths for Computing

Foundations of Software Science and Computation Structures

Reasoning with Rough Sets

Concise Computer Mathematics

Analysis and Control of Boolean Networks

Many-Dimensional Modal Logics: Theory and Applications

Combinatorial Algorithms

Handbook of Computability Theory

A New Perspective on Nonmonotonic Logics

Realizability

Fields of Logic and Computation II

Leveraging Applications of Formal Methods, Verification, and Validation

Logic, Rewriting, and Concurrency

Modal Logic for Philosophers

Automated Theorem Proving in Software Engineering

Monoidal Topology

Dependence Logic

Categorial Grammar

Perspectives in Computational Complexity

An Invitation to General Algebra and Universal Constructions

Advanced Logic for Applications

Trusted Systems

Rewriting Logic and Its Applications

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Automated Reasoning

Computability and Complexity

Graph Structure and Monadic Second-Order Logic

Infinite Words

Belief Revision in Non-Classical Logics

Model-Based Safety and Assessment

Developments in Language Theory

Computational and Analytical Mathematics

Software Technologies: Applications and Foundations

AI*IA 2016 Advances in Artificial Intelligence

Foundations of Software Science and Computation Structures

A Proof Theory for Description Logics

Text Analysis Pipelines

Computer Aided Verification

Syzygies and Homotopy Theory

Introduction to Software Quality

お楽しみいただけましたか？