Book123

Science/Engineering Logic With Trees: An Introduction to Symbolic Logic

Colin Howson “Logic With Trees: An Introduction to Symbolic Logic " Routledge | 1997-03-25 | ISBN: 0415133424 | 212 pages | PDF | 2 Mb

Study Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)

Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)Cambridge University Press | Pages: 500 | 1998-08-13 | ISBN: 0521622778 | 3 MBThis book describes the mathematical aspects of the semantics of programming language ...

Science/Engineering Lambda-Calculus and Combinators: An Introduction

J. Roger Hindley, Jonathan P. Seldin “Lambda-Calculus and Combinators: An Introduction" Cambridge University Press | 2008-08-11 | ISBN: 0521898854 | 360 pages | PDF | 1,7 MB Combinatory logic and lambda-calculus, originally devised in ...

Science/Engineering Groups, Graphs and Trees: An Introduction to the Geometry of Infinite Groups

Groups, Graphs and Trees: An Introduction to the Geometry of Infinite GroupsPublisher: Cambridge University Press | Pages: 256 | 2008-09-01 | ISBN: 0521895456| PDF | 2 MBProduct Description:This outstanding new book presents the modern, geo ...

Technical Let Over Lambda: 50 Years of Lisp

One of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced features of the most advanced language: Common Lisp. This book is about macros, that is programs that write progra ...

Technical Groups, Graphs and Trees: An Introduction to the Geometry of Infinite Groups (London Mathematical Society Student Texts)

ISBN: 0521895456 Publisher: Cambridge University Press Author: John MeierDescription:This outstanding new book presents the modern, geometric approach to group theory, in an accessible and engaging approach to the subject. Topics include gr ...