Books in category Logic
1 2 3 4 5 6 7 8 9 10
Author: Jong, W. R. de
Publisher : Springer
ISBN : 9789027714084
Author: Grandy, Richard E. ;Grandy, R. E.
Publisher : Springer
ISBN : 9789027707819
Author: Bauer, Frederick R.
Publisher : iUniverse
ISBN : 9780595450527
Author: Bauer, Frederick R.
Publisher : iUniverse
ISBN : 9780595710225
Author: de Alfaro, L. ;Gilmore, S.
Publisher : Springer
ISBN : 9783540425564
This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, mod
Author:
Publisher : Kluwer Academic Publishers
ISBN : 9781402017476
In the late 1950's and early 1960's seminal works on the logic of knowledge and belief were published by notably von Wright and Hintikka. Epistemic and doxastic logics have since then grown into mature disciplines enjoying many important applications in philosophy, computer science, game theory, economics and linguistics to mention but a few fields. The aim of this thematically unified anthology i
Author: Girard, J. y.
Publisher : Springer
ISBN : 9783540657637
This book constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila, Italy in April 1999. The 25 revised full papers presented were carefully reviewed and selected from a total of 50 submissions. Also included are two invited demonstrations. The volume reports research results on various aspects of typed lambda calc
Author: De Groote, Philippe
Publisher : Springer
ISBN : 9783540626886
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997.The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference
Author: Minto, William
Publisher : Spaight Press
ISBN : 9781408684870
Many of the earliest books, particularly those dating back to the 1900s and before, are now extremely scarce and increasingly expensive. We are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.
Author: Whately, Richard
Publisher : Herron Press
ISBN : 9781408680513
Many of the earliest books, particularly those dating back to the 1900s and before, are now extremely scarce and increasingly expensive. We are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.
Author: Henkin, L. ;Monk, J. D. ;Tarski, A.
Publisher : Springer
ISBN : 9783540108818
Author: Swinburne, Alfred James
Publisher : Kessinger Publishing
ISBN : 9780548015902
1899. An attempt to popularize the science of reasoning by the combination of humorous pictures with examples of reasoning taken from daily life. With original illustrations from drawings by the author engraved on wood by G. Pearson. Contents: What is Science?; What is Art?; Logic is a Science and an Art; Form and Matter of Thought; The Reconciliation, and also How Logic is More of a Science than
Author: Van Oosten, Jaap
Publisher : Elsevier Science
ISBN : 9780444515841
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subjec
Author:
Publisher : Springer
ISBN : 9783540152361
Author:
Publisher : Springer
ISBN : 9783540156734
Author: Casas-Alvero, Eduardo ;Xambo-Descamps, Sebastian
Publisher : Springer
ISBN : 9783540164951
Author: Erdmann, Johann Eduard
Publisher : Kessinger Publishing
ISBN : 9781430480433
This scarce antiquarian book is included in our special Legacy Reprint Series. In the interest of creating a more extensive selection of rare historical book reprints, we have chosen to reproduce this title even though it may possibly have occasional imperfections such as missing and blurred pages, missing text, poor pictures, markings, dark backgrounds and other reproduction issues beyond our con
Author: Jevons, W. Stanley
Publisher : Kessinger Publishing
ISBN : 9781430488903
This scarce antiquarian book is included in our special Legacy Reprint Series. In the interest of creating a more extensive selection of rare historical book reprints, we have chosen to reproduce this title even though it may possibly have occasional imperfections such as missing and blurred pages, missing text, poor pictures, markings, dark backgrounds and other reproduction issues beyond our con
Author: Watts, Isaac
Publisher : Kessinger Publishing
ISBN : 9781430475781
This scarce antiquarian book is included in our special Legacy Reprint Series. In the interest of creating a more extensive selection of rare historical book reprints, we have chosen to reproduce this title even though it may possibly have occasional imperfections such as missing and blurred pages, missing text, poor pictures, markings, dark backgrounds and other reproduction issues beyond our con
Author: Gerstein, Larry J.
Publisher : Springer
ISBN : 9783540780441
The Semantics of John Stuart Mill
Author: Jong, W. R. de Publisher : Springer
ISBN : 9789027714084
Min Price: 323.00
Max Price: 323.00
Advanced Logic for Applications
Author: Grandy, Richard E. ;Grandy, R. E. Publisher : Springer
ISBN : 9789027707819
Min Price: 185.00
Max Price: 185.00
Logical Fictions: Tools for Learning the Facts
Author: Bauer, Frederick R. Publisher : iUniverse
ISBN : 9780595450527
Min Price: 11.00
Max Price: 11.00
Logical Fictions: Tools for Learning the Facts
Author: Bauer, Frederick R. Publisher : iUniverse
ISBN : 9780595710225
Min Price: 20.00
Max Price: 20.00
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, S
Author: de Alfaro, L. ;Gilmore, S. Publisher : Springer
ISBN : 9783540425564
This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, mod
Min Price: 76.00
Max Price: 76.00
Knowledge Contributors
Author: Publisher : Kluwer Academic Publishers
ISBN : 9781402017476
In the late 1950's and early 1960's seminal works on the logic of knowledge and belief were published by notably von Wright and Hintikka. Epistemic and doxastic logics have since then grown into mature disciplines enjoying many important applications in philosophy, computer science, game theory, economics and linguistics to mention but a few fields. The aim of this thematically unified anthology i
Min Price: 99.00
Max Price: 99.00
Typed Lambda Calculi and Applications
Author: Girard, J. y. Publisher : Springer
ISBN : 9783540657637
This book constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila, Italy in April 1999. The 25 revised full papers presented were carefully reviewed and selected from a total of 50 submissions. Also included are two invited demonstrations. The volume reports research results on various aspects of typed lambda calc
Min Price: 108.00
Max Price: 108.00
Typed Lambda Calculi and Applications
Author: De Groote, Philippe Publisher : Springer
ISBN : 9783540626886
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997.The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference
Min Price: 113.00
Max Price: 113.00
Logic, Inductive and Deductive
Author: Minto, William Publisher : Spaight Press
ISBN : 9781408684870
Many of the earliest books, particularly those dating back to the 1900s and before, are now extremely scarce and increasingly expensive. We are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.
Min Price: 30.00
Max Price: 30.00
Elements of Logic: Comprising the Substance of the Article in the Encyclopaedia Metropolitana
Author: Whately, Richard Publisher : Herron Press
ISBN : 9781408680513
Many of the earliest books, particularly those dating back to the 1900s and before, are now extremely scarce and increasingly expensive. We are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.
Min Price: 36.00
Max Price: 36.00
Cylindric Set Algebras
Author: Henkin, L. ;Monk, J. D. ;Tarski, A. Publisher : Springer
ISBN : 9783540108818
Min Price: 54.00
Max Price: 54.00
Picture Logic
Author: Swinburne, Alfred James Publisher : Kessinger Publishing
ISBN : 9780548015902
1899. An attempt to popularize the science of reasoning by the combination of humorous pictures with examples of reasoning taken from daily life. With original illustrations from drawings by the author engraved on wood by G. Pearson. Contents: What is Science?; What is Art?; Logic is a Science and an Art; Form and Matter of Thought; The Reconciliation, and also How Logic is More of a Science than
Min Price: 25.00
Max Price: 25.00
Realizability: An Introduction to Its Categorical Side
Author: Van Oosten, Jaap Publisher : Elsevier Science
ISBN : 9780444515841
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subjec
Min Price: 161.00
Max Price: 161.00
Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic Held in Caracas, Venezuela, Aug. 1-6, 1983
Author: Publisher : Springer
ISBN : 9783540152361
Min Price: 80.00
Max Price: 80.00
Recursion Theory Week: Proceedings of a Conference Held in Oberwolfach, West Germany, April 15-21, 1984
Author: Publisher : Springer
ISBN : 9783540156734
Min Price: 80.00
Max Price: 80.00
The Enumerative Theory of Conics After Halphen
Author: Casas-Alvero, Eduardo ;Xambo-Descamps, Sebastian Publisher : Springer
ISBN : 9783540164951
Min Price: 29.00
Max Price: 29.00
Outlines of Logic and Metaphysics
Author: Erdmann, Johann Eduard Publisher : Kessinger Publishing
ISBN : 9781430480433
This scarce antiquarian book is included in our special Legacy Reprint Series. In the interest of creating a more extensive selection of rare historical book reprints, we have chosen to reproduce this title even though it may possibly have occasional imperfections such as missing and blurred pages, missing text, poor pictures, markings, dark backgrounds and other reproduction issues beyond our con
Min Price: 16.00
Max Price: 16.00
Elementary Lessons in Logic: Deductive and Inductive, with Copious Questions and Examples, and a Vocabulary of Logical Terms
Author: Jevons, W. Stanley Publisher : Kessinger Publishing
ISBN : 9781430488903
This scarce antiquarian book is included in our special Legacy Reprint Series. In the interest of creating a more extensive selection of rare historical book reprints, we have chosen to reproduce this title even though it may possibly have occasional imperfections such as missing and blurred pages, missing text, poor pictures, markings, dark backgrounds and other reproduction issues beyond our con
Min Price: 19.00
Max Price: 19.00
Logic Or, the Right Use of Reason in the Enquiry After Truth
Author: Watts, Isaac Publisher : Kessinger Publishing
ISBN : 9781430475781
This scarce antiquarian book is included in our special Legacy Reprint Series. In the interest of creating a more extensive selection of rare historical book reprints, we have chosen to reproduce this title even though it may possibly have occasional imperfections such as missing and blurred pages, missing text, poor pictures, markings, dark backgrounds and other reproduction issues beyond our con
Min Price: 20.00
Max Price: 20.00
Introduction to Mathematical Structures and Proofs
Author: Gerstein, Larry J. Publisher : Springer
ISBN : 9783540780441
Min Price: 25.00
Max Price: 25.00
Find book
books-az.com all rights reserved
