Combinatory Logic

Pure, Applied and Typed

Katalin Bimbó

Discrete Mathematics and Its Applications

Comprar el eBook

$91.091CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9781040056240
Fecha de lanzamiento:27 jul 2011
Editorial:CRC Press

Edición:Chapman and Hall/CRC
Formato de archivo:EPUB3
Tamaño de archivo:1.08 MB
Opciones de descarga:EPUB3 (Adobe DRM)

Lecturas relacionadas

Discrete Mathematics DeMYSTiFied

Steven G. Krantz

$24.694

Abstract Algebra: Introduction To Groups, Rings And Fields With Applications (Second Edition)

Clive Reis, Stuart A Rankin

$52.089

Modal Logic for Philosophers

James W. Garson

$49.216

Starting Category Theory

World Scientific Publishing Company

$36.654

Ideals, Varieties, and Algorithms

David A. Cox, John Little, Donal O'Shea

$50.561

Exploring Mathematics

John Meier, Derek Smith

$52.731

Transition to Proofs

Simon Rubinstein-Salzedo

$36.654

Lambda Calculus with Types

Henk Barendregt, Wil Dekkers, Richard Statman

$95.796

Commutative Ring Theory

H. Matsumura, Miles Reid

$91.402

Category Theory And Applications: A Textbook For Beginners (Second Edition)

Marco Grandis

$45.337

Generative Grammar

Robert Freidin

$73.942

A Logical Introduction to Proof

Daniel W. Cunningham

$56.180

Discrete Mathematics: A Combinatorial Approach

Christos A. Athanasiadis

$67.418

A First Course in Computational Algebraic Geometry

Wolfram Decker, Gerhard Pfister

$20.213

Elements of Automata Theory

Jacques Sakarovitch, Reuben Thomas

$234.656

Logic and Algebra

Aldo Ursini

$412.636

Fundamentals of Mathematical Logic

Peter G. Hinman

$170.403

Local Cohomology

M. P. Brodmann, R. Y. Sharp

$111.616

Concrete Abstract Algebra

Niels Lauritzen

$79.097

Introduction To Commutative Algebra, Student Economy Edition

Michael Atiyah

$241.140

Introduction To Analysis With Complex Numbers

Irena Swanson

$52.089

Introduction To Commutative Algebra

Michael F. Atiyah, I.G. MacDonald

$118.957

Problems And Solutions In Mathematical Olympiad (High School 3)

Hong-bing Yu, Yi-chao Ye, Fang-fang Lang

$36.654

Modal Logic for Philosophers

James W. Garson

$40.428

Introduction to the Representation Theory of Algebras

Michael Barot

$44.943

Combinatorics of Permutations

Miklos Bona

$81.445

Category Theory in Context

Emily Riehl

$23.112

Mathematical Logic and Theoretical Computer Science

David Kueker

$444.790

Representation Theory of Finite Monoids

Benjamin Steinberg

$84.276

Algebras, Quivers and Representations

Aslak Bakke Buan, Idun Reiten, Øyvind Solberg

$101.133

Elementary Number Theory

Underwood Dudley

$12.338

Mathematical Logic

Roman Kossak

$64.047

The Elements of Advanced Mathematics

Steven G. Krantz

$91.091

Galois Representations and (Phi, Gamma)-Modules

Peter Schneider

$66.794

Categorial Grammar

Glyn Morrill

$64.618

Graph Algebras and Automata

Andrei Kelarev

$444.790

Profinite Graphs and Groups

Luis Ribes

$134.848

Modern Language Models and Computation

Alexander Meduna, Ondřej Soukup

$101.133

Algebras, Rings and Modules, Volume 2

Michiel Hazewinkel, Nadiya M. Gubareni

$76.086

Basic Abstract Algebra

Prof. Robert B. Ash

$19.253

Counting with Symmetric Functions

Jeffrey Remmel, Anthony Mendes

$101.133

Infinite Crossed Products

Prof. Donald S. Passman

$19.253

Combinators, λ-Terms and Proof Theory

S. Stenlund

$101.133

Computational Aspects of Polynomial Identities

Alexei Kanel-Belov, Yakov Karasik, Louis Halle Rowen

$101.808

Affine Algebraic Geometry

Masayoshi Miyanishi

$113.824

Simple Extensions with the Minimum Degree Relations of Integral Domains

Susumu Oda

$348.330

k-Schur Functions and Affine Schubert Calculus

Thomas Lam, Luc Lapointe, Jennifer Morse, Anne Schilling, Mark Shimozono, Mike Zabrocki

$112.372

Popular Lectures on Mathematical Logic

Hao Wang

$10.210

Algebra

Larry C. Grove

$16.938

Regular Algebra and Finite Machines

John Horton Conway

$9.278

Advances in Hopf Algebras

Jeffrey Bergen, Susan Montgomery

$412.636

Classical Lie Algebras at Infinity

Ivan Penkov, Crystal Hoyt

$123.609

generatingfunctionology

Herbert S. Wilf

$86.803

Basic Algebra II

Nathan Jacobson

$20.025

Shafarevich-Tate Groups

M.L. Brown

$61.799

The Block Theory of Finite Group Algebras: Volume 2

Markus Linckelmann

$74.703

Modern Methods in Topological Vector Spaces

Albert Wilansky

$17.710

A Course in BE-algebras

Sambasiva Rao Mukkamala

$75.285

Homological Methods, Representation Theory, and Cluster Algebras

Ibrahim Assem, Sonia Trepode

$52.809

Relational and Algebraic Methods in Computer Science

Uli Fahrenberg, Peter Jipsen, Michael Winter

$56.180

Semigroups

Pierre A. Grillet

$444.790

Relational and Algebraic Methods in Computer Science

Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter

$82.028

An Invitation to Abstract Mathematics

Béla Bajnok

$61.799

Lie Algebras

Nathan Jacobson

$13.988

Fundamentals of Abstract Analysis

Andrew Gleason

$106.096

Logic, Language, Information, and Computation

George Metcalfe, Thomas Studer, Ruy de Queiroz

$73.037

Stochastic Relations

Ernst-Erich Doberkat

$98.593

Modular Lie Algebras and their Representations

H. Strade

$428.713

Ver más por autor

Proof Theory

Katalin Bimbo

$91.091

J. Michael Dunn on Information Based Logics

Katalin Bimbo

$101.133

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Combinatory Logic

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Detalles de accesibilidad

Cómo leer

Lecturas relacionadas

Discrete Mathematics DeMYSTiFied

Abstract Algebra: Introduction To Groups, Rings And Fields With Applications (Second Edition)

Modal Logic for Philosophers

Starting Category Theory

Ideals, Varieties, and Algorithms

Exploring Mathematics

Transition to Proofs

Lambda Calculus with Types

Commutative Ring Theory

Category Theory And Applications: A Textbook For Beginners (Second Edition)

Generative Grammar

A Logical Introduction to Proof

Discrete Mathematics: A Combinatorial Approach

A First Course in Computational Algebraic Geometry

Elements of Automata Theory

Logic and Algebra

Fundamentals of Mathematical Logic

Local Cohomology

Concrete Abstract Algebra

Introduction To Commutative Algebra, Student Economy Edition

Introduction To Analysis With Complex Numbers

Introduction To Commutative Algebra

Problems And Solutions In Mathematical Olympiad (High School 3)

Modal Logic for Philosophers

Introduction to the Representation Theory of Algebras

Combinatorics of Permutations

Category Theory in Context

Mathematical Logic and Theoretical Computer Science

Representation Theory of Finite Monoids

Algebras, Quivers and Representations

Elementary Number Theory

Mathematical Logic

The Elements of Advanced Mathematics

Galois Representations and (Phi, Gamma)-Modules

Categorial Grammar

Graph Algebras and Automata

Profinite Graphs and Groups

Modern Language Models and Computation

Algebras, Rings and Modules, Volume 2

Basic Abstract Algebra

Counting with Symmetric Functions

Infinite Crossed Products

Combinators, λ-Terms and Proof Theory

Computational Aspects of Polynomial Identities

Affine Algebraic Geometry

Simple Extensions with the Minimum Degree Relations of Integral Domains

k-Schur Functions and Affine Schubert Calculus

Popular Lectures on Mathematical Logic

Algebra

Regular Algebra and Finite Machines

Advances in Hopf Algebras

Classical Lie Algebras at Infinity

generatingfunctionology

Basic Algebra II

Shafarevich-Tate Groups

The Block Theory of Finite Group Algebras: Volume 2

Modern Methods in Topological Vector Spaces

A Course in BE-algebras

Homological Methods, Representation Theory, and Cluster Algebras

Relational and Algebraic Methods in Computer Science

Semigroups

Relational and Algebraic Methods in Computer Science

An Invitation to Abstract Mathematics

Lie Algebras

Fundamentals of Abstract Analysis

Logic, Language, Information, and Computation

Stochastic Relations

Modular Lie Algebras and their Representations

Ver más por autor

Proof Theory

J. Michael Dunn on Information Based Logics