Explore: *mathematical Logic
Discover books, insights, and more — all in one place.
Learn more about *mathematical Logic with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “%2Bmathematical-logic”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Computability
By Richard L. Epstein, Richard .L. Epstein and Walter Alexandr Carnielli
“Computability” Metadata:
- Title: Computability
- Authors: Richard L. EpsteinRichard .L. EpsteinWalter Alexandr Carnielli
- Language: English
- Number of Pages: Median: 309
- Publisher: ➤ Brooks/Cole Advanced Books & Software - Chapman & Hall/CRC - Advanced Reasoning Forum
- Publish Date: 1988 - 1990 - 2008
- Publish Location: Pacific Grove, Calif
“Computability” Subjects and Themes:
- Subjects: ➤ Computable functions - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematics - Computer Logic - Science/Mathematics - Logic - Set Theory - Mathematics / Set Theory - Logic, Symbolic and mathematic
Edition Identifiers:
- The Open Library ID: OL33980052M - OL33978420M - OL7783425M - OL21512179M
- Online Computer Library Center (OCLC) ID: 19518272
- Library of Congress Control Number (LCCN): 89007097
- All ISBNs: ➤ 0981550746 - 0534103561 - 9780534103569 - 9780981550749 - 9780981550732 - 0981550738
First Setence:
"Much of modern logic came about as a response to problems and paradoxes in the foundations of mathematics."
Access and General Info:
- First Year Published: 1988
- 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 Computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Invariant sets for Windows
By Timothy N. Dragunov, Svetlana A. Boykova and Olga V. Malysheva
“Invariant sets for Windows” Metadata:
- Title: Invariant sets for Windows
- Authors: Timothy N. DragunovSvetlana A. BoykovaOlga V. Malysheva
- Language: English
- Number of Pages: Median: 259
- Publisher: ➤ World Scientific Publishing Company - World Scientific - World Scientific Publishing Co Pte Ltd
- Publish Date: 1999
- Publish Location: River Edge, N.J - Singapore
“Invariant sets for Windows” Subjects and Themes:
- Subjects: ➤ Graphic methods - WInSet - Invariant sets - Data processing - Fractals - Mathematical & Statistical Software - Mathematical logic - Non-linear science - Number Theory - Geometry - Algebraic - Fractal Geometry - Functional Analysis - Set Theory - Mathematics - Science/Mathematics - Microsoft windows (computer program) - Mathematics, data processing
Edition Identifiers:
- The Open Library ID: OL9536317M - OL49255129M - OL49248612M - OL16958628M
- Online Computer Library Center (OCLC) ID: 42643257
- Library of Congress Control Number (LCCN): 99051493
- All ISBNs: ➤ 9781299615212 - 9812794646 - 9789812794642 - 129961521X - 9810240716 - 9789810240714
First Setence:
"What do we mean when we say "invariant structures" or "invariant set"?"
Access and General Info:
- First Year Published: 1999
- 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 Invariant sets for Windows at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Introducing Logic (Introducing...)
By Dan Cryan, Sharron Shatil and Bill Mayblin
“Introducing Logic (Introducing...)” Metadata:
- Title: ➤ Introducing Logic (Introducing...)
- Authors: Dan CryanSharron ShatilBill Mayblin
- Language: English
- Number of Pages: Median: 176
- Publisher: Totem Books
- Publish Date: 2002
“Introducing Logic (Introducing...)” Subjects and Themes:
- Subjects: Logic - Mathematical logic - Philosophy - General - Reasoning
Edition Identifiers:
- The Open Library ID: OL8915826M
- All ISBNs: 1840463457 - 9781840463453
Access and General Info:
- First Year Published: 2002
- 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 Introducing Logic (Introducing...) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Computability and logic
By George Boolos, Richard C. Jeffrey, George S. Boolos and John P. Burgess
“Computability and logic” Metadata:
- Title: Computability and logic
- Authors: George BoolosRichard C. JeffreyGeorge S. BoolosJohn P. Burgess
- Language: English
- Number of Pages: Median: 304
- Publisher: ➤ University Press - Cambridge University Press
- Publish Date: ➤ 1974 - 1980 - 1981 - 1987 - 1989 - 2002 - 2005 - 2007 - 2008 - 2012
- Publish Location: ➤ Cambridge - New York - Cambridge [Eng.]
“Computability and logic” Subjects and Themes:
- Subjects: ➤ Computable functions - Logic, Symbolic and mathematical - Recursive functions - Symbolic and mathematical Logic - Mathematical foundations - Philosophy - General - Philosophy / Logic - Mathematical logic - Mathematics - Science/Mathematics - Logic
Edition Identifiers:
- The Open Library ID: ➤ OL53922855M - OL40838731M - OL40620813M - OL40507880M - OL40502133M - OL40474958M - OL40467350M - OL40460520M - OL34479372M - OL34477673M - OL10438215M - OL7736076M - OL7733897M - OL5441109M - OL4115581M - OL21994661M - OL2210107M - OL17885136M - OL3950600M
- Online Computer Library Center (OCLC) ID: 959952 - 6487830 - 19589563
- Library of Congress Control Number (LCCN): 2001043302 - 89032584 - 73090811 - 80040432 - 2007014225
- All ISBNs: ➤ 0511366051 - 0511804075 - 9781139164931 - 0521007585 - 0511202296 - 052120402X - 0521299675 - 9780511804076 - 9780511364297 - 0511364296 - 052138026X - 9780521204026 - 9781283329576 - 9780511366680 - 0511078064 - 9780521234795 - 9780521389235 - 9780521701464 - 9780521007580 - 0521809754 - 0511076495 - 0521389232 - 9780511202292 - 9780511076497 - 9780521809757 - 0511074956 - 9780521299671 - 9780521380263 - 9780511074950 - 0521234794 - 0521877520 - 9780511366055 - 0521701465 - 9780521877527 - 051136668X - 1283329573 - 9780511078064 - 1139164937
First Setence:
"An enumerable set is one whose members can be enumerated: arranged in a single list with a first entry, a second entry, etc., so that every member of the set appears sooner or later in the list."
Access and General Info:
- First Year Published: 1974
- 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 Computability and logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Visual complex analysis
By Tristan Needham
“Visual complex analysis” Metadata:
- Title: Visual complex analysis
- Author: Tristan Needham
- Language: English
- Number of Pages: Median: 592
- Publisher: ➤ Oxford University Press - Clarendon Press
- Publish Date: 1997 - 1998 - 2023
- Publish Location: ➤ New York - Oxford [England] - Oxford
“Visual complex analysis” Subjects and Themes:
- Subjects: ➤ Functions of complex variables - Mathematical analysis - Functions of several complex variables - Fonctions d'une variable complexe - Analyse mathématique - Funktionentheorie - Visualisierung - FUNCTIONS (MATHEMATICS) - COMPLEX VARIABLES - FUNCTIONAL ANALYSIS - MATHEMATICAL LOGIC - Differential Geometry - Géométrie
Edition Identifiers:
- The Open Library ID: OL46072854M - OL767342M - OL17604507M - OL46064883M
- Online Computer Library Center (OCLC) ID: 36523806 - 41879007
- Library of Congress Control Number (LCCN): 97165737
- All ISBNs: ➤ 0192868926 - 0198534469 - 9780192868923 - 9780198534464 - 0192868918 - 0198534477 - 9780192868916 - 9780198534471
Access and General Info:
- First Year Published: 1997
- 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 Visual complex analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Mathematical thinking
By John P. D'Angelo, Douglas B. West and Douglas Brent West
“Mathematical thinking” Metadata:
- Title: Mathematical thinking
- Authors: John P. D'AngeloDouglas B. WestDouglas Brent West
- Language: English
- Number of Pages: Median: 412
- Publisher: ➤ Prentice Hall - Prentice Hall College Div
- Publish Date: 1996 - 1997 - 1999 - 2000
- Publish Location: Upper Saddle River, NJ
“Mathematical thinking” Subjects and Themes:
- Subjects: ➤ Mathematics - Problem solving - Mathematical logic - Problem solving - Mathematics (General) - Mathematics - Science/Mathematics - Applied - Logic - General
Edition Identifiers:
- The Open Library ID: OL9294863M - OL7330028M - OL9284676M - OL48471M - OL972168M
- Library of Congress Control Number (LCCN): 99050074 - 96009008
- All ISBNs: 0130144126 - 9780132633932 - 9780130144126 - 0132633930
Access and General Info:
- First Year Published: 1996
- 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 Mathematical thinking at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Analysis and logic
By C. Ward Henson, José Iovino, Alexander S. Kechris, Edward Odell and A. S. Kechris
“Analysis and logic” Metadata:
- Title: Analysis and logic
- Authors: C. Ward HensonJosé IovinoAlexander S. KechrisEdward OdellA. S. Kechris
- Language: English
- Number of Pages: Median: 282
- Publisher: Cambridge University Press
- Publish Date: 2002 - 2003 - 2013
- Publish Location: Cambridge - New York
“Analysis and logic” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Mathematical analysis - Calculus & mathematical analysis - Mathematical logic - Mathematics - Logic - Mathematical And Symbolic Logic - Science/Mathematics - Logic, Symbolic and mathematic - Calculus - Mathematics / Combinatorics - Logic, Symbolic and mathematical - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: ➤ OL40510141M - OL40784312M - OL53924141M - OL7750071M - OL40505525M - OL17070808M - OL34486966M
- Library of Congress Control Number (LCCN): 2002071488
- All ISBNs: ➤ 9781139146036 - 1107360005 - 0511059965 - 0521648610 - 9781107360006 - 9780511059964 - 9780521648615 - 9781299707177 - 1139146033 - 0511068409 - 1299707173 - 9780511068409
First Setence:
"The ideas and methods of model theory are being applied today in nearly all parts of mathematics."
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 Analysis and logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Fuzzy Logic with Engineering Applications
By Timothy J. Ross
“Fuzzy Logic with Engineering Applications” Metadata:
- Title: ➤ Fuzzy Logic with Engineering Applications
- Author: Timothy J. Ross
- Language: English
- Number of Pages: Median: 625
- Publisher: ➤ Mcgraw-Hill College - John Wiley - John Wiley & Sons - John Wiley & Sons, Ltd. - Wiley
- Publish Date: 1995 - 2004 - 2005 - 2010
- Publish Location: Hoboken, NJ - New York
“Fuzzy Logic with Engineering Applications” Subjects and Themes:
- Subjects: ➤ Engineering - Nonfiction - Technology - Engineering mathematics - Fuzzy logic - Mathématiques de l'ingénieur - Logique floue - Anwendung - Fuzzy-Logik - Mathematical logic - Fuzzy systems - Mathematics
Edition Identifiers:
- The Open Library ID: ➤ OL9251290M - OL7598192M - OL24247130M - OL7296586M - OL23668706M - OL9458413M
- Online Computer Library Center (OCLC) ID: 54349611 - 32130900
- Library of Congress Control Number (LCCN): 95002795 - 2004001167 - 2009033736
- All ISBNs: ➤ 0470860758 - 9780070539174 - 0470860766 - 0070539170 - 9780470860762 - 047074376X - 9780470860755 - 047086074X - 9780470743768 - 9780470860748
First Setence:
"The quotes above, all of them legendary, have a common thread."
Access and General Info:
- First Year Published: 1995
- 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 with Engineering Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Logic Colloquium 2005
By Logic Colloquium (2005 Athens, Greece), Costas Dimitracopoulos, Ludomir Newelski and Dag Normann
“Logic Colloquium 2005” Metadata:
- Title: Logic Colloquium 2005
- Authors: ➤ Logic Colloquium (2005 Athens, Greece)Costas DimitracopoulosLudomir NewelskiDag Normann
- Language: English
- Number of Pages: Median: 289
- Publisher: Cambridge University Press
- Publish Date: 2007 - 2009 - 2011
- Publish Location: New York - Cambridge
“Logic Colloquium 2005” Subjects and Themes:
- Subjects: ➤ Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematics / Combinatorics - Combinatorics - Mathematics - Science/Mathematics
Edition Identifiers:
- The Open Library ID: ➤ OL40730287M - OL40506176M - OL40482472M - OL40474894M - OL34442076M - OL27647216M - OL10438449M - OL18003980M
- Online Computer Library Center (OCLC) ID: 145379856
- Library of Congress Control Number (LCCN): 2007025541
- All ISBNs: ➤ 9780521329637 - 9780511355806 - 0511354185 - 0511546467 - 0511353022 - 9780511353024 - 0521329639 - 9780521884259 - 0511354762 - 052188425X - 0511355807 - 9780511354182 - 9780511354762 - 9780511546464
Access and General Info:
- First Year Published: 2007
- 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 Colloquium 2005 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Continuous lattices and domains
By Gerhard Gierz, G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove and D. S. Scott
“Continuous lattices and domains” Metadata:
- Title: ➤ Continuous lattices and domains
- Authors: ➤ Gerhard GierzG. GierzK. H. HofmannK. KeimelJ. D. LawsonM. MisloveD. S. Scott
- Language: English
- Number of Pages: Median: 610
- Publisher: Cambridge University Press
- Publish Date: 2003 - 2004 - 2009
- Publish Location: Cambridge, U.K - New York
“Continuous lattices and domains” Subjects and Themes:
- Subjects: ➤ Continuous lattices - Algebra - Mathematical logic - Topology - Mathematics - Science/Mathematics - General - Combinatorics - Logic - Mathematics / Combinatorics - Functions, continuous - Lattice theory
Edition Identifiers:
- The Open Library ID: ➤ OL15534329M - OL40620649M - OL40464010M - OL34440060M - OL40460735M - OL7754815M
- Online Computer Library Center (OCLC) ID: 49513189
- Library of Congress Control Number (LCCN): 2002025666
- All ISBNs: ➤ 9780511542725 - 0511072023 - 9780521803380 - 0511057237 - 9780511057236 - 1139147218 - 0521803381 - 9780511072024 - 0511542720 - 9781139147217
First Setence:
"This introductory chapter serves as a convenient source of reference for certain basic aspects of complete lattices needed in what follows."
Access and General Info:
- First Year Published: 2003
- 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 Continuous lattices and domains at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Polynomial completeness in algebraic systems
By Kalle Kaarli and Alden F. Pixley
“Polynomial completeness in algebraic systems” Metadata:
- Title: ➤ Polynomial completeness in algebraic systems
- Authors: Kalle KaarliAlden F. Pixley
- Language: English
- Number of Pages: Median: 376
- Publisher: ➤ Taylor & Francis Group - Chapman & Hall/CRC
- Publish Date: 2000 - 2001 - 2019
- Publish Location: Boca Raton, Fla
“Polynomial completeness in algebraic systems” Subjects and Themes:
- Subjects: ➤ Completeness theorem - Polynomials - Algebra - Calculus & mathematical analysis - Mathematical logic - Philosophy Of Mathematics - Mathematics - Science/Mathematics - Algebra - General - Logic - Mathematics / Algebra / General - Algebra - Elementary
Edition Identifiers:
- The Open Library ID: ➤ OL16983529M - OL33428494M - OL33522509M - OL33664141M - OL34668124M - OL9440823M
- Online Computer Library Center (OCLC) ID: 44132933 - 1048937467
- Library of Congress Control Number (LCCN): 00034538
- All ISBNs: ➤ 0429181760 - 9780367398330 - 9780429181764 - 0367398338 - 9781482285758 - 9781584882039 - 9781420035773 - 1420035770 - 1584882034 - 1482285754
First Setence:
"In Section 1.1 of this chapter we shall very briefly sketch some of the basic concepts about (universal) algebras, varieties of algebras, lattice theory, and a few ideas from the theory of clones, all presented with our subsequent requirements in mind."
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 Polynomial completeness in algebraic systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Logic Colloquium '02
By Logic Colloquium '02 (2002 Münster, Germany), Logic Colloquium 0, Wolfram Pohlers and Colloquium Logicum 200
“Logic Colloquium '02” Metadata:
- Title: Logic Colloquium '02
- Authors: ➤ Logic Colloquium '02 (2002 Münster, Germany)Logic Colloquium 0Wolfram PohlersColloquium Logicum 200
- Language: English
- Number of Pages: Median: 359
- Publisher: ➤ Cambridge University Press - A K Peters - Association for Symbolic Logic - CRC Press LLC
- Publish Date: 2006 - 2017
- Publish Location: ➤ La Jolla, Calif - Wellesley, Mass
“Logic Colloquium '02” Subjects and Themes:
- Subjects: ➤ Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Science/Mathematics - Logic - Mathematics - Logic, symbolic and mathematical - Logique symbolique et mathématique - Congrès
Edition Identifiers:
- The Open Library ID: ➤ OL17897012M - OL34746548M - OL8690785M - OL8690784M - OL50618527M - OL48139669M
- Online Computer Library Center (OCLC) ID: 64083767 - 696257407
- Library of Congress Control Number (LCCN): 2006003625
- All ISBNs: ➤ 131675572X - 9781568813011 - 9781316755723 - 9781568813004 - 9780429065262 - 1439865906 - 9781439865903 - 0429065264 - 1568813007 - 1568813015
Access and General Info:
- First Year Published: 2006
- 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 Colloquium '02 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Logic Colloquium '99
By Logic Colloquium (1999 Utrecht, Netherlands), Vincent Van Oostrom, Albert Visser, Logic Colloquium and J. Van Eijck
“Logic Colloquium '99” Metadata:
- Title: Logic Colloquium '99
- Authors: ➤ Logic Colloquium (1999 Utrecht, Netherlands)Vincent Van OostromAlbert VisserLogic ColloquiumJ. Van Eijck
- Language: English
- Number of Pages: Median: 230
- Publisher: ➤ Cambridge University Press - A K Peters/CRC Press - A K Peters - AK Peters - CRC Press LLC
- Publish Date: 2004 - 2017
- Publish Location: Wellesley, Mass
“Logic Colloquium '99” Subjects and Themes:
- Subjects: ➤ Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Logic - Mathematics - Science/Mathematics - Logic, Symbolic and mathematic - General - Mathematics and Science - Logic, symbolic and mathematical - Logique symbolique et mathématique - Congrès
Edition Identifiers:
- The Open Library ID: ➤ OL8690726M - OL50618013M - OL34727779M - OL22595982M - OL33389734M - OL9545101M
- Online Computer Library Center (OCLC) ID: 52858228 - 1041884926
- Library of Congress Control Number (LCCN): 2003061666
- All ISBNs: ➤ 9781568811994 - 1568811993 - 1316755924 - 9781316755921 - 1568812035 - 1439864454 - 9781439864456 - 9780429064838 - 0429064837 - 9781568812038
First Setence:
"1. Introduction. The field of Polish group actions has emerged in the last couple of years as a kind of sub-sub-discipline in its own right."
Access and General Info:
- First Year Published: 2004
- 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 Colloquium '99 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Problems 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.
15Finite 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.
16DNA computing
By Gheorghe Păun, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa and Anne Condon
“DNA computing” Metadata:
- Title: DNA computing
- Authors: Gheorghe PăunGheorghe PaunGrzegorz RozenbergArto SalomaaAnne Condon
- Language: English
- Number of Pages: Median: 400
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 1998 - 2001 - 2003 - 2006
- Publish Location: Berlin - New York
“DNA computing” Subjects and Themes:
- Subjects: ➤ Molecular computers - Biotechnology - Mathematical logic - Mathematical theory of computation - Computers - General Information - Discrete Mathematics (Computer Science) - Theory Of Computing - Computers - Science/Mathematics - Artificial Intelligence - General - Computers / Computer Science - Computer Science - Congresses - Molecular electronics - Qa76.887 .p38 1998 - 511.3 - Computer software - Artificial intelligence - Biology - Data processing
Edition Identifiers:
- The Open Library ID: OL35781659M - OL9057293M - OL9062523M - OL358949M
- Online Computer Library Center (OCLC) ID: 46866323
- Library of Congress Control Number (LCCN): 98018927 - 2001032224
- All ISBNs: ➤ 9783540420767 - 3540420762 - 3540449922 - 9783540449928 - 9783540641964 - 3540641963
First Setence:
"From silicon to carbon."
Access and General Info:
- First Year Published: 1998
- 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 DNA computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Equations with involutive operators
By N. K. Karapeti͡ant͡s, Nikolai Karapetiants and Stefan Samko
“Equations with involutive operators” Metadata:
- Title: ➤ Equations with involutive operators
- Authors: N. K. Karapeti͡ant͡sNikolai KarapetiantsStefan Samko
- Language: English
- Number of Pages: Median: 427
- Publisher: ➤ Birkhäuser Boston - Birkhäuser - Birkhauser
- Publish Date: 2001 - 2012
- Publish Location: Boston
“Equations with involutive operators” Subjects and Themes:
- Subjects: ➤ Fredholm operators - Integral equations - Mathematical logic - Mathematical Analysis - Linear Operators - Mathematics - Science/Mathematics - Calculus - Mathematics / Mathematical Analysis - functions theory - integral operators - operator theory - Functional Analysis
Edition Identifiers:
- The Open Library ID: OL34379313M - OL3947650M - OL8074684M - OL30518390M
- Library of Congress Control Number (LCCN): 2001035385
- All ISBNs: ➤ 0817641572 - 9781461266518 - 9783764341572 - 9781461201847 - 1461201845 - 1461266513 - 9780817641573 - 3764341572
First Setence:
"For the reader's convenience, to make the presentation self-contained, in this section we present some results which we need throughout the book on the Fredholmness of operators in a Banach space X."
Access and General Info:
- First Year Published: 2001
- 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 Equations with involutive operators at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Introducción a la lógica formal
By Alfredo Deaño Gamallo, Alfredo Deano and Alfredo Deaano Gamallo
“Introducción a la lógica formal” Metadata:
- Title: ➤ Introducción a la lógica formal
- Authors: Alfredo Deaño GamalloAlfredo DeanoAlfredo Deaano Gamallo
- Language: ➤ Spanish; Castilian - español, castellano
- Number of Pages: Median: 424
- Publisher: Alianza
- Publish Date: 1978 - 1996 - 2016
- Publish Location: Madrid - Madrid, Spain
“Introducción a la lógica formal” Subjects and Themes:
- Subjects: ➤ Symbolic logic - Logic - Formal logic - Philosophy - Mathematical logic - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL9117606M - OL4513155M - OL26382811M
- Library of Congress Control Number (LCCN): 79358630
- All ISBNs: 8420680117 - 9788420686813 - 8420686816 - 9788420680118
Author's Alternative Names:
"Alfredo Deaño"Access and General Info:
- First Year Published: 1978
- 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 Introducción a la lógica formal at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Algorithms
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.
20Inexhaustibility
By Torkel Franzén, Torkel Franzen and T. Franze
“Inexhaustibility” Metadata:
- Title: Inexhaustibility
- Authors: Torkel FranzénTorkel FranzenT. Franze
- Language: English
- Number of Pages: Median: 300
- Publisher: ➤ A K Peters - Association for Symbolic Logic - Cambridge University Press
- Publish Date: 2002 - 2004 - 2017
- Publish Location: ➤ [Urbana, Ill.] - Wellesley, Mass
“Inexhaustibility” Subjects and Themes:
- Subjects: ➤ Incompleteness theorems - Logic, Symbolic and mathematical - Mathematics - Philosophy - Symbolic and mathematical Logic - Mathematical logic - Logic, Symbolic and mathematic - Science/Mathematics - Logic - Mathematics, philosophy - Onvolledigheid (logica) - Semantiek - Bewijstheorie - Verzamelingen (wiskunde)
Edition Identifiers:
- The Open Library ID: OL8690714M - OL9842807M - OL34746544M - OL17149652M
- Online Computer Library Center (OCLC) ID: 49531175
- Library of Congress Control Number (LCCN): 2002025765
- All ISBNs: ➤ 9781568811741 - 1568811756 - 9781568811758 - 9781316755969 - 1568811748 - 1316755967
Access and General Info:
- First Year Published: 2002
- 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 Inexhaustibility at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Logic Colloquium '01
By Logic Colloquium (2001 Vienna, Austria), Matthias Baaz, Jan Krajicek and Austria) Logic Colloquium (2001 Vienna
“Logic Colloquium '01” Metadata:
- Title: Logic Colloquium '01
- Authors: ➤ Logic Colloquium (2001 Vienna, Austria)Matthias BaazJan KrajicekAustria) Logic Colloquium (2001 Vienna
- Language: English
- Number of Pages: Median: 496
- Publisher: ➤ AK Peters, Ltd. - Association for Symbolic Logic - A.K. Peters - Cambridge University Press - A K Peters, Ltd.
- Publish Date: 2005 - 2017
- Publish Location: Wellesley, MA
“Logic Colloquium '01” Subjects and Themes:
- Subjects: ➤ Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematics - Science/Mathematics - Logic - Logic, Symbolic and mathematic - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL22715881M - OL8690754M - OL34714563M - OL8690755M
- Online Computer Library Center (OCLC) ID: 57283715
- Library of Congress Control Number (LCCN): 2004060184
- All ISBNs: ➤ 1568812477 - 131675586X - 9781568812472 - 9781316755860 - 1568812485 - 9781568812489
Access and General Info:
- First Year Published: 2005
- 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 Colloquium '01 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Synthesis of finite state machines
By Tiziano Villa, Timothy Kam, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli
“Synthesis of finite state machines” Metadata:
- Title: ➤ Synthesis of finite state machines
- Authors: Tiziano VillaTimothy KamRobert K. BraytonAlberto L. Sangiovanni-Vincentelli
- Language: English
- Number of Pages: Median: 400
- Publisher: Kluwer Academic - Springer
- Publish Date: 1997 - 2011
- Publish Location: Boston
“Synthesis of finite state machines” Subjects and Themes:
- Subjects: ➤ Logic design - Sequential machine theory - Data processing - Very large scale integration - Integrated circuits - Computer-aided design - Circuits & components - Mathematical logic - Electronic Circuit Design - Technology - Computers - General Information - Science/Mathematics - Engineering - Electrical & Electronic - Electronics - Circuits - General - Computers / Logic Design - Technology / Electronics / Circuits / General - Technology : Electronics - Circuits - General - Technology : Engineering - Electrical & Electronic - Computer Bks - General Information - Computers - Integrated circuits, very large scale integration
Edition Identifiers:
- The Open Library ID: OL662217M - OL30640082M - OL7810884M
- Library of Congress Control Number (LCCN): 97007693
- All ISBNs: 1461561566 - 9781461561569 - 0792398920 - 9780792398929
Access and General Info:
- First Year Published: 1997
- 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 Synthesis of finite state machines at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Advances in modal logic
By Marcus Kracht, Heinrich Wansing and Michael Zakharyaschev
“Advances in modal logic” Metadata:
- Title: Advances in modal logic
- Authors: Marcus KrachtHeinrich WansingMichael Zakharyaschev
- Language: English
- Number of Pages: Median: 408
- Publisher: ➤ Center for the Study of Language and Inf - CSLI Publications
- Publish Date: 1998 - 2003 - 2004
- Publish Location: Stanford, Calif
“Advances in modal logic” Subjects and Themes:
- Subjects: ➤ Modality (Logic) - Congresses - Artificial intelligence - Logic - Mathematical logic - Computers - Mathematics - Computer Science - Technology - Logic Design - Science/Mathematics - Reference - Applied - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL9196296M - OL8746284M - OL8746283M - OL695772M
- Online Computer Library Center (OCLC) ID: 37864074
- Library of Congress Control Number (LCCN): 97043235
- All ISBNs: ➤ 1575861038 - 9781575861029 - 9781575861036 - 157586102X - 9812381791 - 9789812381798
First Setence:
"ABSTRACT. In this paper we consider first-order extensions of the modal provability logic GL and the operational logic of proofs LP."
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 Advances in modal logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Logic Colloquium '03
By Logic Colloquium and Viggo Stoltenberg-Hansen
“Logic Colloquium '03” Metadata:
- Title: Logic Colloquium '03
- Authors: Logic ColloquiumViggo Stoltenberg-Hansen
- Language: English
- Number of Pages: Median: 415
- Publisher: ➤ A K Peters - Association for Symbolic Logic - Cambridge University Press
- Publish Date: 2006 - 2017
- Publish Location: Wellesley, MA
“Logic Colloquium '03” Subjects and Themes:
- Subjects: ➤ Mathematical logic - Logic, Symbolic and mathematical - Mathematics - Science/Mathematics - Logic - Congresses
Edition Identifiers:
- The Open Library ID: OL22726985M - OL34741811M - OL8690779M
- All ISBNs: 9781568812946 - 9781316755785 - 1568812949 - 1316755789
First Setence:
"1. Introduction. Classical Finite Model Theory and Descriptive Complexity Theory [25, 17] give results about the expressiveness and complexity of logics over finite relational structures."
Access and General Info:
- First Year Published: 2006
- 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 Colloquium '03 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Petri nets for systems engineering
By Claude Girault and Rüdiger Valk
“Petri nets for systems engineering” Metadata:
- Title: ➤ Petri nets for systems engineering
- Authors: Claude GiraultRüdiger Valk
- Language: English
- Number of Pages: Median: 607
- Publisher: Springer
- Publish Date: 2002 - 2003
- Publish Location: New York - Berlin
“Petri nets for systems engineering” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Petri nets - Systems engineering - Mathematical logic - Software engineering - Machine Theory - Computers - Languages / Programming - Computer Mathematics - Programming - Systems Analysis & Design - Computers - Logic Design - Computer Books And Software - Industrial Technology - Formal methods (Computer scien - Applications - Computers / Programming / Software Development - Computers / Programming / Systems Analysis & Design - Computers-Machine Theory - Modeling - Computer Science
Edition Identifiers:
- The Open Library ID: OL18182006M - OL9057110M
- Online Computer Library Center (OCLC) ID: 50906339
- Library of Congress Control Number (LCCN): 2002191198
- All ISBNs: 9783540412175 - 3540412174
First Setence:
"This book intends to show how Petri nets fill many of the needs of systems modelling, their verification and implementation, as mentioned in the preface."
Access and General Info:
- First Year Published: 2002
- 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 Petri nets for systems engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Choquet-Deny type functional equations with applications to stochastic models
By Rao, C. Radhakrishna and D. N. Shanbhag
“Choquet-Deny type functional equations with applications to stochastic models” Metadata:
- Title: ➤ Choquet-Deny type functional equations with applications to stochastic models
- Authors: Rao, C. RadhakrishnaD. N. Shanbhag
- Language: English
- Number of Pages: Median: 313
- Publisher: John Wiley & Sons - Wiley
- Publish Date: 1994 - 1995
- Publish Location: New York - Chichester, England
“Choquet-Deny type functional equations with applications to stochastic models” Subjects and Themes:
- Subjects: ➤ Stochastic processes - Functional equations - Mathematical logic - Probability & statistics - Stochastics - Mathematics - Science/Mathematics - Probability & Statistics - General - Differential Equations
Edition Identifiers:
- The Open Library ID: OL7631490M - OL1086161M
- Online Computer Library Center (OCLC) ID: 30071322
- Library of Congress Control Number (LCCN): 94010080
- All ISBNs: 9780471951049 - 0471951048
Access and General Info:
- First Year Published: 1994
- 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 Choquet-Deny type functional equations with applications to stochastic models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Algebraic 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.
28Fuzzy modeling and control
By Michio Sugeno, Hung T. Nguyen and Nadipuram R. Prasad
“Fuzzy modeling and control” Metadata:
- Title: Fuzzy modeling and control
- Authors: Michio SugenoHung T. NguyenNadipuram R. Prasad
- Language: English
- Number of Pages: Median: 434
- Publisher: CRC - CRC Press
- Publish Date: 1999
- Publish Location: Boca Raton
“Fuzzy modeling and control” Subjects and Themes:
- Subjects: ➤ Fuzzy systems - Automatic control - Automatic control engineering - Fuzzy set theory - Mathematical logic - Set theory - Technology - Engineering - Electrical & Electronic - Automation - Fuzzy Sets - Computers - General Information - Science/Mathematics - Engineering - Mechanical - Artificial Intelligence - Fuzzy Logic - Computer Engineering - Computers / Computer Engineering - Computer simulation
Edition Identifiers:
- The Open Library ID: OL8259877M - OL22244151M
- Online Computer Library Center (OCLC) ID: 40723794
- Library of Congress Control Number (LCCN): 99019201
- All ISBNs: 0849328845 - 9780849328848
First Setence:
"This chapter serves to introduce the basic topics addressed in the research papers of Professor Sugeno."
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 Fuzzy modeling and control at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Computability
By Richard L. Epstein and Walter A. Carnielli
“Computability” Metadata:
- Title: Computability
- Authors: Richard L. EpsteinWalter A. Carnielli
- Language: English
- Number of Pages: Median: 299
- Publisher: ➤ Wadsworth & Brooks/Cole Advanced Books & Software - Wadsworth/Thomson Learning - Wadsworth Publishing
- Publish Date: 1989 - 1999 - 2000
- Publish Location: ➤ Belmont, CA - Pacific Grove, Calif
“Computability” Subjects and Themes:
- Subjects: ➤ Computable functions - Gödel's theorem - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematical theory of computation - Science/Mathematics - Logic, Symbolic and mathematic - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Mathematics - Logic - Philosophy / General
Edition Identifiers:
- The Open Library ID: OL2188845M - OL7785461M - OL32454M
- Library of Congress Control Number (LCCN): 89007097 - 99014119
- All ISBNs: 0534546447 - 9780534103569 - 9780534546441 - 0534103561
First Setence:
"Much of modern logic came about as a response to problems and paradoxes in the foundations of mathematics."
Access and General Info:
- First Year Published: 1989
- 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 Computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Elements of Deductive Inference
By Joseph Bessie and Stuart Glennan
“Elements of Deductive Inference” Metadata:
- Title: ➤ Elements of Deductive Inference
- Authors: Joseph BessieStuart Glennan
- Language: English
- Number of Pages: Median: 412
- Publisher: ➤ Wadsworth Publishing - Thomson Learning
- Publish Date: 1999 - 2000
- Publish Location: Belmont, CA
“Elements of Deductive Inference” Subjects and Themes:
- Subjects: ➤ Predicate calculus - Mathematical logic - Science/Mathematics - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Mathematics - Textbooks - Logic
Edition Identifiers:
- The Open Library ID: OL7785501M - OL10475164M - OL385761M
- Library of Congress Control Number (LCCN): 98048446
- All ISBNs: 0534551238 - 0534551211 - 9780534551230 - 9780534551216
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 Elements of Deductive Inference at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Algorithms and complexity
By Italian Conference on Algorithms and Complexity (5th 2003 Rome, Italy), Rosella Petreschi, Giuseppe Persiano and Riccardo Silvestri
“Algorithms and complexity” Metadata:
- Title: Algorithms and complexity
- Authors: ➤ Italian Conference on Algorithms and Complexity (5th 2003 Rome, Italy)Rosella PetreschiGiuseppe PersianoRiccardo Silvestri
- Language: English
- Number of Pages: Median: 289
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2003
- Publish Location: New York
“Algorithms and complexity” Subjects and Themes:
- Subjects: ➤ Congresses - Algorithms - Computational complexity - Mathematical logic - Mathematics - Science/Mathematics - Computer Graphics - General - Computer Science - Discrete Mathematics - Computers / Computer Science - combinatorial optimization - combinatorics - complexity - computational geometry - computational graph theory - geometric algorithms - graph algorithms - graph computations - General
Edition Identifiers:
- The Open Library ID: OL35785390M - OL12774365M - OL18186972M
- Online Computer Library Center (OCLC) ID: 52288775
- Library of Congress Control Number (LCCN): 2003052987
- All ISBNs: 3540401768 - 9783540465218 - 9783540401766 - 3540465219
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 Algorithms and complexity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32A guide to classical and modern model theory
By A. Marcja, Annalisa Marcja and Carlo Toffalori
“A guide to classical and modern model theory” Metadata:
- Title: ➤ A guide to classical and modern model theory
- Authors: A. MarcjaAnnalisa MarcjaCarlo Toffalori
- Language: English
- Number of Pages: Median: 377
- Publisher: ➤ Kluwer Academic Publishers - Springer
- Publish Date: 2003 - 2012
- Publish Location: Boston - Dordrecht
“A guide to classical and modern model theory” Subjects and Themes:
- Subjects: ➤ Model theory - Mathematische Logik - Modelltheorie - Mathematical logic - Technology - Philosophy - Science/Mathematics - Algebra - General - Logic - Mathematics-Algebra - General - Mathematics-Logic - Philosophy / Logic - Reference - Algebra - Philosophy (General) - Symbolic and mathematical Logic - Mathematical Logic and Foundations
Edition Identifiers:
- The Open Library ID: OL37426587M - OL8370599M - OL20525927M
- Online Computer Library Center (OCLC) ID: 52047446
- Library of Congress Control Number (LCCN): 2003048864
- All ISBNs: ➤ 1402013310 - 9400708122 - 9781402013300 - 1402013302 - 9789400708129 - 9781402013317
First Setence:
"The aim of this chapter is to sketch out basic model theory."
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 A guide to classical and modern model theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33A logical journey
By Hao Wang
“A logical journey” Metadata:
- Title: A logical journey
- Author: Hao Wang
- Language: English
- Number of Pages: Median: 391
- Publisher: MIT Press
- Publish Date: 1996
- Publish Location: Cambridge, Mass
“A logical journey” Subjects and Themes:
- Subjects: Logicians - Biography - Mathematical Logic - Philosophy
- People: Kurt Gödel (1906-1978) - Hao Wang
- Places: United States - Austria
Edition Identifiers:
- The Open Library ID: OL994036M
- Library of Congress Control Number (LCCN): 96032568
- All ISBNs: 9780262231893 - 0262231891
Author's Alternative Names:
"Wang, Hao", "Wáng Hào" and "王浩"Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A logical journey at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Propositional logic
By H. Kleine Büning, Hans Kleine Büning and Theodor Lettmann
“Propositional logic” Metadata:
- Title: Propositional logic
- Authors: H. Kleine BüningHans Kleine BüningTheodor Lettmann
- Language: English
- Number of Pages: Median: 415
- Publisher: Cambridge University Press
- Publish Date: 1999
- Publish Location: New York - Cambridge [England]
“Propositional logic” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Computer logic - Algorithmes - Algorithme - Automatische bewijsvoering - Logique propositionnelle - Logique (Informatique) - Algoritmen - Structure de données - Algorithme résolution - Démonstration automatique de théorèmes - Déduction - Calcul propositionnel - Aussagenlogik - Satisfiabilité - Clause Horn - Logique informatique - Mathematical logic - Mathematical theory of computation - Science/Mathematics - Computers - General Information - Algorithms (Computer Programming) - Philosophy Of Mathematics - Computers - Programming - General - Discrete Mathematics - Computer Science - Logic - Computers / Programming / Software Development - Computer Bks - General Information - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL7749360M - OL18820915M
- Online Computer Library Center (OCLC) ID: 39655053
- Library of Congress Control Number (LCCN): 98038806
- All ISBNs: 0521630177 - 9780521630177
First Setence:
"Mathematical logic has from its very beginning concerned itself with, amongst other things, a precise explication of the concept of proof, that is to say the concept of logical deduction."
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 Propositional logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Theorem proving with analytic tableaux and related methods
By TABLEAUX '96 (1996 Terrasini, Italy), Italy) Tableaux 9 (1996 Terrasini and P. Miglioli
“Theorem proving with analytic tableaux and related methods” Metadata:
- Title: ➤ Theorem proving with analytic tableaux and related methods
- Authors: ➤ TABLEAUX '96 (1996 Terrasini, Italy)Italy) Tableaux 9 (1996 TerrasiniP. Miglioli
- Language: English
- Number of Pages: Median: 330
- Publisher: Springer
- Publish Date: 1996
- Publish Location: New York - Berlin
“Theorem proving with analytic tableaux and related methods” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Congresses - Logic, Symbolic and mathematical - Nonclassical mathematical logic - Symbolic and mathematical Logic - Artificial intelligence - Mathematical logic - Mathematical theory of computation - Mathematics - Computers - Automata - Computer Logic - Science/Mathematics - Logic, Symbolic and mathematic - Artificial Intelligence - General - Logic - Nonclassical mathematical logi - Computer Science
Edition Identifiers:
- The Open Library ID: OL9061836M - OL979793M
- Library of Congress Control Number (LCCN): 96017235
- All ISBNs: 9783540612087 - 3540612084
Access and General Info:
- First Year Published: 1996
- 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 Theorem proving with analytic tableaux and related methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Logic Colloquium '03
By Logic Colloquium (2003 Helsinki, Finland), Viggo Stoltenberg-Hansen and Logic Colloquium
“Logic Colloquium '03” Metadata:
- Title: Logic Colloquium '03
- Authors: ➤ Logic Colloquium (2003 Helsinki, Finland)Viggo Stoltenberg-HansenLogic Colloquium
- Language: English
- Number of Pages: Median: 421
- Publisher: ➤ Association for Symbolic Logic - A K Peters - A K Peters/CRC Press
- Publish Date: 2006
- Publish Location: ➤ La Jolla, Calif - Wellesley, Mass
“Logic Colloquium '03” Subjects and Themes:
- Subjects: ➤ Congresses - Symbolic and mathematical Logic - Mathematical logic - Logic, Symbolic and mathematical - Mathematics - Science/Mathematics - Logic - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL3431621M - OL8690778M
- Online Computer Library Center (OCLC) ID: 62290667
- Library of Congress Control Number (LCCN): 2005057435
- All ISBNs: 1568812949 - 9781568812939 - 1568812930 - 9781568812946
First Setence:
"1. Introduction. Classical Finite Model Theory and Descriptive Complexity Theory [25, 17] give results about the expressiveness and complexity of logics over finite relational structures."
Access and General Info:
- First Year Published: 2006
- 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 Colloquium '03 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Classical and fuzzy concepts in mathematical logic and applications
By Mircea Reghiș, Mircea S. Reghis and Eugene Roventa
“Classical and fuzzy concepts in mathematical logic and applications” Metadata:
- Title: ➤ Classical and fuzzy concepts in mathematical logic and applications
- Authors: Mircea ReghișMircea S. ReghisEugene Roventa
- Language: English
- Number of Pages: Median: 372
- Publisher: CRC - CRC Press
- Publish Date: 1998
- Publish Location: Boca Raton
“Classical and fuzzy concepts in mathematical logic and applications” Subjects and Themes:
- Subjects: ➤ Fuzzy logic - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Computer architecture & logic design - Fuzzy set theory - Mathematical logic - Set Theory - Logic - Computer Logic - Fuzzy Sets - Mathematics - Science/Mathematics - Logic, Symbolic and mathematic - Applied - Computer Science - Mathematics / Set Theory - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL347245M - OL8260005M
- Library of Congress Control Number (LCCN): 98006348
- All ISBNs: 0849331978 - 9780849331978
First Setence:
"The formal language of propositional logic is the set of all formal sentences which can be constructed by means of the operator symbols (called connectives), starting from a set of initial (atomic) formal sentences X1, X2, X3, ..., XN called propositional variables."
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 Classical and fuzzy concepts in mathematical logic and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Logic Colloquium '98
By Logic Colloquium (1998 Prague, Czech Republic), Petr Hajek and Pavel Pudlak
“Logic Colloquium '98” Metadata:
- Title: Logic Colloquium '98
- Authors: ➤ Logic Colloquium (1998 Prague, Czech Republic)Petr HajekPavel Pudlak
- Language: English
- Number of Pages: Median: 546
- Publisher: ➤ Association for Symbolic Logic - AK Peters
- Publish Date: 2000
- Publish Location: Natick, Mass
“Logic Colloquium '98” Subjects and Themes:
- Subjects: ➤ Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Logic, Symbolic and mathematic - Science/Mathematics - Logic - Mathematics - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL9391704M - OL22203220M
- Library of Congress Control Number (LCCN): 99051335
- All ISBNs: 9781568811130 - 1568811136 - 1568811144 - 9781568811147
First Setence:
"Summary. For reducibilities r and r such that r is weaker than r, we say that the r-degree of A, i.e., the class of sets which are r-equivalent to A, collapses to the r-degree of A if both degrees coincide."
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 Logic Colloquium '98 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Triangular norms
By E. P. Klement, E.P Klement, R. Mesiar and E. Pap
“Triangular norms” Metadata:
- Title: Triangular norms
- Authors: E. P. KlementE.P KlementR. MesiarE. Pap
- Language: English
- Number of Pages: Median: 396
- Publisher: ➤ Springer - Kluwer Academic Publishers
- Publish Date: 2000
- Publish Location: Dordrecht - Boston
“Triangular norms” Subjects and Themes:
- Subjects: ➤ Triangular norms - Mathematical logic - Mathematical And Symbolic Logic - Functional Analysis - Mathematics - Philosophy - Science/Mathematics - Calculus - Mathematics / Calculus - Philosophy / Logic - Combinatorics - Logic
Edition Identifiers:
- The Open Library ID: OL7809202M - OL18112543M
- Library of Congress Control Number (LCCN): 00033077
- All ISBNs: 0792364163 - 9780792364160
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 Triangular norms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Generalized concavity in fuzzy optimization and decision analysis
By Jaroslav Ramík, Jaroslav Ramík and Milan Vlach
“Generalized concavity in fuzzy optimization and decision analysis” Metadata:
- Title: ➤ Generalized concavity in fuzzy optimization and decision analysis
- Authors: Jaroslav RamíkJaroslav RamíkMilan Vlach
- Language: English
- Number of Pages: Median: 304
- Publisher: ➤ Springer - Kluwer Academic Publishers
- Publish Date: 2001 - 2002
- Publish Location: Boston
“Generalized concavity in fuzzy optimization and decision analysis” Subjects and Themes:
- Subjects: ➤ Concave functions - Mathematical optimization - Decision making - Fuzzy mathematics - Applied mathematics - Computer Programming - Mathematical logic - Optimization (Mathematical Theory) - General - Technology - Operations Research (Engineering) - Business / Economics / Finance - Science/Mathematics - Operations Research - Linear Programming - Decision Making & Problem Solving - Business & Economics / Decision-Making & Problem Solving - Mathematics / Linear Programming - Mathematics : Linear Programming - Medical : General - Decision making, mathematical models - Functions - Fuzzy sets
Edition Identifiers:
- The Open Library ID: OL7809707M - OL18164464M
- Online Computer Library Center (OCLC) ID: 47296245
- Library of Congress Control Number (LCCN): 2001046197
- All ISBNs: 9780792374954 - 0792374959
Access and General Info:
- First Year Published: 2001
- 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 Generalized concavity in fuzzy optimization and decision analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Domains and processes
By International Symposium on Domain Theory (1st 1999 Shanghai, China), Yixiang Chen, Guo-Qiang Zhang and Ying Ming Liu
“Domains and processes” Metadata:
- Title: Domains and processes
- Authors: ➤ International Symposium on Domain Theory (1st 1999 Shanghai, China)Yixiang ChenGuo-Qiang ZhangYing Ming Liu
- Language: English
- Number of Pages: Median: 280
- Publisher: ➤ Springer - Kluwer Academic Publishers
- Publish Date: 2001
- Publish Location: Boston
“Domains and processes” Subjects and Themes:
- Subjects: ➤ Congresses - Semantics - Programming languages (Electronic computers) - Computer Programming - Mathematical logic - Mathematical theory of computation - Programming Languages - General - Programming Language Semantics - Computers - Computers - Languages / Programming - Computer Books: General - Programming - General - General - Logic - Philosophy / Logic - Programming languages (Electro - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL18168500M - OL9879736M
- Library of Congress Control Number (LCCN): 2001038249
- All ISBNs: 0792371437 - 9780792371434
First Setence:
"Topology has proved to bo a useful tool in the study of certain aspects of theoretical computer science."
Access and General Info:
- First Year Published: 2001
- 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 Domains and processes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Labelled 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.
43Model Theory
By Akhilesh Pawar
“Model Theory” Metadata:
- Title: Model Theory
- Author: Akhilesh Pawar
- Language: English
- Number of Pages: Median: 238
- Publisher: Campus Books International
- Publish Date: 2011
- Publish Location: New Delhi, India
“Model Theory” Subjects and Themes:
- Subjects: Set theory - Model theory - Mathematical logic - Algebraic structures - Abstract algebra
Edition Identifiers:
- The Open Library ID: OL27901536M
- All ISBNs: 8180303276 - 9788180303272
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 Model Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Logic And Conditional Probability
By Philip Calabrese
“Logic And Conditional Probability” Metadata:
- Title: ➤ Logic And Conditional Probability
- Author: Philip Calabrese
- Language: English
- Number of Pages: Median: 286
- Publisher: College Publications
- Publish Date: 2017
- Publish Location: USA, UK
“Logic And Conditional Probability” Subjects and Themes:
- Subjects: ➤ Logic - Mathematical logic - Set theory - Probabilities - Conditionals - Conditional probabilities - Probability theory
Edition Identifiers:
- Google Books ID: UswitAEACAAJ
- The Open Library ID: OL27539571M
- All ISBNs: 9781848902589 - 1848902581
Access and General Info:
- First Year Published: 2017
- 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 And Conditional Probability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Probabilistic Lattices
By Louis Narens
“Probabilistic Lattices” Metadata:
- Title: Probabilistic Lattices
- Author: Louis Narens
- Language: English
- Number of Pages: Median: 210
- Publisher: WSPC
- Publish Date: 2014
- Publish Location: Singapore, Hong Kong
“Probabilistic Lattices” Subjects and Themes:
- Subjects: ➤ Probabilities - Lattices - Abstract algebra - Discrete mathematics - Mathematical psychology - Mathematical logic - Lattice theory - Decision making, mathematical models - Psychology, mathematical models - Psychological aspects - Decision making - Mathematical models - Psychology
Edition Identifiers:
- The Open Library ID: OL28373256M
- Online Computer Library Center (OCLC) ID: 927720666
- Library of Congress Control Number (LCCN): 2014038123
- All ISBNs: 9789814630412 - 9814630411
Access and General Info:
- First Year Published: 2014
- 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 Probabilistic Lattices at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Axiomatic Analysis
By Robert Katz
“Axiomatic Analysis” Metadata:
- Title: Axiomatic Analysis
- Author: Robert Katz
- Language: English
- Number of Pages: Median: 350
- Publisher: D.C. Heath and Company
- Publish Date: 1964
- Publish Location: Boston, USA
“Axiomatic Analysis” Subjects and Themes:
- Subjects: ➤ Set theory - Real Analysis - Logic - Functions - Mathematical logic - Real numbers - Number system - Combinatorics - Arithmetic - Foundations
Edition Identifiers:
- The Open Library ID: OL27721798M
- Online Computer Library Center (OCLC) ID: 310776233
- Library of Congress Control Number (LCCN): 64018981
Access and General Info:
- First Year Published: 1964
- 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 Axiomatic Analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47The blind spot
By Jean-Yves Girard
“The blind spot” Metadata:
- Title: The blind spot
- Author: Jean-Yves Girard
- Language: English
- Number of Pages: Median: 537
- Publisher: European Mathematical Society
- Publish Date: 2011
“The blind spot” Subjects and Themes:
- Subjects: ➤ Proof theory - Logic - Théorie de la preuve - Mathematical logic - Mathematical logic and foundations - Category theory; homological algebra - Computer science
Edition Identifiers:
- The Open Library ID: OL25553790M
- Online Computer Library Center (OCLC) ID: 827789287 - 757486610
- All ISBNs: 9783037190883 - 3037190884
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 The blind spot at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48A methodology for uncertainty in knowledge-based systems
By Kurt Weichselberger
“A methodology for uncertainty in knowledge-based systems” Metadata:
- Title: ➤ A methodology for uncertainty in knowledge-based systems
- Author: Kurt Weichselberger
- Language: English
- Number of Pages: Median: 220
- Publisher: Springer-Verlag
- Publish Date: 1990
- Publish Location: New York - Berlin
“A methodology for uncertainty in knowledge-based systems” Subjects and Themes:
- Subjects: ➤ Expert systems (Computer science) - Uncertainty (Information theory) - Congresses - Sorting (Electronic computers) - Symbolic and mathematical Logic - Artificial intelligence - Abstract data types (Computer science) - Datentyp - Künstliche Intelligenz - Mehrsortige Prädikatenlogik - Prädikatenlogik - Sorte - Sortierverfahren - Kongress - LOGIC PROGRAMMING - MATHEMATICAL LOGIC - CLASSIFYING - DATA - CONFERENCES - Intelligence artificielle - Congrès - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL1857630M - OL1857295M
- Online Computer Library Center (OCLC) ID: 21600816 - 21038362
- Library of Congress Control Number (LCCN): 90009872 - 90009498
- All ISBNs: 3540523367 - 9780387523361 - 0387523367 - 9783540523369
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A methodology for uncertainty in knowledge-based systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Logic Colloquium 2000
By Logic Colloquium, Rene Cori and France) Logic Colloquium (2000 Paris
“Logic Colloquium 2000” Metadata:
- Title: Logic Colloquium 2000
- Authors: ➤ Logic ColloquiumRene CoriFrance) Logic Colloquium (2000 Paris
- Language: English
- Number of Pages: Median: 416
- Publisher: ➤ AK Peters, Ltd. - A.K. Peters - A K Peters/CRC Press
- Publish Date: 2005
- Publish Location: Wellesley, MA
“Logic Colloquium 2000” Subjects and Themes:
- Subjects: ➤ Mathematical logic - Logic, Symbolic and mathematic - Mathematics - Science/Mathematics - Logic, Symbolic and mathematical - Logic - Congresses - Symbolic and mathematical Logic - Logique symbolique et mathématique - Congrès
Edition Identifiers:
- The Open Library ID: OL8690759M - OL22714448M
- Online Computer Library Center (OCLC) ID: 57349193 - 696253301
- Library of Congress Control Number (LCCN): 2004066230
- All ISBNs: 1568812523 - 9781568812526
First Setence:
"This paper is based on a series of three lectures that I gave during the LC 2000, in the context of the "tutorials" which have now become a tradition at the European meetings of the ASL."
Access and General Info:
- First Year Published: 2005
- 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 Colloquium 2000 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Foundations of equational logic programming
By Steffen Hölldobler
“Foundations of equational logic programming” Metadata:
- Title: ➤ Foundations of equational logic programming
- Author: Steffen Hölldobler
- Language: English
- Number of Pages: Median: 250
- Publisher: Springer-Verlag
- Publish Date: 1989
- Publish Location: Berlin - New York
“Foundations of equational logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Mathematical logic - Programming languages - Matematikai logika - Programozási nyelvek - Programmation logique - Logische Programmierung - Gleichungstheorie - Logisch programmeren - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL2200289M - OL21343320M
- Online Computer Library Center (OCLC) ID: 20418130
- Library of Congress Control Number (LCCN): 89021878
- All ISBNs: 038751533X - 9780387515335
Access and General Info:
- First Year Published: 1989
- 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 Foundations of equational logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Mathematical logic
Mathematical logic is a branch of metamathematics that studies formal logic within mathematics. Major subareas include model theory, proof theory, set
Independence (mathematical logic)
In mathematical logic, independence is the unprovability of some specific sentence from some specific set of other sentences. The sentences in this set
Structure (mathematical logic)
relational databases, in the form of relational models. In the context of mathematical logic, the term "model" was first applied in 1940 by the philosopher Willard
Classical logic
Classical logic (or standard logic) or Frege–Russell logic is the intensively studied and most widely used class of deductive logic. Classical logic has had
Sentence (mathematical logic)
In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence
Theory (mathematical logic)
In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. In most scenarios a deductive system is first
List of logic symbols
portal Glossary of logic Józef Maria Bocheński List of notation used in Principia Mathematica List of mathematical symbols Logic alphabet, a suggested
List of mathematical logic topics
This is a list of mathematical logic topics. For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and
Judgment (mathematical logic)
In mathematical logic, a judgment (or judgement) or assertion is a statement or enunciation in a metalanguage. For example, typical judgments in first-order
Philosophy of mathematics
foundation of mathematics has been eventually resolved with the rise of mathematical logic as a new area of mathematics. In this framework, a mathematical or logical