Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


Meilleures séries dans ce pays : Canada

1-12 sur 12 résultats pour « samuel david epstein »
Skip side bar filters

  • Essays in Syntactic Theory

    par Samuel David Epstein ...
    Collections series Routledge Leading Linguists
    The essays in this important collection explore wide-ranging aspects of the syntax and semantics of human languages. Key topics covered include movement phenomena and the syntax of logical form, methods in generative linguistics and the role of rules vs. principles in syntactic theory. This volume makes a vital contribution to substantive and methodological debates in linguistic theory. ... En savoir plus

    $114.04 CAD

Les lecteurs de ce roman ont aussi aimé

  • Computability Theory

    An Introduction to Recursion Theory

    par Herbert B. Enderton ...
    Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion ... En savoir plus

    $55.99 CAD

  • Computability and Logic

    par George S. Boolos, John P. Burgess, Richard C. Jeffrey ...
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised ... En savoir plus

    $40.99 CAD

  • Understanding Minimalism

    par Norbert Hornstein, Jairo Nunes, Kleanthes K. Grohmann ...
    Collections series Cambridge Textbooks in Linguistics
    Understanding Minimalism, first published in 2005, is an introduction to the Minimalist Program - the model of syntactic theory within generative linguistics. Accessibly written, it presents the basic principles and techniques of the minimalist program, looking firstly at analyses within Government and Binding Theory (the Minimalist Program's predecessor), and gradually introducing minimalist ... En savoir plus

    $74.99 CAD

  • Modal Logic for Philosophers

    par James W. Garson ...
    This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal ... En savoir plus

    $51.99 CAD

  • Twenty Five Years of Constructive Type Theory

    par Giovanni Sambin, Jan M. Smith ...
    Collections Livre 36 - Oxford Logic Guides
    Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin ... En savoir plus

    $95.99 CAD

  • Lambda Calculus with Types

    par Henk Barendregt, Wil Dekkers, Richard Statman ...
    Collections series Perspectives in Logic
    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types ... En savoir plus

    $99.99 CAD

  • On the Logic and Learning of Language

    par Sean A. Fulop ...
    This book presents the author's research on automatic learning procedures for categorial grammars of natural languages. The research program spans a number of intertwined disciplines, including syntax, semantics, learnability theory, logic, and computer science. The theoretical framework employed is an extension of categorial grammar that has come to be called multimodal or type-logical grammar. ... En savoir plus

    $11.99 CAD

  • A Theory of Syntax

    Minimal Operations and Universal Grammar

    par Norbert Hornstein ...
    Human language seems to have arisen roughly within the last 50-100,000 years. In evolutionary terms, this is the mere blink of an eye. If this is correct, then much of what we consider distinctive to language must in fact involve operations available in pre-linguistic cognitive domains. In this book Norbert Hornstein, one of the most influential linguists working on syntax, discusses a topical set ... En savoir plus

    $49.99 CAD

  • Foundations of Software Science and Computation Structures

    21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

    Modifié par Christel Baier, Ugo Dal Lago ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions ... En savoir plus

    Gratuit

  • Generative Grammar

    Theory and its History

    par Robert Freidin ...
    Collections series Routledge Leading Linguists
    Generative Grammar presents a substantial contribution to the field of linguistics in drawing together for the first time the author's most significant work on the theory of generative grammar.The essays collected here display Freidin's role in moving the theory forward in terms of new proposals, and analyse the efforts to understand the evolution and history of the theory by careful investigation ... En savoir plus

    $94.81 CAD

  • Foundations of Software Science and Computation Structures

    22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Modifié par Mikołaj Bojańczyk, Alex Simpson ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from ... En savoir plus

    Gratuit