Explore: Wiskundige Logica
Discover books, insights, and more — all in one place.
Learn more about Wiskundige Logica with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “wiskundige-logica”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Methods of logic
By Willard Van Orman Quine

“Methods of logic” Metadata:
- Title: Methods of logic
- Author: Willard Van Orman Quine
- Languages: English - ger
- Number of Pages: Median: 272
- Publisher: ➤ Routledge & Kegan Paul - Harvard University Press - Routledge and Kegan Paul - Routledge - Suhrkamp - Holt - Holt, Rinehart and Winston - Routledge & K. Paul - Routledge & K.Paul
- Publish Date: ➤ 1950 - 1952 - 1959 - 1962 - 1967 - 1970 - 1972 - 1974 - 1982 - 1995 - 2006
- Publish Location: ➤ Cambridge, Mass - New York - London
“Methods of logic” Subjects and Themes:
- Subjects: ➤ Logic - Wiskundige logica - Logique symbolique et mathématique - Logique - Logic, Modern - Modern Logic
Edition Identifiers:
- The Open Library ID: ➤ OL47858674M - OL49811297M - OL45922824M - OL45986266M - OL45783885M - OL23779725M - OL20924534M - OL19604311M - OL20298693M - OL19625801M - OL22361386M - OL17149159M - OL19624677M - OL7693059M - OL32027244M - OL21224066M - OL6070048M - OL18338562M - OL5254464M - OL14056167M - OL3782716M - OL23327178M - OL6270998M - OL15333084M - OL5707134M
- Online Computer Library Center (OCLC) ID: 1739127 - 374898 - 8132328 - 278121
- Library of Congress Control Number (LCCN): 70166106 - 50008652 - 75327510 - 59008024 - 81022929
- All ISBNs: ➤ 9780710077790 - 9780710077806 - 9780674571754 - 9780030866753 - 0710013116 - 9783518276655 - 0710077793 - 0030866758 - 9780710013118 - 0674571762 - 003006595X - 0674571754 - 3518276654 - 0710077807 - 9780030065958 - 9780674571761
Author's Alternative Names:
"willard van orman quine", "Willard Quine", "WVO QUINE", "Willard Van O QUINE", "Willard van Orman Quine", "W. V. O. Quine", "W. Quine", "William Van Orman-quine", "W. V. QUINE", "Willard QUINE", "Willard V. O. Quine", "Willard Van O Quine", "Willard Van Orman QUINE", "Willard V. Quine", "Quine, W. V.", "W. V. Quine", "W.V. QUINE", "W. V Quine", "W.V. Quine",Access and General Info:
- First Year Published: 1950
- 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 Methods of logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2O logice matematycznej i metodzie dedukcyjnej
By Tarski, Alfred.

“O logice matematycznej i metodzie dedukcyjnej” Metadata:
- Title: ➤ O logice matematycznej i metodzie dedukcyjnej
- Author: Tarski, Alfred.
- Languages: English - pol
- Number of Pages: Median: 239
- Publisher: ➤ Dover Publications - Oxford University Press - Oxford university press
- Publish Date: 1941 - 1946 - 1965 - 1995
- Publish Location: New York, NY - New York
“O logice matematycznej i metodzie dedukcyjnej” Subjects and Themes:
- Subjects: ➤ Mathematics - Philosophy - Arithmetic - Foundations - Mathematics, philosophy - Arithmetic, foundations - Wiskundige logica
Edition Identifiers:
- The Open Library ID: ➤ OL5936027M - OL1121637M - OL6414766M - OL17882859M - OL21166216M - OL23335743M
- Online Computer Library Center (OCLC) ID: 855441 - 523702 - 31815062
- Library of Congress Control Number (LCCN): 94048412 - 41004214 - 49004565 - 65003257
- All ISBNs: 9780195010763 - 048628462X - 9780486284620 - 0195010760
Access and General Info:
- First Year Published: 1941
- 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 O logice matematycznej i metodzie dedukcyjnej at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3An introduction to symbolic logic
By Susanne Katherina (Knauth) Langer

“An introduction to symbolic logic” Metadata:
- Title: ➤ An introduction to symbolic logic
- Author: ➤ Susanne Katherina (Knauth) Langer
- Language: English
- Number of Pages: Median: 365
- Publisher: ➤ Houghton Mifflin Company - Dover Publications - George Allen & Unwin, ltd
- Publish Date: 1937 - 1953 - 1967
- Publish Location: ➤ New York - Boston and New York - London
“An introduction to symbolic logic” Subjects and Themes:
- Subjects: ➤ Logic, Symbolic and mathematical - Mathematics - Philosophy - Symbolic and mathematical Logic - Wiskundige logica - Symbolic logic - Logique symbolique et mathématique - Logic - Logica Matematica (Textos Introdutorios)
Edition Identifiers:
- The Open Library ID: OL6368296M - OL5997311M - OL6137951M - OL20924353M
- Online Computer Library Center (OCLC) ID: 276542 - 1017687 - 167534
- Library of Congress Control Number (LCCN): 38009247 - 66029834 - 53012389
Access and General Info:
- First Year Published: 1937
- 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 An introduction to symbolic logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Foundations of mathematical logic
By Haskell B. Curry

“Foundations of mathematical logic” Metadata:
- Title: ➤ Foundations of mathematical logic
- Author: Haskell B. Curry
- Language: English
- Number of Pages: Median: 408
- Publisher: ➤ Dover Publications - McGraw-Hill
- Publish Date: 1963 - 1977
- Publish Location: New York
“Foundations of mathematical logic” Subjects and Themes:
- Subjects: ➤ Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Wiskundige logica - Logique symbolique et mathématique - Aussagenlogik - Mathematische Logik - Einführung
Edition Identifiers:
- The Open Library ID: OL21520782M - OL4907601M - OL5829105M
- Online Computer Library Center (OCLC) ID: 526475 - 3186347
- Library of Congress Control Number (LCCN): 61017746 - 76055956
- All ISBNs: 0486634620 - 9780486634623
Author's Alternative Names:
"Haskell Brooks Curry", "Haskell B Curry" and "Curry, Haskell B."Access and General Info:
- First Year Published: 1963
- 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 Foundations of mathematical logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Meaning and existence in mathematics
By Charles Castonguay

“Meaning and existence in mathematics” Metadata:
- Title: ➤ Meaning and existence in mathematics
- Author: Charles Castonguay
- Language: English
- Number of Pages: Median: 158
- Publisher: ➤ Island Press - Springer-Verlag - Springer - Springer Wien
- Publish Date: 1972 - 2011 - 2012
- Publish Location: New York
“Meaning and existence in mathematics” Subjects and Themes:
- Subjects: ➤ Logic, Symbolic and mathematical - Mathematics - Philosophy - Symbolic and mathematical Logic - Wiskundige logica - Logique symbolique et mathématique - Mathématiques - Wiskunde - Filosofie - Philosophie
Edition Identifiers:
- The Open Library ID: OL50682817M - OL37427282M - OL37169018M - OL5311648M
- Online Computer Library Center (OCLC) ID: 609447
- Library of Congress Control Number (LCCN): 72096052
- All ISBNs: ➤ 0387811109 - 3709171156 - 370917113X - 3709171148 - 9780387811109 - 9783709171134 - 9783709171158 - 9783709171141
Access and General Info:
- First Year Published: 1972
- 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 Meaning and existence in mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Formale Logik
By Joseph M. Bochenski

“Formale Logik” Metadata:
- Title: Formale Logik
- Author: Joseph M. Bochenski
- Language: ger
- Number of Pages: Median: 645
- Publisher: K. Alber
- Publish Date: 1962 - 1970 - 1978
- Publish Location: Freiburg i. Br - Freiburg
“Formale Logik” Subjects and Themes:
- Subjects: ➤ Wiskundige logica - Mathematische Logik - Syllogismen - Logik - Formele logica - Logic - Geschichte
Edition Identifiers:
- The Open Library ID: OL28398053M - OL52942573M - OL50346922M
- Online Computer Library Center (OCLC) ID: 4905787 - 9989471 - 20188732
- All ISBNs: 3495441158 - 9783495441152
Access and General Info:
- First Year Published: 1962
- 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 Formale Logik at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Formal logic
By Richard C. Jeffrey

“Formal logic” Metadata:
- Title: Formal logic
- Author: Richard C. Jeffrey
- Language: English
- Number of Pages: Median: 196
- Publisher: McGraw-Hill
- Publish Date: 1967 - 1991
- Publish Location: New York
“Formal logic” Subjects and Themes:
- Subjects: ➤ First-order logic - Wiskundige logica - Mathematische Logik - Waarheid - Afleiding (logica) - Formele logica - Symbolische logica - Ontbrekende gegevens - Einführung - Equivalentie - Logic - Identiteitsbeginsel - Logique - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL20947043M - OL22622641M
- Online Computer Library Center (OCLC) ID: 1243841372
- Library of Congress Control Number (LCCN): 67016929
- All ISBNs: 9780070323162 - 007032316X - 9780070323575 - 0070323577
Access and General Info:
- First Year Published: 1967
- 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 Formal logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Exact philosophy; problems, tools, and goals
By Symposium on Exact Philosophy Montreal 1971.

“Exact philosophy; problems, tools, and goals” Metadata:
- Title: ➤ Exact philosophy; problems, tools, and goals
- Author: ➤ Symposium on Exact Philosophy Montreal 1971.
- Language: English
- Number of Pages: Median: 214
- Publisher: D. Reidel
- Publish Date: 1973
- Publish Location: Boston - Dordrecht
“Exact philosophy; problems, tools, and goals” Subjects and Themes:
- Subjects: ➤ Exact (Philosophy) - Wiskundige logica - Exact (Philosophie) - Philosophie - Logik - Filosofia da ciencia - Congrès - Philosophy
Edition Identifiers:
- The Open Library ID: OL5297665M
- Online Computer Library Center (OCLC) ID: 1243655
- Library of Congress Control Number (LCCN): 72077872
- All ISBNs: 9789027702517 - 9027702519
Access and General Info:
- First Year Published: 1973
- 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 Exact philosophy; problems, tools, and goals at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Advances in contemporary logic and computer science
By Brazilian Conference on Mathematical Logic (11th 1996 Salvador, Brazil)

“Advances in contemporary logic and computer science” Metadata:
- Title: ➤ Advances in contemporary logic and computer science
- Author: ➤ Brazilian Conference on Mathematical Logic (11th 1996 Salvador, Brazil)
- Language: English
- Number of Pages: Median: 326
- Publisher: American Mathematical Society
- Publish Date: 1999
- Publish Location: Providence, RI
“Advances in contemporary logic and computer science” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Logique informatique - Congrès - Logique symbolique et mathématique - Wiskundige logica - Logica matematica
Edition Identifiers:
- The Open Library ID: OL15269777M
- Online Computer Library Center (OCLC) ID: 41137536
- Library of Congress Control Number (LCCN): 99023309
- All ISBNs: 0821813641 - 9780821813645
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 Advances in contemporary logic and computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10A mathematical introduction to logic
By Herbert B. Enderton

“A mathematical introduction to logic” Metadata:
- Title: ➤ A mathematical introduction to logic
- Author: Herbert B. Enderton
- Language: English
- Number of Pages: Median: 306
- Publisher: ➤ Harcourt/Academic Press - Academic Press
- Publish Date: 1972 - 2001
- Publish Location: San Diego - New York
“A mathematical introduction to logic” Subjects and Themes:
- Subjects: ➤ Logique 1er ordre - Logique symbolique et mathématique - Symbolic and mathematical Logic - Mathematics textbooks - Textbooks - Logique séquentielle - Logica - Décidabilité - Logique mathématique - Logic, symbolic and mathematical, programmed instruction - Wiskundige logica - Symbolische logica - Logik - Mathematik - Logic - General - Storage & retrieval - Computer science - Mathematics & statistics -> mathematics -> mathematics general - Mathematics & statistics -> post-calculus -> logic - Professional, career & trade -> computer science -> computer science - Professional, career & trade -> computer science -> database management - Professional, career & trade -> computer science -> system administration - Mathematics & statistics -> developmental math -> beginning & intermediate algebra
Edition Identifiers:
- The Open Library ID: OL6800186M - OL4771502M
- Online Computer Library Center (OCLC) ID: 45830890 - 370402
- Library of Congress Control Number (LCCN): 78182659 - 00110670
- All ISBNs: 9780122384509 - 0122384520 - 9780122384523 - 0122384504
Access and General Info:
- First Year Published: 1972
- 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 introduction to logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Euclid in the Rainforest
By Joseph Mazur

“Euclid in the Rainforest” Metadata:
- Title: Euclid in the Rainforest
- Author: Joseph Mazur
- Language: English
- Number of Pages: Median: 352
- Publisher: Pi Press - Plume
- Publish Date: 2004 - 2005 - 2006
- Publish Location: New York - New York, N.Y
“Euclid in the Rainforest” Subjects and Themes:
- Subjects: ➤ Mathematics - Philosophy - Symbolic and mathematical Logic - Wiskundige logica - Logique symbolique et mathématique - Mathématiques - Philosophie - Logic, symbolic and mathematical - Mathematics, philosophy
Edition Identifiers:
- The Open Library ID: OL3315639M - OL7591218M - OL23100233M - OL7336728M - OL9291382M
- Online Computer Library Center (OCLC) ID: 57193421
- Library of Congress Control Number (LCCN): 2004110316
- All ISBNs: 9780131479944 - 0131479946 - 0452287839 - 9780452287839
First Setence:
"The mix of fragrances from blooming yucca, violets, red jasmine, and frangipani carried on the vapors of rising mists above the humid Orinoco River are intoxicating."
Access and General Info:
- First Year Published: 2004
- 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 Euclid in the Rainforest at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Fundamentals of mathematical logic
By Peter G. Hinman

“Fundamentals of mathematical logic” Metadata:
- Title: ➤ Fundamentals of mathematical logic
- Author: Peter G. Hinman
- Language: English
- Number of Pages: Median: 886
- Publisher: ➤ A.K. Peters - CRC Press LLC - A K Peters
- Publish Date: 2005 - 2006 - 2018
- Publish Location: ➤ Wellesley, Mass - Wellesley, MA
“Fundamentals of mathematical logic” Subjects and Themes:
- Subjects: ➤ Model theory - Recursion theory - Set theory - Symbolic and mathematical Logic - Logique symbolique et mathématique - Théorie des modèles - Théorie des ensembles - Théorie de la récursivité - MATHEMATICS - General - Mathematische Logik - Wiskundige logica - Lógica matemática (textos avançados) - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: ➤ OL29416377M - OL3426938M - OL50616666M - OL22718666M - OL29058048M - OL50616897M
- Online Computer Library Center (OCLC) ID: 958798526 - 60796293
- Library of Congress Control Number (LCCN): 2005050968
- All ISBNs: ➤ 1315275538 - 1351991752 - 1439864276 - 9781351994811 - 9781351991759 - 1568812620 - 9781315275536 - 9781568812625 - 9781439864272 - 1351994816
Access and General Info:
- First Year Published: 2005
- 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 Fundamentals of mathematical logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13The foundations of mathematics and other logical essays
By Frank Plumpton Ramsey
“The foundations of mathematics and other logical essays” Metadata:
- Title: ➤ The foundations of mathematics and other logical essays
- Author: Frank Plumpton Ramsey
- Language: English
- Number of Pages: Median: 292
- Publisher: ➤ Routledge & K. Paul - K. Paul, Trench, Trubner & co., ltd. - Littlefield, Adams - Harcourt, Brace and company - Humanities Press
- Publish Date: 1931 - 1950 - 1965
- Publish Location: ➤ London - New York - Totowa, N. J
“The foundations of mathematics and other logical essays” Subjects and Themes:
- Subjects: ➤ Logic, Symbolic and mathematical - Mathematics - Philosophy - Symbolic and mathematical Logic - Filosofie van de wiskunde - Wiskundige logica
Edition Identifiers:
- The Open Library ID: ➤ OL21117974M - OL19944306M - OL18433030M - OL16774342M - OL6760952M - OL15153119M - OL20201841M
- Online Computer Library Center (OCLC) ID: 526504 - 9572661 - 1389590
- Library of Congress Control Number (LCCN): 52004378 - 31019231
Author's Alternative Names:
"F. P. Ramsey"Access and General Info:
- First Year Published: 1931
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The foundations of mathematics and other logical essays at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Mathematical logic
By Joseph R. Shoenfield

“Mathematical logic” Metadata:
- Title: Mathematical logic
- Author: Joseph R. Shoenfield
- Language: English
- Number of Pages: Median: 344
- Publisher: ➤ Association for Symbolic Logic - Addison-Wesley Pub. Co.
- Publish Date: 1967 - 1973 - 2001
- Publish Location: Natick, Mass - Reading, Mass
“Mathematical logic” Subjects and Themes:
- Subjects: ➤ Wiskundige logica - Logique symbolique et mathématique - Symbolic and mathematical Logic - Textbooks - Symbolische logica - Mathematics textbooks - VARIABLE SYNTAXIQUE - ARITHMETIQUE PEANO - Théorie modèle - Théorie ensemble - FONCTION VERITE - THEOREME CHURCH - THEOREME DEDUCTION LOGIQUE - Logique mathématique - RECURSIVITE RELATIVE - Logic, symbolic and mathematical - MATHEMATICS - General
Edition Identifiers:
- The Open Library ID: OL5543254M - OL6795343M - OL20720529M
- Online Computer Library Center (OCLC) ID: 526343 - 1034989387 - 5466494 - 45316911
- Library of Congress Control Number (LCCN): 00065277 - 67021300
- All ISBNs: 9781568811352 - 1568811357
Access and General Info:
- First Year Published: 1967
- 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 Mathematical logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Human reasoning and cognitive science
By Keith Stenning

“Human reasoning and cognitive science” Metadata:
- Title: ➤ Human reasoning and cognitive science
- Author: Keith Stenning
- Language: English
- Number of Pages: Median: 424
- Publisher: MIT Press
- Publish Date: 2008 - 2012
- Publish Location: Cambridge, MA
“Human reasoning and cognitive science” Subjects and Themes:
- Subjects: ➤ Cognitive science - Logic - Reasoning - Wiskundige logica - Redeneren - Cognitie - Cognition
Edition Identifiers:
- The Open Library ID: OL53283266M - OL29754182M - OL29730894M - OL29594221M - OL16897102M
- Online Computer Library Center (OCLC) ID: 182056860
- Library of Congress Control Number (LCCN): 2007046686
- All ISBNs: ➤ 0262195836 - 0262293536 - 9780262284295 - 1435654986 - 0262284294 - 9780262293532 - 9780262253789 - 026225378X - 9780262195836 - 9781435654983
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Human reasoning and cognitive science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16The evolution of Principia mathematica
By Bernard Linsky

“The evolution of Principia mathematica” Metadata:
- Title: ➤ The evolution of Principia mathematica
- Author: Bernard Linsky
- Language: English
- Number of Pages: Median: 414
- Publisher: Cambridge University Press
- Publish Date: 2011
- Publish Location: Cambridge - New York
“The evolution of Principia mathematica” Subjects and Themes:
- Subjects: ➤ Mathematics - Philosophy - Symbolic and mathematical Logic - MATHEMATICS / General - Russell, bertrand, 1872-1970 - Analysis (philosophy) - Logic, symbolic and mathematical - Wiskundige logica - Symbolische logica
- People: Bertrand Russell (1872-1970)
Edition Identifiers:
- The Open Library ID: ➤ OL53921550M - OL40784830M - OL40495584M - OL40482349M - OL34460911M - OL25045890M
- Online Computer Library Center (OCLC) ID: 703205172
- Library of Congress Control Number (LCCN): 2011006848
- All ISBNs: ➤ 9781139065764 - 110700327X - 0511760183 - 9781139082914 - 1139082914 - 1139065769 - 1283112663 - 1139080644 - 9781283112666 - 9781139080644 - 9780511760181 - 9781107003279
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 The evolution of Principia mathematica at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Logic for problem solving
By Robert Kowalski

“Logic for problem solving” Metadata:
- Title: Logic for problem solving
- Author: Robert Kowalski
- Language: English
- Number of Pages: Median: 291
- Publisher: ➤ North-Holland - University of Edinburgh, School of Artificial Intelligence - Elsevier North Holland
- Publish Date: 1974 - 1979
- Publish Location: New York - Edinburgh
“Logic for problem solving” Subjects and Themes:
- Subjects: ➤ Computer programming - Problem solving - Symbolic and mathematical Logic - Electronic digital computers - Programming - Wiskundige logica - Logique symbolique et mathématique - Problemlösen - Programmeren (computers) - Résolution de problème - Programmation (Informatique) - Automatisches Beweisverfahren - Probleemoplossing - Logic
Edition Identifiers:
- The Open Library ID: OL14536686M - OL42996662M - OL4418504M
- Online Computer Library Center (OCLC) ID: 5564433
- Library of Congress Control Number (LCCN): 79022659
- All ISBNs: 0444003657 - 0444003681 - 9780444003652 - 9780444003683
Access and General Info:
- First Year Published: 1974
- 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 Logic for problem solving at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Logic Colloquium 2006
By S. Barry Cooper

“Logic Colloquium 2006” Metadata:
- Title: Logic Colloquium 2006
- Author: S. Barry Cooper
- Language: English
- Number of Pages: Median: 373
- Publisher: ➤ Association for Symbolic Logic - Cambridge University Press
- Publish Date: 2009
- Publish Location: Cambridge - Ithaca, N.Y
“Logic Colloquium 2006” Subjects and Themes:
- Subjects: ➤ Wiskundige logica - Symbolic and mathematical Logic - Symbolische logica - Congresses - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL40676333M - OL40476077M - OL40384183M - OL25535345M
- Online Computer Library Center (OCLC) ID: 819491883
- Library of Congress Control Number (LCCN): 2009282206
- All ISBNs: ➤ 9780511601644 - 9780511604263 - 9780521110815 - 9780511603488 - 0511604262 - 9780511605321 - 0511603487 - 0511601646 - 0511605323 - 0521110815
Access and General Info:
- First Year Published: 2009
- 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 2006 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Mathematical logic
By René Cori, Rene Cori and Daniel Lascar

“Mathematical logic” Metadata:
- Title: Mathematical logic
- Authors: René CoriRene CoriDaniel Lascar
- Language: English
- Number of Pages: Median: 358
- Publisher: ➤ Oxford University Press, USA - Oxford University Press
- Publish Date: 2000
- Publish Location: Oxford - New York
“Mathematical logic” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Logic - Wiskundige logica
Edition Identifiers:
- The Open Library ID: OL7399899M - OL7399898M - OL15537067M
- Online Computer Library Center (OCLC) ID: 44467497
- Library of Congress Control Number (LCCN): 00056525
- All ISBNs: 9780198500483 - 0198500491 - 9780198500490 - 0198500483
Access and General Info:
- First Year Published: 2000
- 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 logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Algebraic and logic programming
By Michael Hanus, Germany) Alp 9 (1996 Aachen and M. Rodriguez Artalejo

“Algebraic and logic programming” Metadata:
- Title: ➤ Algebraic and logic programming
- Authors: Michael HanusGermany) Alp 9 (1996 AachenM. Rodriguez Artalejo
- Language: English
- Number of Pages: Median: 345
- Publisher: Springer
- Publish Date: 1996
- Publish Location: New York - Berlin
“Algebraic and logic programming” Subjects and Themes:
- Subjects: ➤ Wiskundige logica - Algebra - Programmeren (computers) - Programmation logique - Logic programming - Logique algebrique - Congresses - Algebraic logic - Programmierung - Congres - Termersetzungssystem - Algebraische Spezifikation - Logische Programmierung - Mathematical Logic and Formal Languages - Computer Science - Logic design - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics) - Programming Languages, Compilers, Interpreters - Artificial intelligence - Computer Programming - Computer architecture & logic design - Mathematical theory of computation - Programming - General - Computers - Languages / Programming - Computers - Computer Books: Languages - Programming Languages - General - Logic
Edition Identifiers:
- The Open Library ID: OL1002435M - OL9061972M
- Online Computer Library Center (OCLC) ID: 35397838
- Library of Congress Control Number (LCCN): 96041750
- All ISBNs: 9783540617358 - 3540617353
First Setence:
"The fundamental interest of using term rewriting as an executable specification tool was shown in the last two decades, through many theoretical works but also many implementations of the concept, like (without exhaustivity) OBJ, PLUSS, LPG, ASF+SDF."
Access and General Info:
- First Year Published: 1996
- 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 Algebraic and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Mathematical reasoning
By Raymond S. Nickerson

“Mathematical reasoning” Metadata:
- Title: Mathematical reasoning
- Author: Raymond S. Nickerson
- Language: English
- Number of Pages: Median: 583
- Publisher: Psychology Press
- Publish Date: 2010
- Publish Location: New York
“Mathematical reasoning” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Reasoning - Problem solving - Mathematical analysis - Logic, symbolic and mathematical - Problem Solving - Analyse mathématique - Logique symbolique et mathématique - Résolution de problème - MATHEMATICS - History & Philosophy - Wiskundige logica - Redeneren
Edition Identifiers:
- The Open Library ID: OL24115213M
- Online Computer Library Center (OCLC) ID: 721907180 - 326685692
- Library of Congress Control Number (LCCN): 2009021567
- All ISBNs: 1848728271 - 9781848728271
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mathematical reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22From logic to logic programming
By Kees Doets

“From logic to logic programming” Metadata:
- Title: ➤ From logic to logic programming
- Author: Kees Doets
- Language: English
- Number of Pages: Median: 221
- Publisher: MIT Press
- Publish Date: 1994 - 2016
- Publish Location: Cambridge, Mass
“From logic to logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Wiskundige logica - Langages de programmation - Resolventenprinzip - Programmation logique - Logisch programmeren - Logique
Edition Identifiers:
- The Open Library ID: OL29755807M - OL1398593M
- Online Computer Library Center (OCLC) ID: 28666357
- Library of Congress Control Number (LCCN): 93006196
- All ISBNs: 9780262339162 - 0262339161 - 0262041421 - 9780262041423
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find From logic to logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23From Frege to Gödel
By Jean Van Heijenoort

“From Frege to Gödel” Metadata:
- Title: From Frege to Gödel
- Author: Jean Van Heijenoort
- Language: English
- Number of Pages: Median: 660
- Publisher: Harvard University Press
- Publish Date: 1967
- Publish Location: Cambridge
“From Frege to Gödel” Subjects and Themes:
- Subjects: ➤ Addresses, essays, lectures - Mathematics - Philosophy - Symbolic and mathematical Logic - Història - Lògica matemàtica - Logic, symbolic and mathematical - Mathematics, philosophy - Logique symbolique et mathématique - Mathématiques - Philosophie - Mathematische Logik - Wiskundige logica - Sources - History
Edition Identifiers:
- The Open Library ID: OL5534339M - OL16498954M - OL17757139M
- Online Computer Library Center (OCLC) ID: 523838
- Library of Congress Control Number (LCCN): 67010905
- All ISBNs: 0674324501 - 9780674324503
Access and General Info:
- First Year Published: 1967
- 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 From Frege to Gödel at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Logic from A to Z
By Michael Detlefsen

“Logic from A to Z” Metadata:
- Title: Logic from A to Z
- Author: Michael Detlefsen
- Language: English
- Number of Pages: Median: 116
- Publisher: Routledge
- Publish Date: 1999
- Publish Location: London - New York
“Logic from A to Z” Subjects and Themes:
- Subjects: ➤ Dictionaries - Logic - Wiskundige logica - Wörterbuch - Mathematische Logik - PHILOSOPHY - Logik - Logic, symbolic and mathematical - Mathematics - Encyclopedias - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL6804936M
- Online Computer Library Center (OCLC) ID: 49981695 - 40588828 - 43035594
- Library of Congress Control Number (LCCN): 00267716
- All ISBNs: 0415213754 - 9780415213752
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 Logic from A to Z at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Philosophical and mathematical correspondence
By Gottlob Frege

“Philosophical and mathematical correspondence” Metadata:
- Title: ➤ Philosophical and mathematical correspondence
- Author: Gottlob Frege
- Language: English
- Number of Pages: Median: 214
- Publisher: ➤ University of Chicago Press - B. Blackwell
- Publish Date: 1980
- Publish Location: Oxford - Chicago
“Philosophical and mathematical correspondence” Subjects and Themes:
- Subjects: ➤ Correspondence - Mathematicians - Wiskundige logica - Mathematische Logik - Mathematics, philosophy - Logic, symbolic and mathematical
- People: Gottlob Frege (1848-1925)
- Places: Germany
Edition Identifiers:
- The Open Library ID: OL19997502M - OL4419016M
- Online Computer Library Center (OCLC) ID: 5565016 - 16478437 - 6211220
- Library of Congress Control Number (LCCN): 79023199 - gb79030049
- All ISBNs: 9780631196204 - 0226261972 - 9780226261973 - 063119620X
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Philosophical and mathematical correspondence at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26First-order logic revisited
By Vincent F. Hendricks

“First-order logic revisited” Metadata:
- Title: First-order logic revisited
- Author: Vincent F. Hendricks
- Language: English
- Number of Pages: Median: 398
- Publisher: Logos
- Publish Date: 2004
- Publish Location: Berlin
“First-order logic revisited” Subjects and Themes:
- Subjects: Congresses - First-order logic - Wiskundige logica
Edition Identifiers:
- The Open Library ID: OL21100706M - OL19622559M
- Online Computer Library Center (OCLC) ID: 57010695
- Library of Congress Control Number (LCCN): 2005361650
- All ISBNs: 9783832504755 - 3832504753
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find First-order logic revisited at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Belief and probability
By John M. Vickers

“Belief and probability” Metadata:
- Title: Belief and probability
- Author: John M. Vickers
- Language: English
- Number of Pages: Median: 202
- Publisher: D. Reidel Pub. Co.
- Publish Date: 1976
- Publish Location: Boston - Dordrecht, Holland
“Belief and probability” Subjects and Themes:
- Subjects: ➤ Belief and doubt - Judgment (Logic) - Probabilities - Jugement (Logique) - Croyance et doute - Probabilités - Logik - Mathematische Logik - Urteil - Wahrscheinlichkeitsrechnung - Wiskundige logica - Waarschijnlijkheid (statistiek) - Idea (philosophy)
Edition Identifiers:
- The Open Library ID: OL4907218M
- Online Computer Library Center (OCLC) ID: 2632927
- Library of Congress Control Number (LCCN): 76055341
- All ISBNs: 9027707448 - 9789027707444
Access and General Info:
- First Year Published: 1976
- 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 Belief and probability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Degrees of unsolvability
By Richard L. Epstein

“Degrees of unsolvability” Metadata:
- Title: Degrees of unsolvability
- Author: Richard L. Epstein
- Language: English
- Number of Pages: Median: 240
- Publisher: Springer-Verlag
- Publish Date: 1979
- Publish Location: Berlin - New York
“Degrees of unsolvability” Subjects and Themes:
- Subjects: ➤ Unsolvability (Mathematical logic) - Distributive Lattices - Wiskundige logica - Treillis distributifs - Mathematische Logik - Unentscheidbarkeit - Non-resolubilite (Logique mathematique) - Unlosbarkeit
Edition Identifiers:
- The Open Library ID: OL4419513M
- Online Computer Library Center (OCLC) ID: 5675625
- Library of Congress Control Number (LCCN): 79023748
- All ISBNs: 0387097104 - 9780387097107
Access and General Info:
- First Year Published: 1979
- 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 Degrees of unsolvability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Computability in analysis and physics
By Marian B. Pour-El

“Computability in analysis and physics” Metadata:
- Title: ➤ Computability in analysis and physics
- Author: Marian B. Pour-El
- Language: English
- Number of Pages: Median: 206
- Publisher: Springer Verlag
- Publish Date: 1989
- Publish Location: Berlin - New York
“Computability in analysis and physics” Subjects and Themes:
- Subjects: ➤ Computable functions - Mathematical analysis - Physics - Fonctions calculables - Analyse mathématique - Physique - Mathematische Physik - Analysis - Berechenbarkeit - Berechenbare Funktion - Berekenbaarheid - Wiskundige logica - Natuurkunde - Recursive functions - Banach spaces
Edition Identifiers:
- The Open Library ID: OL2047650M
- Online Computer Library Center (OCLC) ID: 18411954
- Library of Congress Control Number (LCCN): 88024880
- All ISBNs: 9780387500355 - 0387500359
Access and General Info:
- First Year Published: 1989
- 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 Computability in analysis and physics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Constructive mathematics
By Fred Richman

“Constructive mathematics” Metadata:
- Title: Constructive mathematics
- Author: Fred Richman
- Language: English
- Number of Pages: Median: 347
- Publisher: Springer-Verlag
- Publish Date: 1981
- Publish Location: New York - Berlin
“Constructive mathematics” Subjects and Themes:
- Subjects: ➤ Intuitionistic mathematics - Congresses - Constructive mathematics - Mathématiques constructives - Mathématiques intuitionnistes - Congrès - Konstruktive Mathematik - Kongress - Wiskundige logica
Edition Identifiers:
- The Open Library ID: OL4263525M
- Online Computer Library Center (OCLC) ID: 7671997
- Library of Congress Control Number (LCCN): 81009345
- All ISBNs: 9780387108506 - 0387108505
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Constructive mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Conference in Mathematical Logic, London '70
By Conference in Mathematical Logic Bedford College 1970.

“Conference in Mathematical Logic, London '70” Metadata:
- Title: ➤ Conference in Mathematical Logic, London '70
- Author: ➤ Conference in Mathematical Logic Bedford College 1970.
- Language: English
- Number of Pages: Median: 351
- Publisher: Springer-Verlag
- Publish Date: 1972
- Publish Location: New York - Berlin
“Conference in Mathematical Logic, London '70” Subjects and Themes:
- Subjects: ➤ Congresses - Symbolic and mathematical Logic - Logique symbolique et mathématique - Congrès - Mathematische Logik - Kongress - Wiskundige logica
Edition Identifiers:
- The Open Library ID: OL5710385M
- Online Computer Library Center (OCLC) ID: 314091
- Library of Congress Control Number (LCCN): 70189457
- All ISBNs: 0387057447 - 9780387057446
Access and General Info:
- First Year Published: 1972
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Conference in Mathematical Logic, London '70 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Hyperproof
By Barwise, Jon.

“Hyperproof” Metadata:
- Title: Hyperproof
- Author: Barwise, Jon.
- Language: English
- Number of Pages: Median: 255
- Publisher: CSLI Publications
- Publish Date: 1994
- Publish Location: Stanford, Calif
“Hyperproof” Subjects and Themes:
- Subjects: ➤ Macintosh (Computer) - Symbolic and mathematical Logic - Computer science - Hyperproof - Logic, symbolic and mathematical - Macintosh (computer) - Informatica - Macintosh-software - Wiskundige logica - Deduksjon - Symbolsk logikk - Programvare - Håndbøker (Form) - Macintosh - Informatique - Logique symbolique et mathématique - Macintosh (ordinateur) - Mathématiques - Logiciels - Logique de premier ordre
Edition Identifiers:
- The Open Library ID: OL18082130M
- Library of Congress Control Number (LCCN): 93030747
- All ISBNs: 1881526119 - 9781881526117
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Hyperproof at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Nonstandard methods and applications in mathematics
By Nigel Cutland

“Nonstandard methods and applications in mathematics” Metadata:
- Title: ➤ Nonstandard methods and applications in mathematics
- Author: Nigel Cutland
- Language: English
- Number of Pages: Median: 248
- Publisher: Association for Symbolic Logic
- Publish Date: 2006
- Publish Location: Wellesley, Mass
“Nonstandard methods and applications in mathematics” Subjects and Themes:
- Subjects: ➤ Nonstandard mathematical analysis - Mathematical analysis - Analyse mathématique non standard - Wiskundige methoden - Wiskundige logica - Nonstandard-Analysis
Edition Identifiers:
- The Open Library ID: OL3431601M
- Online Computer Library Center (OCLC) ID: 62282777 - 680442122
- Library of Congress Control Number (LCCN): 2005057415
- All ISBNs: 9781568812915 - 1568812922 - 9781568812922 - 1568812914
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Nonstandard methods and applications in mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.