Explore: Mathematics Logic
Discover books, insights, and more — all in one place.
Learn more about Mathematics Logic with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “mathematics----logic”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1What is the name of this book?
The riddle of Dracula and other logical puzzles
By Raymond M. Smullyan
“What is the name of this book?” Metadata:
- Title: What is the name of this book?
- Author: Raymond M. Smullyan
- Languages: ➤ Spanish; Castilian - español, castellano - English - fre
- Number of Pages: Median: 249
- Publisher: ➤ Penguin Books Ltd - Penguin - Simon & Schuster - Brand: Prentice Hall - Prentice Hall - Dover Publications - Prentice-Hall - Dunod - Cátedra
- Publish Date: ➤ 1978 - 1981 - 1986 - 1990 - 1997 - 2004 - 2007 - 2011
- Publish Location: ➤ Harmondsworth - New York - Mineola, N.Y - Madrid, Spain - Paris - Englewood Cliffs, NJ, USA
“What is the name of this book?” Subjects and Themes:
- Subjects: ➤ Logic puzzles - Puzzles - Riddles - Logic - Recreational mathematics - MATHEMATICS / Logic - MATHEMATICS / Recreations & Games - Devinettes et énigmes
Edition Identifiers:
- The Open Library ID: ➤ OL14949657M - OL4550123M - OL24808921M - OL2724148M - OL9130115M - OL20721055M - OL27980932M - OL28310229M - OL35015196M - OL38567598M
- Online Computer Library Center (OCLC) ID: 461746559 - 3543543 - 912337365 - 13946241
- Library of Congress Control Number (LCCN): 86017795 - 77018692 - 2011006160
- All ISBNs: ➤ 0140135111 - 8447353354 - 0671628321 - 9780139550621 - 9788437602974 - 0140223398 - 9782100020034 - 9780671628321 - 0139550887 - 9780139550881 - 0486481980 - 9780140223392 - 9782040113308 - 210002003X - 9780140135114 - 2040113304 - 8437602971 - 9780486481982 - 0139550623 - 9788447353354
Author's Alternative Names:
"Raymond Smullyan", "Raymond M. Smullyan", "M. Smullyan Raymond" and "R.M. Smullyan"Access and General Info:
- First Year Published: 1978
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find What is the name of this book? at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Turing's Legacy
By Rod Downey
“Turing's Legacy” Metadata:
- Title: Turing's Legacy
- Author: Rod Downey
- Language: English
- Number of Pages: Median: 540
- Publisher: Cambridge University Press
- Publish Date: 2014
“Turing's Legacy” Subjects and Themes:
- Subjects: ➤ Turing, alan mathison, 1912-1954 - Computational complexity - Machine theory - MATHEMATICS / Logic - Turing machines - Turing test - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL28528897M - OL40510731M - OL53924609M - OL40478388M - OL34559657M
- Online Computer Library Center (OCLC) ID: 887867127 - 867717052
- Library of Congress Control Number (LCCN): 2014000240
- All ISBNs: ➤ 9781107043480 - 1139899244 - 1306716152 - 1107338573 - 9781139907064 - 9781139899246 - 9781306716154 - 1139907069 - 1107043484 - 9781107338579
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Turing's Legacy at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Reasoning skills success in 20 minutes a day
By Elizabeth L. Chesla, Elizabeth Chelsa and Elizabeth Chesla
“Reasoning skills success in 20 minutes a day” Metadata:
- Title: ➤ Reasoning skills success in 20 minutes a day
- Authors: Elizabeth L. CheslaElizabeth ChelsaElizabeth Chesla
- Languages: ➤ English - Spanish; Castilian - español, castellano
- Number of Pages: Median: 169
- Publisher: ➤ LearningExpress - Learning Express
- Publish Date: 1998 - 2001 - 2002 - 2005
- Publish Location: New York
“Reasoning skills success in 20 minutes a day” Subjects and Themes:
- Subjects: ➤ Reasoning (Psychology) - Study Guides - Problems, exercises, etc - Psychology - Study Skills - Cognitive Psychology - Mathematics / Logic - Logic - Developmental - General
Edition Identifiers:
- The Open Library ID: OL3424359M - OL344591M - OL8749251M - OL6795818M
- Online Computer Library Center (OCLC) ID: 45439914
- Library of Congress Control Number (LCCN): 2005047185 - 00066421 - 98003562
- All ISBNs: ➤ 1576853721 - 1576854930 - 9781576854938 - 9781576853726 - 9781576851166 - 1576851168
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Reasoning skills success in 20 minutes a day at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Four Lives
By Jason Rosenhouse and Raymond M. Smullyan
“Four Lives” Metadata:
- Title: Four Lives
- Authors: Jason RosenhouseRaymond M. Smullyan
- Language: English
- Number of Pages: Median: 352
- Publisher: ➤ Dover Publications, Incorporated - Dover Publications, Inc.
- Publish Date: 2014
“Four Lives” Subjects and Themes:
- Subjects: Mathematical recreations - Logic puzzles - Anecdotes - MATHEMATICS / Recreations & Games - MATHEMATICS / Logic
Edition Identifiers:
- The Open Library ID: OL38285797M - OL38369802M - OL28510947M
- Online Computer Library Center (OCLC) ID: 843532721
- Library of Congress Control Number (LCCN): 2013040855
- All ISBNs: ➤ 1306512778 - 048649067X - 9781306512770 - 9780486782942 - 0486782948 - 9780486490670
Author's Alternative Names:
"Raymond Smullyan", "M. Smullyan Raymond", "Raymond M. Smullyan" and "R.M. Smullyan"Access and General Info:
- First Year Published: 2014
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Four Lives at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Motivic integration and its interactions with model theory and non-Archimedean geometry
By Raf Cluckers
“Motivic integration and its interactions with model theory and non-Archimedean geometry” Metadata:
- Title: ➤ Motivic integration and its interactions with model theory and non-Archimedean geometry
- Author: Raf Cluckers
- Language: English
- Number of Pages: Median: 348
- Publisher: Cambridge University Press
- Publish Date: 2011
- Publish Location: Cambridge - New York
“Motivic integration and its interactions with model theory and non-Archimedean geometry” Subjects and Themes:
- Subjects: ➤ MATHEMATICS / Logic - Valued fields - Model theory - Analytic spaces - Algebraic Geometry - Motives (Mathematics) - Geometry, algebraic
Edition Identifiers:
- The Open Library ID: ➤ OL40495621M - OL40489436M - OL40476605M - OL34464760M - OL40489377M - OL40567108M - OL34464537M - OL40567167M - OL24906379M
- Online Computer Library Center (OCLC) ID: 760981625
- Library of Congress Control Number (LCCN): 2011021254
- All ISBNs: ➤ 9780521149761 - 9781139141703 - 1139142593 - 9781139142038 - 1139137697 - 0511667531 - 1139141708 - 9780511984433 - 9781139142922 - 9781139142595 - 1139142925 - 1139142038 - 9781139138024 - 051198443X - 0521149762 - 9781139137690 - 1139138022 - 9780511667534
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Motivic integration and its interactions with model theory and non-Archimedean geometry at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Limit theorems and applications of set-valued and fuzzy set-valued random variables
By Shoumei Li, Y. Ogura and V. Kreinovich
“Limit theorems and applications of set-valued and fuzzy set-valued random variables” Metadata:
- Title: ➤ Limit theorems and applications of set-valued and fuzzy set-valued random variables
- Authors: Shoumei LiY. OguraV. Kreinovich
- Language: English
- Number of Pages: Median: 394
- Publisher: ➤ Springer - Kluwer Academic Publishers
- Publish Date: 2002 - 2010 - 2013 - 2014
- Publish Location: Dordrecht - Boston
“Limit theorems and applications of set-valued and fuzzy set-valued random variables” Subjects and Themes:
- Subjects: ➤ Limit theorems (Probability theory) - Random variables - Fuzzy set theory - Set theory - Probabilities - Mathematics - Science/Mathematics - Probability & Statistics - General - General - Mathematics / Logic - Limit theorems (Probability th - Variables (mathematics)
Edition Identifiers:
- The Open Library ID: ➤ OL8370306M - OL21661593M - OL19288664M - OL30619307M - OL34370750M - OL37424084M
- Online Computer Library Center (OCLC) ID: 50495432
- Library of Congress Control Number (LCCN): 2002033966
- All ISBNs: ➤ 9789401599320 - 9401599335 - 9401599327 - 9048161398 - 9789401599337 - 9789048161393 - 9781402009181 - 1402009186
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Limit theorems and applications of set-valued and fuzzy set-valued random variables at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Deep beauty
By Hans Halvorson
“Deep beauty” Metadata:
- Title: Deep beauty
- Author: Hans Halvorson
- Language: English
- Number of Pages: Median: 480
- Publisher: Cambridge University Press
- Publish Date: 2011
- Publish Location: New York - Cambridge
“Deep beauty” Subjects and Themes:
- Subjects: Quantum theory - Mathematics - Mathematical physics - MATHEMATICS / Logic
Edition Identifiers:
- The Open Library ID: ➤ OL24914738M - OL40893973M - OL40385895M - OL40476349M - OL34459182M - OL53948613M
- Library of Congress Control Number (LCCN): 2010046924
- All ISBNs: ➤ 1283112779 - 9781139080941 - 9781139066082 - 1139080946 - 1139066080 - 113908321X - 9780511976971 - 9781139083218 - 9781283112772 - 1107005701 - 9781107005709 - 0511976976
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Deep beauty at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Monoidal Topology
By Dirk Hofmann, Gavin J. Seal and Walter Tholen
“Monoidal Topology” Metadata:
- Title: Monoidal Topology
- Authors: Dirk HofmannGavin J. SealWalter Tholen
- Language: English
- Number of Pages: Median: 521
- Publisher: Cambridge University Press
- Publish Date: 2014
“Monoidal Topology” Subjects and Themes:
- Subjects: Semigroups - Group theory - Topological semigroups - MATHEMATICS / Logic
Edition Identifiers:
- The Open Library ID: ➤ OL40512334M - OL34506429M - OL40512807M - OL40497632M - OL53978936M - OL28523598M
- Online Computer Library Center (OCLC) ID: 864753056
- Library of Congress Control Number (LCCN): 2013046221
- All ISBNs: ➤ 1139990993 - 9781316007075 - 1322066892 - 1107517281 - 9781322066899 - 9781107063945 - 1316007073 - 9781107517288 - 9781139990998 - 9781316009314 - 1316009319 - 1107063949
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Monoidal Topology at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Elements of Logical Reasoning
By Jan von Plato
“Elements of Logical Reasoning” Metadata:
- Title: Elements of Logical Reasoning
- Author: Jan von Plato
- Language: English
- Number of Pages: Median: 271
- Publisher: ➤ Cambridge University Press - University of Cambridge ESOL Examinations
- Publish Date: 2014
“Elements of Logical Reasoning” Subjects and Themes:
- Subjects: ➤ Logic, symbolic and mathematical - Reasoning - Symbolic and mathematical Logic - MATHEMATICS / Logic
Edition Identifiers:
- The Open Library ID: OL28508403M - OL28508395M - OL29258845M
- Library of Congress Control Number (LCCN): 2013039013
- All ISBNs: ➤ 9781107610774 - 110761077X - 1107036593 - 9781139567862 - 9781107036598 - 1139567861
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Elements of Logical Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Formal languages in logic
By Catarina Dutilh Novaes
“Formal languages in logic” Metadata:
- Title: Formal languages in logic
- Author: Catarina Dutilh Novaes
- Language: English
- Number of Pages: Median: 280
- Publisher: ➤ Cambridge University Press - University of Cambridge ESOL Examinations
- Publish Date: 2012 - 2014
- Publish Location: Cambridge - New York
“Formal languages in logic” Subjects and Themes:
- Subjects: MATHEMATICS / Logic - Cognition - Formal languages - Reasoning
Edition Identifiers:
- The Open Library ID: OL34560917M - OL40471268M - OL40471157M - OL25330847M - OL29239646M
- Online Computer Library Center (OCLC) ID: 794227918
- Library of Congress Control Number (LCCN): 2012015483
- All ISBNs: ➤ 1139108018 - 9781107020917 - 1139782673 - 1107020913 - 9781107460317 - 110746031X - 1139786520 - 9781139108010 - 9781139782678 - 9781139786522
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal languages in logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Logic for computer science
By Jean H. Gallier
“Logic for computer science” Metadata:
- Title: Logic for computer science
- Author: Jean H. Gallier
- Language: English
- Number of Pages: Median: 511
- Publisher: ➤ Harper & Row - Longman Higher Education - Dover Publications, Incorporated - Wiley & Sons, Incorporated, John - Wiley
- Publish Date: 1985 - 1986 - 1987 - 2015
- Publish Location: ➤ New York, NY - New York - London - Chichester
“Logic for computer science” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Symbolic and mathematical Logic - Logic, symbolic and mathematical - MATHEMATICS / Logic
Edition Identifiers:
- The Open Library ID: ➤ OL39969448M - OL38371461M - OL28530661M - OL2533365M - OL22115889M - OL22570421M
- Online Computer Library Center (OCLC) ID: 12216897
- Library of Congress Control Number (LCCN): 2014048078 - 85014071
- All ISBNs: ➤ 0486780821 - 9780060422257 - 0471603287 - 9780471615460 - 9780471603283 - 9780486780825 - 0486805085 - 0060422254 - 0471615463 - 9780486805085
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic for computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Finite and algorithmic model theory
By Javier Esparza
“Finite and algorithmic model theory” Metadata:
- Title: ➤ Finite and algorithmic model theory
- Author: Javier Esparza
- Language: English
- Number of Pages: Median: 348
- Publisher: Cambridge University Press
- Publish Date: 2011
- Publish Location: Cambridge - New York
“Finite and algorithmic model theory” Subjects and Themes:
- Subjects: Mathematics - Computer science - Finite model theory - Computer science, mathematics - MATHEMATICS / Logic
Edition Identifiers:
- The Open Library ID: ➤ OL53936508M - OL40512225M - OL40489376M - OL40470212M - OL34459437M - OL24903426M
- Online Computer Library Center (OCLC) ID: 663441246
- Library of Congress Control Number (LCCN): 2010048062
- All ISBNs: ➤ 9781139114264 - 9780511974960 - 9781139118606 - 9780521718202 - 9781283295611 - 1139118609 - 9781139116435 - 128329561X - 0511974965 - 0521718201 - 1139114263 - 1139116436
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Finite and algorithmic model theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Methods of Argumentation
By Douglas Walton
“Methods of Argumentation” Metadata:
- Title: Methods of Argumentation
- Author: Douglas Walton
- Language: English
- Number of Pages: Median: 320
- Publisher: ➤ University of Cambridge ESOL Examinations - Cambridge University Press
- Publish Date: 2013 - 2014
“Methods of Argumentation” Subjects and Themes:
- Subjects: Reasoning - MATHEMATICS / Logic
Edition Identifiers:
- The Open Library ID: OL29258716M - OL28505288M - OL27576004M
- Online Computer Library Center (OCLC) ID: 830523850
- Library of Congress Control Number (LCCN): 2013015608
- All ISBNs: ➤ 1107039304 - 9781107039308 - 1139600184 - 9781139600187 - 9781107677333 - 1107677335
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Methods of Argumentation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Coherence In Threedimensional Category Theory
By Nick Gurski
“Coherence In Threedimensional Category Theory” Metadata:
- Title: ➤ Coherence In Threedimensional Category Theory
- Author: Nick Gurski
- Language: English
- Number of Pages: Median: 283
- Publisher: Cambridge University Press
- Publish Date: 2013
“Coherence In Threedimensional Category Theory” Subjects and Themes:
- Subjects: Categories (mathematics) - MATHEMATICS / Logic - Tricategories - Theory of Triples
Edition Identifiers:
- The Open Library ID: OL53954320M - OL34558662M - OL40503252M - OL26182096M - OL40395469M
- Online Computer Library Center (OCLC) ID: 813938959
- Library of Congress Control Number (LCCN): 2012051079
- All ISBNs: ➤ 1107333571 - 9781107331280 - 1107331285 - 9781299399952 - 9781107034891 - 9781107333574 - 1107034892 - 1139542338 - 9781139542333 - 1299399959
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Coherence In Threedimensional Category Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Kurt Gödel and the foundations of mathematics
By Matthias Baaz
“Kurt Gödel and the foundations of mathematics” Metadata:
- Title: ➤ Kurt Gödel and the foundations of mathematics
- Author: Matthias Baaz
- Language: English
- Number of Pages: Median: 515
- Publisher: Cambridge University Press
- Publish Date: 2011
- Publish Location: New York, USA
“Kurt Gödel and the foundations of mathematics” Subjects and Themes:
- Subjects: ➤ MATHEMATICS / Logic - Mathematics - Philosophy - Gödel's theorem - Goedel's theorem - Mathematics, philosophy
- People: Kurt Gödel (1906-1978)
Edition Identifiers:
- The Open Library ID: OL40730649M - OL40489205M - OL40378716M - OL34463542M - OL25008365M
- Online Computer Library Center (OCLC) ID: 693553974
- Library of Congress Control Number (LCCN): 2010048055
- All ISBNs: ➤ 9781139081931 - 9781139064767 - 9780511974236 - 1139081934 - 051197423X - 0521761441 - 1139079654 - 9780521761444 - 9781139079655 - 1139064762
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Kurt Gödel and the foundations of mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Problems in set theory, mathematical logic, and the theory of algorithms
By I. A. Lavrov, Igor Lavrov and Larisa Maksimova
“Problems in set theory, mathematical logic, and the theory of algorithms” Metadata:
- Title: ➤ Problems in set theory, mathematical logic, and the theory of algorithms
- Authors: I. A. LavrovIgor LavrovLarisa Maksimova
- Language: English
- Number of Pages: Median: 282
- Publisher: ➤ Springer - Kluwer Academic/Plenum Publishers - Springer London, Limited
- Publish Date: 2003 - 2012
- Publish Location: New York
“Problems in set theory, mathematical logic, and the theory of algorithms” Subjects and Themes:
- Subjects: ➤ Algorithms - Logic, Symbolic and mathematical - Problems, exercises - Problems, exercises, etc - Set theory - Symbolic and mathematical Logic - Mathematical logic - Mathematics - Science/Mathematics - Computer Science - Logic - Mathematics / Logic - Logic, Symbolic and mathematic - Algebra - Data processing - Mathematical Logic and Foundations - Symbolic and Algebraic Manipulation
Edition Identifiers:
- The Open Library ID: OL37236482M - OL34380010M - OL9649106M - OL19289124M
- Online Computer Library Center (OCLC) ID: 51289722
- Library of Congress Control Number (LCCN): 2002043456
- All ISBNs: ➤ 0306477122 - 1461501857 - 1461349575 - 9781461501855 - 9780306477126 - 9781461349570
First Setence:
"The sign denotes the membership relation, i.e., A means that an element is a member of a set A."
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Problems in set theory, mathematical logic, and the theory of algorithms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Finite model theory
By Heinz-Dieter Ebbinghaus and Jörg Flum
“Finite model theory” Metadata:
- Title: Finite model theory
- Authors: Heinz-Dieter EbbinghausJörg Flum
- Language: English
- Number of Pages: Median: 344
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: ➤ 1995 - 1999 - 2004 - 2005 - 2013
- Publish Location: Berlin - New York
“Finite model theory” Subjects and Themes:
- Subjects: ➤ Model theory - Logica - Logique 1er ordre - Classe complexité - Modèles, théorie des - Isomorphisme - Théorie modèle - Mathematical logic - Set theory - Philosophy Of Mathematics - Mathematics - Science/Mathematics - Logic - Mathematics / Logic - Computer software - Computer science - Symbolic and mathematical Logic - Mathematical Logic and Foundations - Algorithm Analysis and Problem Complexity - Mathematical Logic and Formal Languages
Edition Identifiers:
- The Open Library ID: OL37086460M - OL35796256M - OL9062944M - OL798945M - OL44432M
- Online Computer Library Center (OCLC) ID: 503438533 - 42002596
- Library of Congress Control Number (LCCN): 99039853 - 95035175
- All ISBNs: ➤ 9783540287889 - 9783540657583 - 3662031825 - 9783540601494 - 9783662031827 - 3540657584 - 354060149X - 3540287884
First Setence:
"The purpose of this section is to fix notations and terminology for the basic notions related to first-order logic."
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Finite model theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Algorithms
By Uspenskiĭ, V. A., Vladimir Uspensky and A.L. Semenov
“Algorithms” Metadata:
- Title: Algorithms
- Authors: Uspenskiĭ, V. A.Vladimir UspenskyA.L. Semenov
- Language: English
- Number of Pages: Median: 269
- Publisher: ➤ Springer - Kluwer Academic - Kluwer Academic Publishers
- Publish Date: 1993
- Publish Location: Boston - London - Dordrecht
“Algorithms” Subjects and Themes:
- Subjects: ➤ Algorithms - Mathematical logic - Mathematical modelling - Mathematics - Algorithms (Computer Programming) - Applied Mathematics - Science/Mathematics - Computer Science - Logic - Computers-Computer Science - Mathematics / Logic - Philosophy-Logic
Edition Identifiers:
- The Open Library ID: OL1399375M - OL7807166M - OL22639495M
- Online Computer Library Center (OCLC) ID: 27726956
- Library of Congress Control Number (LCCN): 93007046
- All ISBNs: 9780792322108 - 079232210X
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Algorithms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Quantifiers, propositions, and identity
By Robert Goldblatt
“Quantifiers, propositions, and identity” Metadata:
- Title: ➤ Quantifiers, propositions, and identity
- Author: Robert Goldblatt
- Language: English
- Number of Pages: Median: 282
- Publisher: Cambridge University Press
- Publish Date: 2011 - 2012
- Publish Location: New York - Cambridge
“Quantifiers, propositions, and identity” Subjects and Themes:
- Subjects: ➤ MATHEMATICS / Logic - Modality (Logic) - Symbolic and mathematical Logic - Semantics (Philosophy) - Variables (Mathematics) - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL34462911M - OL24896152M - OL40470431M - OL40464748M
- Online Computer Library Center (OCLC) ID: 714729267
- Library of Congress Control Number (LCCN): 2011022157
- All ISBNs: ➤ 1139099787 - 9781139099783 - 9781107010529 - 0511862350 - 113909842X - 9781139098427 - 9780511862359 - 1107010527
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Quantifiers, propositions, and identity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Logic in elementary mathematics
By Robert M. Exner
“Logic in elementary mathematics” Metadata:
- Title: ➤ Logic in elementary mathematics
- Author: Robert M. Exner
- Language: English
- Number of Pages: Median: 274
- Publisher: ➤ Creative Media Partners, LLC - McGraw Hill Text - Dover Publications, Incorporated - Dover Publications, Inc.
- Publish Date: 1959 - 2011 - 2021
- Publish Location: Mineola, N.Y
“Logic in elementary mathematics” Subjects and Themes:
- Subjects: ➤ Mathematics - Philosophy - Symbolic and mathematical Logic - MATHEMATICS / Logic - Mathematics, philosophy - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL46269808M - OL27130023M - OL39805601M - OL38362588M
- Online Computer Library Center (OCLC) ID: 697267181
- Library of Congress Control Number (LCCN): 2010052658
- All ISBNs: ➤ 9780486482217 - 0070198705 - 048626422X - 9781015317611 - 0486482219 - 9780070198708 - 9780486264226 - 1015317618
Access and General Info:
- First Year Published: 1959
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic in elementary mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Computational complexity
By K. Wagner and G. Wechsung
“Computational complexity” Metadata:
- Title: Computational complexity
- Authors: K. WagnerG. Wechsung
- Language: English
- Number of Pages: Median: 554
- Publisher: ➤ Distributors for the U.S.A. and Canada, Kluwer Academic Publishers - Springer - Hingham, MA, U.S.A. - Reidel Pub. Co.
- Publish Date: 1899 - 1986
- Publish Location: Boston - Dordrecht
“Computational complexity” Subjects and Themes:
- Subjects: ➤ Computational complexity - Number theory - Logic - Engineering Mathematics - Mathematical Physics - Computers - Mathematics - Computer Books: General - Computer Science - Computers / Computer Science - Computers-Computer Science - Mathematics / Logic - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL9096462M - OL2543835M
- Online Computer Library Center (OCLC) ID: 12809845
- Library of Congress Control Number (LCCN): 85025587
- All ISBNs: 9789027721464 - 9027721467
Access and General Info:
- First Year Published: 1899
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computational complexity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Algorithmic logic
By Grażyna Mirkowska-Salwicka, G. Mirkowska and A. Salwicki
“Algorithmic logic” Metadata:
- Title: Algorithmic logic
- Authors: Grażyna Mirkowska-SalwickaG. MirkowskaA. Salwicki
- Language: English
- Number of Pages: Median: 380
- Publisher: ➤ PWN-Polish Scientific Publishers - Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers - Springer - D. Reidel Pub. Co.
- Publish Date: 1987
- Publish Location: ➤ Boston - Norwell, MA, U.S.A - Warszawa - Dordrecht
“Algorithmic logic” Subjects and Themes:
- Subjects: ➤ Algorithms - Formal languages - Symbolic and mathematical Logic - Algebra - Image processing - Algorithms (Computer Programming) - Computers - Mathematics - Science/Mathematics - Computer Books: General - Logic - Computer Science - Computers / Computer Science - Computers-Computer Science - Mathematics / Logic - Logic, Symbolic and mathematic - Logic, Symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL9096352M - OL3021992M
- Online Computer Library Center (OCLC) ID: 11812440
- Library of Congress Control Number (LCCN): 85002201
- All ISBNs: 9027719284 - 9789027719287
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Algorithmic logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Constructive models
By I͡Uriĭ Leonidovich Ershov, Yuri L. Ershov and Sergei S. Goncharov
“Constructive models” Metadata:
- Title: Constructive models
- Authors: I͡Uriĭ Leonidovich ErshovYuri L. ErshovSergei S. Goncharov
- Language: English
- Number of Pages: Median: 306
- Publisher: Springer - Consultants Bureau
- Publish Date: 2000 - 2012
- Publish Location: New York
“Constructive models” Subjects and Themes:
- Subjects: ➤ Constructive mathematics - Mathematical foundations - Mathematical modelling - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Mathematics - Science/Mathematics - Logic - Constructive mathematics - Mathematics / Logic - Mathematical models
Edition Identifiers:
- The Open Library ID: OL9763225M - OL27995233M - OL6781559M
- Library of Congress Control Number (LCCN): 00029232
- All ISBNs: 0306110660 - 1461369320 - 9781461369325 - 9780306110665
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Constructive models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Algebraic foundations of many-valued reasoning
By Roberto Cignoli, R.L. Cignoli, I.M. d'Ottaviano and Daniele Mundici
“Algebraic foundations of many-valued reasoning” Metadata:
- Title: ➤ Algebraic foundations of many-valued reasoning
- Authors: Roberto CignoliR.L. CignoliI.M. d'OttavianoDaniele Mundici
- Language: English
- Number of Pages: Median: 231
- Publisher: ➤ Kluwer Academic - Springer - Kluwer Academic Publishers
- Publish Date: 1999 - 2000
- Publish Location: Boston - Dordrecht - London
“Algebraic foundations of many-valued reasoning” Subjects and Themes:
- Subjects: ➤ Many-valued logic - Proposition (Logic) - Mathematical logic - Mathematics - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Science/Mathematics - Discrete Mathematics - Logic - Mathematics / Logic - Mathematics-Discrete Mathematics - Philosophy / Logic - Philosophy-Logic
Edition Identifiers:
- The Open Library ID: OL22641927M - OL21801084M - OL7809052M
- Library of Congress Control Number (LCCN): 99052098
- All ISBNs: 9780792360094 - 0792360095
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Algebraic foundations of many-valued reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Crossing the river with dogs
By Johnson, Ken
“Crossing the river with dogs” Metadata:
- Title: Crossing the river with dogs
- Author: Johnson, Ken
- Language: English
- Number of Pages: Median: 560
- Publisher: Wiley
- Publish Date: 2012
- Publish Location: Hoboken, N.J
“Crossing the river with dogs” Subjects and Themes:
- Subjects: MATHEMATICS / Logic - Mathematics - Problem solving
Edition Identifiers:
- The Open Library ID: OL25047038M
- Library of Congress Control Number (LCCN): 2011039269
- All ISBNs: 0470464739 - 9780470464731
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Crossing the river with dogs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Traffic control and transport planning
By D. Teodorović, Dusan Teodorovic and Katarina Vukadinovic
“Traffic control and transport planning” Metadata:
- Title: ➤ Traffic control and transport planning
- Authors: D. TeodorovićDusan TeodorovicKatarina Vukadinovic
- Language: English
- Number of Pages: Median: 387
- Publisher: ➤ Springer - Kluwer Academic Publishers
- Publish Date: 1998 - 2012
- Publish Location: Boston
“Traffic control and transport planning” Subjects and Themes:
- Subjects: ➤ Traffic signs and signals - Neural networks (Computer science) - Planning - Transportation - Fuzzy sets - Fuzzy set theory - Transport industries - Neural Networks - Traffic Engineering - Transportation Engineering (General) - Mathematics - Neural networks (Computer scie - Applied - Artificial Intelligence - Fuzzy Logic - Computers-Artificial Intelligence - Fuzzy Logic - Computers-Neural Networks - Mathematics / Applied - Mathematics / Logic - General - Traffic engineering, data processing
Edition Identifiers:
- The Open Library ID: OL7810194M - OL29478992M - OL383590M
- Library of Congress Control Number (LCCN): 98046082
- All ISBNs: 079238380X - 9780792383802 - 940105892X - 9789401058926
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Traffic control and transport planning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Mathematics of fuzzy sets
By Ulrich Höhle and S.E. Rodabaugh
“Mathematics of fuzzy sets” Metadata:
- Title: Mathematics of fuzzy sets
- Authors: Ulrich HöhleS.E. Rodabaugh
- Language: English
- Number of Pages: Median: 728
- Publisher: ➤ Kluwer Academic Publishers - Springer
- Publish Date: 1998 - 1999 - 2012
- Publish Location: Boston
“Mathematics of fuzzy sets” Subjects and Themes:
- Subjects: ➤ Fuzzy sets - Fuzzy mathematics - Fuzzy set theory - Set Theory - Logic - Mathematics - Science/Mathematics - Mathematics / Logic - Mathematics / Set Theory
Edition Identifiers:
- The Open Library ID: OL30515006M - OL383145M - OL7810198M
- Online Computer Library Center (OCLC) ID: 39962051
- Library of Congress Control Number (LCCN): 98045584
- All ISBNs: 1461550807 - 9780792383888 - 9781461550808 - 0792383885
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Mathematics of fuzzy sets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28A mathematical structure for emergent computation
By Victor Korotkich and V. Korotkikh
“A mathematical structure for emergent computation” Metadata:
- Title: ➤ A mathematical structure for emergent computation
- Authors: Victor KorotkichV. Korotkikh
- Language: English
- Number of Pages: Median: 172
- Publisher: ➤ Kluwer Academic Publishers - Springer
- Publish Date: 1999
- Publish Location: ➤ Boston - Dordrecht, The Netherlands
“A mathematical structure for emergent computation” Subjects and Themes:
- Subjects: ➤ Computational complexity - Natural Numbers - Lattice theory - Probability & statistics - Numbers, Natural - Optimization (Mathematical Theory) - Theory Of Computing - Mathematics - Science/Mathematics - Algebra - General - Computer Science - Logic - Computers-Computer Science - Mathematics / Algebra / General - Mathematics / Logic - Mathematics-Algebra - General - Linear Programming
Edition Identifiers:
- The Open Library ID: OL7809053M - OL21801058M
- Online Computer Library Center (OCLC) ID: 42429387
- Library of Congress Control Number (LCCN): 99047043
- All ISBNs: 0792360109 - 9780792360100
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find A mathematical structure for emergent computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Orthomodular structures as quantum logics
By Pavel Pták, Pavel Pták and Sylvia Pulmannová
“Orthomodular structures as quantum logics” Metadata:
- Title: ➤ Orthomodular structures as quantum logics
- Authors: Pavel PtákPavel PtákSylvia Pulmannová
- Language: English
- Number of Pages: Median: 228
- Publisher: ➤ Kluwer Academic Publishers - Springer
- Publish Date: 1991
- Publish Location: Boston - Dordrecht
“Orthomodular structures as quantum logics” Subjects and Themes:
- Subjects: ➤ Orthomodular lattices - Probabilities - Quantum theory - Symbolic and mathematical Logic - Science/Mathematics - Mathematics - Mathematical And Symbolic Logic - Science - Algebra - General - Logic - Mathematics / Logic - Mathematics-Algebra - General - Science / Quantum Theory - Science-Quantum Theory - Logic, Symbolic and mathematic - Logic, Symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL7806587M - OL1532674M
- Online Computer Library Center (OCLC) ID: 23253159
- Library of Congress Control Number (LCCN): 91010329
- All ISBNs: 0792312074 - 9780792312079 - 9788022402422 - 8022402427
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Orthomodular structures as quantum logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Many-valued logics
By Leonard Bolc and Piotr Borowik
“Many-valued logics” Metadata:
- Title: Many-valued logics
- Authors: Leonard BolcPiotr Borowik
- Language: English
- Number of Pages: Median: 314
- Publisher: Springer-Verlag - Springer
- Publish Date: 1992 - 2004
- Publish Location: Berlin - New York
“Many-valued logics” Subjects and Themes:
- Subjects: ➤ Many-valued logic - Computer Programming - Fuzzy set theory - Mathematical theory of computation - Mathematical And Symbolic Logic - Set Theory - Computers - Computers - Languages / Programming - Science/Mathematics - Programming - General - Logic Design - Mathematics / Logic - Computer Science - Programming Languages - General - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL9062607M - OL1729689M
- Online Computer Library Center (OCLC) ID: 26674022
- Library of Congress Control Number (LCCN): 92034076
- All ISBNs: ➤ 9783540645078 - 0387559264 - 9780387559261 - 3540645071 - 3540559264 - 9783540559269
First Setence:
"Basic Notions of Algebra"
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Many-valued logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Fuzzy logic in management
By C. Carlsson, Christer Carlsson, M. Fedrizzi and Robert Fuller
“Fuzzy logic in management” Metadata:
- Title: Fuzzy logic in management
- Authors: C. CarlssonChrister CarlssonM. FedrizziRobert Fuller
- Language: English
- Number of Pages: Median: 286
- Publisher: Kluwer Academic - Springer
- Publish Date: 2003 - 2004
- Publish Location: Boston
“Fuzzy logic in management” Subjects and Themes:
- Subjects: ➤ Fuzzy logic - Management - Fuzzy set theory - Mathematics - Logic - Science/Mathematics - Management Science - Mathematics / Logic
Edition Identifiers:
- The Open Library ID: OL19290676M - OL8372849M
- Online Computer Library Center (OCLC) ID: 53388538
- Library of Congress Control Number (LCCN): 2003062018
- All ISBNs: 1402076959 - 9781402076954
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Fuzzy logic in management at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Proof Theory
By Gaisi Takeuti
“Proof Theory” Metadata:
- Title: Proof Theory
- Author: Gaisi Takeuti
- Language: English
- Number of Pages: Median: 512
- Publisher: ➤ Dover Publications - Dover Publications, Incorporated
- Publish Date: 2013
“Proof Theory” Subjects and Themes:
- Subjects: Proof theory - MATHEMATICS / Logic
Edition Identifiers:
- The Open Library ID: OL38382895M - OL28109113M
- Library of Congress Control Number (LCCN): 2012030734
- All ISBNs: 9780486320670 - 0486320677 - 0486490734 - 9780486490731
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Proof Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33The theory of partial algebraic operations
By E. S. Li͡apin, E.S. Ljapin and A.E. Evseev
“The theory of partial algebraic operations” Metadata:
- Title: ➤ The theory of partial algebraic operations
- Authors: E. S. Li͡apinE.S. LjapinA.E. Evseev
- Language: English
- Number of Pages: Median: 242
- Publisher: Springer - Kluwer Academic
- Publish Date: 1997
- Publish Location: Boston - Dordrecht
“The theory of partial algebraic operations” Subjects and Themes:
- Subjects: ➤ Partial algebras - Groups & group theory - Mathematics - Algebra - Science/Mathematics - Group Theory - Information Theory - Logic - Mathematics / Logic - Algebra - General
Edition Identifiers:
- The Open Library ID: OL657456M - OL7808416M
- Online Computer Library Center (OCLC) ID: 36892697
- Library of Congress Control Number (LCCN): 97002589
- All ISBNs: 0792346092 - 9780792346098
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The theory of partial algebraic operations at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Mathematical principles of fuzzy logic
By Vilém Novák, Vilém Novák, Irina Perfilieva and J. Mockor
“Mathematical principles of fuzzy logic” Metadata:
- Title: ➤ Mathematical principles of fuzzy logic
- Authors: Vilém NovákVilém NovákIrina PerfilievaJ. Mockor
- Language: English
- Number of Pages: Median: 328
- Publisher: Kluwer Academic - Springer
- Publish Date: 1999
- Publish Location: Boston
“Mathematical principles of fuzzy logic” Subjects and Themes:
- Subjects: ➤ Fuzzy logic - Fuzzy set theory - Set Theory - Logic - Fuzzy Sets - Mathematical And Symbolic Logic - Mathematics - Science/Mathematics - Artificial Intelligence - General - Computer Science - Computers-Artificial Intelligence - General - Computers-Computer Science - Mathematics / Logic
Edition Identifiers:
- The Open Library ID: OL43310M - OL7810311M
- Online Computer Library Center (OCLC) ID: 41628257
- Library of Congress Control Number (LCCN): 99037210
- All ISBNs: 0792385950 - 9780792385950
First Setence:
"The discussion about the philosophical background and the role of fuzzy logic in science has not been finished till now."
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Mathematical principles of fuzzy logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Incomplete information
By Stéphane P. Demri, Stephane P. Demri and Ewa S. Orlowska
“Incomplete information” Metadata:
- Title: Incomplete information
- Authors: Stéphane P. DemriStephane P. DemriEwa S. Orlowska
- Language: English
- Number of Pages: Median: 428
- Publisher: Springer
- Publish Date: 2002
- Publish Location: Berlin - New York
“Incomplete information” Subjects and Themes:
- Subjects: ➤ Soft computing - Rough sets - Fuzzy sets - Databases & data structures - Data Processing - General - Computer Logic - Theory Of Computing - Computers - Computers - Data Base Management - Computer Books: Database - Programming Languages - General - Database Management - General - Artificial Intelligence - General - Mathematics / Logic - Computer science
Edition Identifiers:
- The Open Library ID: OL17071613M - OL9057252M
- Library of Congress Control Number (LCCN): 2001055106
- All ISBNs: 3540419047 - 9783540419044
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Incomplete information at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Labelled non-classical logics
By Luca Viganò, Luca Viganò and Luca Vigano
“Labelled non-classical logics” Metadata:
- Title: Labelled non-classical logics
- Authors: Luca ViganòLuca ViganòLuca Vigano
- Language: English
- Number of Pages: Median: 300
- Publisher: ➤ Springer - Kluwer Academic Publishers
- Publish Date: 2000
- Publish Location: Boston
“Labelled non-classical logics” Subjects and Themes:
- Subjects: ➤ Nonclassical mathematical logic - Computer Programming - Mathematical logic - Mathematical theory of computation - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Mathematics - Computer Books: Operating Systems - Artificial Intelligence - General - Logic - Computers-Artificial Intelligence - General - Mathematics / Logic - Philosophy / Logic - Philosophy-Logic - Mathematics, philosophy
Edition Identifiers:
- The Open Library ID: OL7809882M - OL20643365M
- Library of Congress Control Number (LCCN): 99089297
- All ISBNs: 9780792377498 - 0792377494
First Setence:
"Non-classical logics such as modal, temporal, relevance or substructural logics are extensions or restrictions of classical logic that provide languages for formalizing and reasoning about knowledge, belief, time, space, resources, and other dynamic 'state-oriented' properties."
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Labelled non-classical logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Labelled deduction
By David Basin and Various
“Labelled deduction” Metadata:
- Title: Labelled deduction
- Authors: David BasinVarious
- Language: English
- Number of Pages: Median: 266
- Publisher: ➤ Island Press - Kluwer Academic Publishers
- Publish Date: 2000
- Publish Location: Dordrecht - Boston
“Labelled deduction” Subjects and Themes:
- Subjects: ➤ Modality (Logic) - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Philosophy - Mathematics - Artificial Intelligence - General - Logic - Computers : Artificial Intelligence - General - Mathematics / Logic - Philosophy / Logic - Computers
Edition Identifiers:
- The Open Library ID: OL18140109M - OL50687011M
- Online Computer Library Center (OCLC) ID: 43706716
- Library of Congress Control Number (LCCN): 00028202
- All ISBNs: 0792362373 - 9789401140416 - 9401140413 - 9780792362371
Author's Alternative Names:
"Vario", "VARIOUS AUTHORS", "VARIOS", "varios authors", "Various authors.", "Anthology: various authors", "Varios Autores", "Varios Artistas", "Various Celebrated Authors", "Various Non-Fiction Authors", "VARIOUS", "by Various Authors", "VARIOUS SPMG", "Various AUTORES", "varios autores", "Varios", "various", "various.", "VARIOUS AUTHOR", "VARIOS(132735)", "Author Autores Varios", "Various Aut.", "Varios autores", "Compendium of various authors", "Various Aut", "VARIOS AUTORES", "Autores Varios", "Various Authorities", "Various.", "Various Various", "Various authors", "Various Chapter Authors", "A Compendium of Various Authors", "Various Authors & Artists", "Various Authors By", "Compendium of Various Authors", "Various Au", "varios", "Various Illustrators Various Authors", "Varios Participantes", "(various)", "various authors", "Readers to Be Confirmed Various Authors", "autores varios", "VARIOS.", "Various Authors", "Autores VARIOS", "Autores varios", "Authors Various Authors", "Various, Authors", "Various Writers", "VARIOS(832172)", "Various - DO NOT USE",Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Labelled deduction at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Burden Of Proof Presumption And Argumentation
By Douglas Walton
“Burden Of Proof Presumption And Argumentation” Metadata:
- Title: ➤ Burden Of Proof Presumption And Argumentation
- Author: Douglas Walton
- Publisher: Cambridge University Press
- Publish Date: 2014
“Burden Of Proof Presumption And Argumentation” Subjects and Themes:
- Subjects: Proof theory - Burden of proof - MATHEMATICS / Logic
Edition Identifiers:
- The Open Library ID: OL26018449M
- Online Computer Library Center (OCLC) ID: 879034022
- Library of Congress Control Number (LCCN): 2014014939
- All ISBNs: 110767882X - 9781107678828
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Burden Of Proof Presumption And Argumentation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39An introduction to category theory
By Harold Simmons
“An introduction to category theory” Metadata:
- Title: ➤ An introduction to category theory
- Author: Harold Simmons
- Language: English
- Number of Pages: Median: 237
- Publisher: Cambridge University Press
- Publish Date: 2011
- Publish Location: Cambridge - New York
“An introduction to category theory” Subjects and Themes:
- Subjects: MATHEMATICS / Logic - Categories (Mathematics) - Functor theory
Edition Identifiers:
- The Open Library ID: OL27647631M - OL24896130M
- Online Computer Library Center (OCLC) ID: 729345792
- Library of Congress Control Number (LCCN): 2011021721
- All ISBNs: 110701087X - 0521283043 - 9781107010871 - 9780521283045
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find An introduction to category theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Agent Zero Toward Neurocognitive Foundations For Generative Social Science
By Joshua M. Epstein
“Agent Zero Toward Neurocognitive Foundations For Generative Social Science” Metadata:
- Title: ➤ Agent Zero Toward Neurocognitive Foundations For Generative Social Science
- Author: Joshua M. Epstein
- Publisher: Princeton University Press
- Publish Date: 2014
“Agent Zero Toward Neurocognitive Foundations For Generative Social Science” Subjects and Themes:
- Subjects: ➤ Social sciences, computer network resources - Social sciences, mathematical models - Social sciences - Computer simulation - Mathematical models - MATHEMATICS / Applied - MATHEMATICS / Linear Programming - MATHEMATICS / Logic - COMPUTERS / Data Modeling & Design - SOCIAL SCIENCE / General
Edition Identifiers:
- The Open Library ID: OL26042662M
- Online Computer Library Center (OCLC) ID: 841391620
- Library of Congress Control Number (LCCN): 2013018009
- All ISBNs: 0691158886 - 9780691158884
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Agent Zero Toward Neurocognitive Foundations For Generative Social Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Pure Inductive Logic Perspectives in Logic
By Jeffrey Paris
“Pure Inductive Logic Perspectives in Logic” Metadata:
- Title: ➤ Pure Inductive Logic Perspectives in Logic
- Author: Jeffrey Paris
- Publisher: Cambridge University Press
- Publish Date: 2014
“Pure Inductive Logic Perspectives in Logic” Subjects and Themes:
- Subjects: MATHEMATICS / Logic - Induction (Logic) - Induction (logic)
Edition Identifiers:
- The Open Library ID: OL26078897M
- Online Computer Library Center (OCLC) ID: 903118153
- Library of Congress Control Number (LCCN): 2015004107
- All ISBNs: 1107042305 - 9781107042308
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Pure Inductive Logic Perspectives in Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Logical dynamics of information and interaction
By J. F. A. K. van Benthem
“Logical dynamics of information and interaction” Metadata:
- Title: ➤ Logical dynamics of information and interaction
- Author: J. F. A. K. van Benthem
- Language: English
- Number of Pages: Median: 373
- Publisher: Cambridge University Press
- Publish Date: 2011
- Publish Location: New York - Cambridge
“Logical dynamics of information and interaction” Subjects and Themes:
- Subjects: ➤ MATHEMATICS / Logic - Symbolic and mathematical Logic - Comprehension
Edition Identifiers:
- The Open Library ID: OL25156638M
- Online Computer Library Center (OCLC) ID: 745428738
- Library of Congress Control Number (LCCN): 2011030309
- All ISBNs: 9780521765794 - 052176579X
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logical dynamics of information and interaction at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43The puzzler's dilemma
By Derrick Niederman
“The puzzler's dilemma” Metadata:
- Title: The puzzler's dilemma
- Author: Derrick Niederman
- Language: English
- Publisher: Perigee Trade
- Publish Date: 2012
- Publish Location: New York
“The puzzler's dilemma” Subjects and Themes:
- Subjects: ➤ MATHEMATICS / Logic - MATHEMATICS / Reference - Symbolic and mathematical Logic - Mathematical recreations - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL25121592M
- Library of Congress Control Number (LCCN): 2011042319
- All ISBNs: 0399537295 - 9780399537295
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The puzzler's dilemma at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Set theory, arithmetic, and foundations of mathematics
By Juliette Kennedy
“Set theory, arithmetic, and foundations of mathematics” Metadata:
- Title: ➤ Set theory, arithmetic, and foundations of mathematics
- Author: Juliette Kennedy
- Language: English
- Publisher: Cambridge University Press
- Publish Date: 2012
- Publish Location: New York - Cambridge
“Set theory, arithmetic, and foundations of mathematics” Subjects and Themes:
- Subjects: ➤ MATHEMATICS / Logic - Set theory - Philosophy - Symbolic and mathematical Logic - Mathematics - Logic, symbolic and mathematical - Mathematics, philosophy
Edition Identifiers:
- The Open Library ID: OL24896142M
- Online Computer Library Center (OCLC) ID: 733755074
- Library of Congress Control Number (LCCN): 2011022032
- All ISBNs: 1107008042 - 9781107008045
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Set theory, arithmetic, and foundations of mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Zermelo's Axiom of Choice: Its Origins, Development, and Influence (Dover Books on Mathematics)
By Gregory H. Moore
“Zermelo's Axiom of Choice: Its Origins, Development, and Influence (Dover Books on Mathematics)” Metadata:
- Title: ➤ Zermelo's Axiom of Choice: Its Origins, Development, and Influence (Dover Books on Mathematics)
- Author: Gregory H. Moore
- Number of Pages: Median: 446
- Publisher: Dover Publications
- Publish Date: 2013
“Zermelo's Axiom of Choice: Its Origins, Development, and Influence (Dover Books on Mathematics)” Subjects and Themes:
- Subjects: Axioms - Mathematicians - MATHEMATICS / Logic - Axiom of choice
Edition Identifiers:
- The Open Library ID: OL26794486M
- Library of Congress Control Number (LCCN): 2012031693
- All ISBNs: 9780486488417 - 0486488411
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Zermelo's Axiom of Choice: Its Origins, Development, and Influence (Dover Books on Mathematics) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Graph structure and monadic second-order logic
By B. Courcelle
“Graph structure and monadic second-order logic” Metadata:
- Title: ➤ Graph structure and monadic second-order logic
- Author: B. Courcelle
- Language: English
- Publisher: Cambridge University Press
- Publish Date: 2012
- Publish Location: New York - Cambridge
“Graph structure and monadic second-order logic” Subjects and Themes:
- Subjects: ➤ MATHEMATICS / Logic - Graphic methods - Symbolic and mathematical Logic - Graph theory - Model theory
Edition Identifiers:
- The Open Library ID: OL25247122M
- Online Computer Library Center (OCLC) ID: 779740328
- Library of Congress Control Number (LCCN): 2012008159
- All ISBNs: 0521898331 - 9780521898331
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Graph structure and monadic second-order logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Infinity
By Michał Heller and W. H. Woodin
“Infinity” Metadata:
- Title: Infinity
- Authors: Michał HellerW. H. Woodin
- Language: English
- Number of Pages: Median: 311
- Publisher: Cambridge University Press
- Publish Date: 2011
- Publish Location: Cambridge - New York
“Infinity” Subjects and Themes:
- Subjects: ➤ Infinite - Mathematics - Philosophy - MATHEMATICS / Logic - History - Mathematics, philosophy - The Finite
Edition Identifiers:
- The Open Library ID: OL27045293M
- Online Computer Library Center (OCLC) ID: 656774335
- Library of Congress Control Number (LCCN): 2010049374
- All ISBNs: 1107003873 - 9781107003873
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Infinity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Simple theories and hyperimaginaries
By Enrique Casanovas
“Simple theories and hyperimaginaries” Metadata:
- Title: ➤ Simple theories and hyperimaginaries
- Author: Enrique Casanovas
- Language: English
- Number of Pages: Median: 169
- Publisher: Cambridge University Press
- Publish Date: 2011
- Publish Location: New York
“Simple theories and hyperimaginaries” Subjects and Themes:
- Subjects: Model theory - First-order logic - Hyperspace - MATHEMATICS / Logic
Edition Identifiers:
- The Open Library ID: OL25004382M
- Online Computer Library Center (OCLC) ID: 707841885
- Library of Congress Control Number (LCCN): 2011005729
- All ISBNs: 0521119553 - 9780521119559
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Simple theories and hyperimaginaries at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Lecture Notes on OMinimal Structures and Real Analytic Geometry Fields Institute Communications
By Jean-Philippe Rolin
“Lecture Notes on OMinimal Structures and Real Analytic Geometry Fields Institute Communications” Metadata:
- Title: ➤ Lecture Notes on OMinimal Structures and Real Analytic Geometry Fields Institute Communications
- Author: Jean-Philippe Rolin
- Language: English
- Number of Pages: Median: 242
- Publisher: Springer
- Publish Date: 2012
“Lecture Notes on OMinimal Structures and Real Analytic Geometry Fields Institute Communications” Subjects and Themes:
- Subjects: ➤ MATHEMATICS / Logic - Vector fields - Model theory - MATHEMATICS / Infinity - Analytic Geometry - Geometry, algebraic - Vector analysis - Differential equations - Analytic functions - Algebra - Group theory - Symbolic and mathematical Logic - Mathematics
Edition Identifiers:
- The Open Library ID: OL26134505M
- Online Computer Library Center (OCLC) ID: 824795227
- Library of Congress Control Number (LCCN): 2012940224
- All ISBNs: 9781461440413 - 1461440416
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Lecture Notes on OMinimal Structures and Real Analytic Geometry Fields Institute Communications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Proof analysis
By Sara Negri
“Proof analysis” Metadata:
- Title: Proof analysis
- Author: Sara Negri
- Language: English
- Number of Pages: Median: 265
- Publisher: Cambridge University Press
- Publish Date: 2011
- Publish Location: New York - Cambridge
“Proof analysis” Subjects and Themes:
- Subjects: MATHEMATICS / Logic - Proof theory
Edition Identifiers:
- The Open Library ID: OL24896189M
- Online Computer Library Center (OCLC) ID: 727702113
- Library of Congress Control Number (LCCN): 2011023026
- All ISBNs: 1107008956 - 9781107008953
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Proof analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.