Explore: Constructive Mathematics
Discover books, insights, and more — all in one place.
Learn more about Constructive Mathematics with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “constructive-mathematics”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Foundations of algorithms
By Richard E. Neapolitan

“Foundations of algorithms” Metadata:
- Title: Foundations of algorithms
- Author: Richard E. Neapolitan
- Language: English
- Number of Pages: Median: 523
- Publisher: ➤ Jones and Bartlett Publishers - D.C. Heath
- Publish Date: 1996 - 1998
- Publish Location: ➤ Sudbury, Mass - Lexington, Mass
“Foundations of algorithms” Subjects and Themes:
- Subjects: ➤ Computational complexity - Algorithms - Constructive mathematics - Open Source - COMPUTERS - Programming - General - Algoritmen - Software Development & Engineering - Berekenbaarheid - Constructieve wiskunde - Complexiteit - Mathematische programmering - Tools - Algorithmes - Mathématiques constructives - Complexité de calcul (Informatique)
Edition Identifiers:
- The Open Library ID: OL22405142M - OL822980M
- Online Computer Library Center (OCLC) ID: 48138774 - 37254451 - 34486102
- Library of Congress Control Number (LCCN): 95077977 - 97028337
- All ISBNs: 9780669352986 - 0669352985 - 0763706205 - 9780763706203
Access and General Info:
- First Year Published: 1996
- 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 algorithms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Differential and integral
By Paul Lorenzen

“Differential and integral” Metadata:
- Title: Differential and integral
- Author: Paul Lorenzen
- Languages: English - ger
- Number of Pages: Median: 302
- Publisher: University of Texas Press
- Publish Date: 1971
- Publish Location: Austin
“Differential and integral” Subjects and Themes:
- Subjects: Calculus - Constructive mathematics - Calculus, integral
Edition Identifiers:
- The Open Library ID: OL4917380M
- Online Computer Library Center (OCLC) ID: 279034 - 925058575
- Library of Congress Control Number (LCCN): 76155895
- All ISBNs: 0292701144 - 9780292701144
Access and General Info:
- First Year Published: 1971
- 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 Differential and integral at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Ein konstruktiver Weg zur Masstheorie und Funktionalanalysis
By Zahn, Peter

“Ein konstruktiver Weg zur Masstheorie und Funktionalanalysis” Metadata:
- Title: ➤ Ein konstruktiver Weg zur Masstheorie und Funktionalanalysis
- Author: Zahn, Peter
- Language: ger
- Number of Pages: Median: 350
- Publisher: ➤ Wissenschaftliche Buchgesellschaft, [Abt. Verl]
- Publish Date: 1978
- Publish Location: Darmstadt
“Ein konstruktiver Weg zur Masstheorie und Funktionalanalysis” Subjects and Themes:
- Subjects: Constructive mathematics - Functional analysis - Measure theory
Edition Identifiers:
- The Open Library ID: OL4353207M
- Online Computer Library Center (OCLC) ID: 4806316
- Library of Congress Control Number (LCCN): 78395274
- All ISBNs: 3534077679 - 9783534077670
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Ein konstruktiver Weg zur Masstheorie und Funktionalanalysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Minimal degrees of unsolvability and the full approximation construction
By Richard L. Epstein

“Minimal degrees of unsolvability and the full approximation construction” Metadata:
- Title: ➤ Minimal degrees of unsolvability and the full approximation construction
- Author: Richard L. Epstein
- Language: English
- Number of Pages: Median: 136
- Publisher: American Mathematical Society
- Publish Date: 1975
- Publish Location: Providence
“Minimal degrees of unsolvability and the full approximation construction” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL5197812M
- Online Computer Library Center (OCLC) ID: 1529362
- Library of Congress Control Number (LCCN): 75020308
- All ISBNs: 9780821818626 - 0821818627
Access and General Info:
- First Year Published: 1975
- 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 Minimal degrees of unsolvability and the full approximation construction at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Fondements des mathématiques
By Yvon Gauthier

“Fondements des mathématiques” Metadata:
- Title: Fondements des mathématiques
- Author: Yvon Gauthier
- Language: fre
- Number of Pages: Median: 460
- Publisher: ➤ Presses de l'Université de Montréal
- Publish Date: 1976
- Publish Location: Montréal, Qué
“Fondements des mathématiques” Subjects and Themes:
- Subjects: Philosophie - Mathématiques - Mathematics - Philosophy - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL21163396M
- Online Computer Library Center (OCLC) ID: 3063721
- Library of Congress Control Number (LCCN): 77465419
- All ISBNs: 9780840503480 - 0840503482
Access and General Info:
- First Year Published: 1976
- 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 Fondements des mathématiques at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Investigating Mathematics Teaching
By Barbara Jaworski

“Investigating Mathematics Teaching” Metadata:
- Title: ➤ Investigating Mathematics Teaching
- Author: Barbara Jaworski
- Language: English
- Number of Pages: Median: 252
- Publisher: ➤ Routledge - Falmer Press - Taylor & Francis Group
- Publish Date: 1994 - 1996 - 2002
- Publish Location: Washington, D.C - London
“Investigating Mathematics Teaching” Subjects and Themes:
- Subjects: ➤ Mathematics - Study and teaching - Constructivism (Education) - Constructive mathematics - Mathematics, study and teaching - Constructivism (education)
Edition Identifiers:
- The Open Library ID: ➤ OL46082317M - OL46012997M - OL38785169M - OL38762161M - OL38757232M - OL38651541M - OL33738256M - OL9347520M - OL1111657M
- Library of Congress Control Number (LCCN): 94037479
- All ISBNs: ➤ 9781280057267 - 1280057262 - 1135716110 - 9781135716127 - 9781135716110 - 0203454219 - 9780750705714 - 1135716099 - 9780203454213 - 075070571X - 9780585447575 - 1135716129 - 0750703733 - 0585447578 - 9780750703734 - 9781135716073 - 1135716072 - 9781135716097
First Setence:
"As a classroom teacher of mathematics in English secondary comprehensive schools in the 1970s and early 1980s, I struggled with ways of helping my students to learn mathematics."
Author's Alternative Names:
"Barbar Jaworski"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 Investigating Mathematics Teaching at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Foundations of Algorithms
By Richard Neapolitan

“Foundations of Algorithms” Metadata:
- Title: Foundations of Algorithms
- Author: Richard Neapolitan
- Language: English
- Number of Pages: Median: 676
- Publisher: ➤ Jones & Bartlett Learning - Jones & Bartlett Learning, LLC
- Publish Date: 2014
“Foundations of Algorithms” Subjects and Themes:
- Subjects: Algorithms - Constructive mathematics - Computational complexity
Edition Identifiers:
- The Open Library ID: OL26837944M - OL51984399M
- Library of Congress Control Number (LCCN): 2013050988
- All ISBNs: 1284049191 - 9781284049190 - 1284049205 - 9781284049206
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Foundations of Algorithms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8The incompleteness phenomenon
By Martin Goldstern

“The incompleteness phenomenon” Metadata:
- Title: The incompleteness phenomenon
- Author: Martin Goldstern
- Language: English
- Number of Pages: Median: 218
- Publisher: CRC Press LLC - A K Peters
- Publish Date: 1995 - 1998 - 2018
- Publish Location: Wellesley, Mass
“The incompleteness phenomenon” Subjects and Themes:
- Subjects: Incompleteness theorems - Constructive mathematics - Proof theory
Edition Identifiers:
- The Open Library ID: ➤ OL29058058M - OL29398178M - OL29423219M - OL29407737M - OL29451979M - OL1428158M
- Library of Congress Control Number (LCCN): 93039361
- All ISBNs: ➤ 1315275589 - 9781351994866 - 1351994867 - 1000228886 - 1439863539 - 9781000228885 - 9781351991803 - 1351991809 - 9781439863534 - 1568810296 - 9781568810294 - 9781315275581
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 The incompleteness phenomenon at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Logical Foundations of Proof Complexity
By Stephen Cook

“Logical Foundations of Proof Complexity” Metadata:
- Title: ➤ Logical Foundations of Proof Complexity
- Author: Stephen Cook
- Language: English
- Number of Pages: Median: 496
- Publisher: Cambridge University Press
- Publish Date: 2010 - 2014
“Logical Foundations of Proof Complexity” Subjects and Themes:
- Subjects: Constructive mathematics - Proof theory
Edition Identifiers:
- The Open Library ID: OL40566889M - OL40381187M - OL27527823M - OL40469993M - OL34448582M
- All ISBNs: ➤ 9781107694118 - 9780511679674 - 1107694116 - 0511676271 - 9780511676277 - 0511681658 - 9780511681653 - 9780511686146 - 0511686145 - 051167967X
Access and General Info:
- First Year Published: 2010
- 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 Logical Foundations of Proof Complexity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Foundational Theories of Classical and Constructive Mathematics
By Giovanni Sommaruga

“Foundational Theories of Classical and Constructive Mathematics” Metadata:
- Title: ➤ Foundational Theories of Classical and Constructive Mathematics
- Author: Giovanni Sommaruga
- Language: English
- Number of Pages: Median: 328
- Publisher: ➤ Springer Science+Business Media B.V. - Springer - Giovanni Sommaruga
- Publish Date: 2011 - 2013
- Publish Location: Dordrecht
“Foundational Theories of Classical and Constructive Mathematics” Subjects and Themes:
- Subjects: ➤ Mathematics - Philosophy - Symbolic and mathematical Logic - Logic - Science - Mathematics, philosophy - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL28746278M - OL28259988M - OL25561539M
- Online Computer Library Center (OCLC) ID: 695008859
- Library of Congress Control Number (LCCN): 2011922884
- All ISBNs: ➤ 9400704305 - 9400704321 - 9789400704305 - 9789400735613 - 9400735618 - 9400704313 - 9789400704312 - 9789400704329
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 Foundational Theories of Classical and Constructive Mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Essays in Constructive Mathematics
By Harold M. Edwards

“Essays in Constructive Mathematics” Metadata:
- Title: ➤ Essays in Constructive Mathematics
- Author: Harold M. Edwards
- Language: English
- Number of Pages: Median: 211
- Publisher: ➤ Springer - Springer London, Limited - Springer International Publishing AG
- Publish Date: 2004 - 2007 - 2022 - 2023
“Essays in Constructive Mathematics” Subjects and Themes:
- Subjects: ➤ Constructive mathematics - Algebra - Geometry, algebraic - Symbolic and mathematical Logic - Mathematics - Number theory - Sequences (Mathematics)
Edition Identifiers:
- The Open Library ID: OL49688412M - OL37989381M - OL37118200M - OL7444387M
- Online Computer Library Center (OCLC) ID: 55286543
- Library of Congress Control Number (LCCN): 2004049156
- All ISBNs: ➤ 9780387219783 - 9783030985578 - 9783030985608 - 3030985601 - 0387271309 - 0387219781 - 3030985571 - 9780387271309
First Setence:
"Kronecker quoted this saying of Pascal in the first of a series of lectures he gave on the concept of number."
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 Essays in Constructive Mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Fine Structure and Iteration Trees
By William J. Mitchell and John R. Steel
“Fine Structure and Iteration Trees” Metadata:
- Title: ➤ Fine Structure and Iteration Trees
- Authors: William J. MitchellJohn R. Steel
- Language: English
- Number of Pages: Median: 136
- Publisher: ➤ Cambridge University Press - University of Cambridge ESOL Examinations
- Publish Date: 1994 - 2016 - 2017
“Fine Structure and Iteration Trees” Subjects and Themes:
- Subjects: Constructive mathematics - Set theory
Edition Identifiers:
- The Open Library ID: OL34719474M - OL29326830M - OL40521523M - OL51667188M
- All ISBNs: ➤ 9781316718315 - 3662219034 - 9781316766736 - 9783662219034 - 1107169097 - 131676673X - 9781107169098 - 131671831X
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 Fine Structure and Iteration Trees at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Studies in constructive mathematics and mathematical logic
By A. O. Slisenko
“Studies in constructive mathematics and mathematical logic” Metadata:
- Title: ➤ Studies in constructive mathematics and mathematical logic
- Author: A. O. Slisenko
- Languages: rus - English
- Number of Pages: Median: 88
- Publisher: Consultants Bureau - Springer
- Publish Date: 1969 - 2013 - 2014
- Publish Location: [s.l.] - New York
“Studies in constructive mathematics and mathematical logic” Subjects and Themes:
- Subjects: ➤ Constructive mathematics - Logic, symbolic and mathematical - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL57723157M - OL5681210M - OL37422054M - OL34383104M
- Online Computer Library Center (OCLC) ID: 4484
- Library of Congress Control Number (LCCN): 69012507
- All ISBNs: 9781468489682 - 9781489956323 - 1489956328 - 1468489682
Access and General Info:
- First Year Published: 1969
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Studies in constructive mathematics and mathematical logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Predicative Arithmetic. (MN-32)
By Edward Nelson
“Predicative Arithmetic. (MN-32)” Metadata:
- Title: ➤ Predicative Arithmetic. (MN-32)
- Author: Edward Nelson
- Language: English
- Number of Pages: Median: 200
- Publisher: Princeton University Press
- Publish Date: 1986 - 2014 - 2016
“Predicative Arithmetic. (MN-32)” Subjects and Themes:
- Subjects: Arithmetic - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL29266012M - OL28601963M - OL29236041M - OL28546626M
- All ISBNs: ➤ 1400858925 - 1306987164 - 9780691610290 - 0691610290 - 9781306987165 - 9780691638423 - 9781400858927 - 069163842X
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Predicative Arithmetic. (MN-32) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15From sets and types to topology and analysis
By Peter Schuster

“From sets and types to topology and analysis” Metadata:
- Title: ➤ From sets and types to topology and analysis
- Author: Peter Schuster
- Languages: English - und
- Number of Pages: Median: 350
- Publisher: ➤ Ebsco Publishing - Oxford University Press - CLARENDON/OXFORD - Clarendon Press
- Publish Date: 2005
- Publish Location: Oxford - OXFORD
“From sets and types to topology and analysis” Subjects and Themes:
- Subjects: ➤ Congresses - Constructive mathematics - Mathematics - Constructieve wiskunde - Analyse (wiskunde) - Topologie
Edition Identifiers:
- The Open Library ID: OL40390852M - OL36291448M - OL22709987M - OL20654663M
- Online Computer Library Center (OCLC) ID: 61176444
- Library of Congress Control Number (LCCN): 2006296109
- All ISBNs: ➤ 1280754036 - 9780198566519 - 9781280754036 - 0198566514 - 9780191524202 - 0191524204
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 From sets and types to topology and analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Constructivism in mathematics
By A. S. Troelstra

“Constructivism in mathematics” Metadata:
- Title: Constructivism in mathematics
- Author: A. S. Troelstra
- Language: English
- Number of Pages: Median: 879
- Publisher: ➤ Elsevier Science & Technology Books - North-Holland - Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
- Publish Date: 1988
- Publish Location: ➤ New York, N.Y - Amsterdam - New York
“Constructivism in mathematics” Subjects and Themes:
- Subjects: Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL2529794M - OL35795279M
- Online Computer Library Center (OCLC) ID: 17621906
- Library of Congress Control Number (LCCN): 88005240
- All ISBNs: 148327540X - 0444702660 - 9780444702661 - 9781483275406
Access and General Info:
- First Year Published: 1988
- 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 Constructivism in mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Constructive models
By I͡Uriĭ Leonidovich Ershov, Yuri L. Ershov and Sergei S. Goncharov

“Constructive models” Metadata:
- Title: Constructive models
- Authors: I͡Uriĭ Leonidovich ErshovYuri L. ErshovSergei S. Goncharov
- Language: English
- Number of Pages: Median: 306
- Publisher: Springer - Consultants Bureau
- Publish Date: 2000 - 2012
- Publish Location: New York
“Constructive models” Subjects and Themes:
- Subjects: ➤ Constructive mathematics - Mathematical foundations - Mathematical modelling - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Mathematics - Science/Mathematics - Logic - Constructive mathematics - Mathematics / Logic - Mathematical models
Edition Identifiers:
- The Open Library ID: OL9763225M - OL27995233M - OL6781559M
- Library of Congress Control Number (LCCN): 00029232
- All ISBNs: 0306110660 - 1461369320 - 9781461369325 - 9780306110665
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Constructive models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Problems in the constructive trend in mathematics
By V. P. Orevkov
“Problems in the constructive trend in mathematics” Metadata:
- Title: ➤ Problems in the constructive trend in mathematics
- Author: V. P. Orevkov
- Language: English
- Number of Pages: Median: 272
- Publisher: American Mathematical Society
- Publish Date: 1970 - 1972 - 1976
- Publish Location: Providence, R.I
“Problems in the constructive trend in mathematics” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL5191385M - OL44991812M - OL44991809M
- Online Computer Library Center (OCLC) ID: 71404 - 21192856 - 1399225
- Library of Congress Control Number (LCCN): 75011951
Access and General Info:
- First Year Published: 1970
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Problems in the constructive trend in mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Foundations of algorithms
By Richard E. Neapolitan

“Foundations of algorithms” Metadata:
- Title: Foundations of algorithms
- Author: Richard E. Neapolitan
- Language: English
- Publisher: Jones and Bartlett Publishers
- Publish Date: 2011
- Publish Location: Sudbury, Mass
“Foundations of algorithms” Subjects and Themes:
- Subjects: Computational complexity - Algorithms - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL24462435M - OL23929013M
- Library of Congress Control Number (LCCN): 2009040309
- All ISBNs: 0763782505 - 9780763782504
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 Foundations of algorithms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Constructibility and mathematical existence
By Charles S. Chihara
“Constructibility and mathematical existence” Metadata:
- Title: ➤ Constructibility and mathematical existence
- Author: Charles S. Chihara
- Language: English
- Number of Pages: Median: 282
- Publisher: ➤ Clarendon - Oxford University Press - Oxford University Press, Incorporated
- Publish Date: 1990 - 1991
- Publish Location: London
“Constructibility and mathematical existence” Subjects and Themes:
- Subjects: Mathematics, philosophy - Mathematics - Philosophy - Constructive mathematics - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL40409634M - OL37365255M - OL14961764M
- All ISBNs: ➤ 9780198239758 - 9781281989185 - 9780191520006 - 1281989185 - 0191520004 - 0198239750
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 Constructibility and mathematical existence at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Foundations of algorithms using C++ pseudocode
By Richard E. Neapolitan

“Foundations of algorithms using C++ pseudocode” Metadata:
- Title: ➤ Foundations of algorithms using C++ pseudocode
- Author: Richard E. Neapolitan
- Language: English
- Number of Pages: Median: 570
- Publisher: ➤ Jones and Bartlett Publishers - Jones and Bartlett
- Publish Date: 1998 - 2004
- Publish Location: Sudbury, Mass
“Foundations of algorithms using C++ pseudocode” Subjects and Themes:
- Subjects: Computational complexity - Algorithms - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL681711M - OL3676895M
- Online Computer Library Center (OCLC) ID: 52621746
- Library of Congress Control Number (LCCN): 97028337 - 2003015407
- All ISBNs: 0763723878 - 9780763706203 - 9780763723873 - 0763706205
First Setence:
"This text is about techniques for solving problems using a computer."
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Foundations of algorithms using C++ pseudocode at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Radical Constructivism in Mathematics Education
By E. Glasersfeld

“Radical Constructivism in Mathematics Education” Metadata:
- Title: ➤ Radical Constructivism in Mathematics Education
- Author: E. Glasersfeld
- Language: English
- Number of Pages: Median: 270
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2006 - 2010
“Radical Constructivism in Mathematics Education” Subjects and Themes:
- Subjects: ➤ Constructive mathematics - Mathematics, study and teaching
Edition Identifiers:
- The Open Library ID: OL29423352M - OL37353404M
- All ISBNs: 0306472015 - 9780306472015 - 9789048140916 - 9048140919
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 Radical Constructivism in Mathematics Education at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Intensional mathematics
By Stewart Shapiro

“Intensional mathematics” Metadata:
- Title: Intensional mathematics
- Author: Stewart Shapiro
- Language: English
- Number of Pages: Median: 230
- Publisher: ➤ Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. - North-Holland
- Publish Date: 1985
- Publish Location: ➤ New York - Amsterdam - New YorK, N.Y., U.S.A
“Intensional mathematics” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL2856317M - OL19827802M
- Online Computer Library Center (OCLC) ID: 11113852
- Library of Congress Control Number (LCCN): 84018856
- All ISBNs: 9780444876324 - 0444876324
Access and General Info:
- First Year Published: 1985
- 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 Intensional mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Strutture dell'argomentare
By Enrico Moriconi
“Strutture dell'argomentare” Metadata:
- Title: Strutture dell'argomentare
- Author: Enrico Moriconi
- Language: ita
- Number of Pages: Median: 176
- Publisher: ETS
- Publish Date: 2009
- Publish Location: Pisa
“Strutture dell'argomentare” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Constructive mathematics - Proof theory
Edition Identifiers:
- The Open Library ID: OL45257518M
- Online Computer Library Center (OCLC) ID: 505429202
- All ISBNs: 8846724860 - 9788846724861
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Strutture dell'argomentare at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Constructive Mathematics
By F. Richman
“Constructive Mathematics” Metadata:
- Title: Constructive Mathematics
- Author: F. Richman
- Language: English
- Number of Pages: Median: 347
- Publisher: ➤ Springer London, Limited - Springer-Verlag
- Publish Date: 1981 - 2006
“Constructive Mathematics” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Congresses - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL7442955M - OL37149503M
- All ISBNs: 0387108505 - 3540387595 - 9780387108506 - 9783540387596
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.
26A structural account of mathematics
By Charles S. Chihara

“A structural account of mathematics” Metadata:
- Title: ➤ A structural account of mathematics
- Author: Charles S. Chihara
- Language: English
- Number of Pages: Median: 390
- Publisher: ➤ Oxford University Press - Oxford University Press, USA - Clarendon
- Publish Date: 2004 - 2007
- Publish Location: Oxford - New York
“A structural account of mathematics” Subjects and Themes:
- Subjects: Mathematics - Philosophy - Structuralism - Constructive mathematics - Mathematics, philosophy
Edition Identifiers:
- The Open Library ID: OL3319988M - OL9556257M
- Online Computer Library Center (OCLC) ID: 53155755
- Library of Congress Control Number (LCCN): 2004271816
- All ISBNs: 0199228078 - 9780199267538 - 9780199228072 - 0199267537
Access and General Info:
- First Year Published: 2004
- 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 A structural account of mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Foundations of Constructive Probability Theory
By Yuen-Kwok Chan
“Foundations of Constructive Probability Theory” Metadata:
- Title: ➤ Foundations of Constructive Probability Theory
- Author: Yuen-Kwok Chan
- Language: English
- Number of Pages: Median: 612
- Publisher: ➤ Cambridge University Press - University of Cambridge ESOL Examinations
- Publish Date: 2021
“Foundations of Constructive Probability Theory” Subjects and Themes:
- Subjects: Mathematics - Probabilities - Stochastic processes - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL34781714M - OL34766232M
- Online Computer Library Center (OCLC) ID: 1201696856
- Library of Congress Control Number (LCCN): 2020046705
- All ISBNs: 9781108835435 - 1108884016 - 1108835430 - 9781108884013
Access and General Info:
- First Year Published: 2021
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Foundations of Constructive Probability Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Basic Math for the Construction Trades Trainee Guide
By NCCER
“Basic Math for the Construction Trades Trainee Guide” Metadata:
- Title: ➤ Basic Math for the Construction Trades Trainee Guide
- Author: NCCER
- Language: English
- Publisher: Pearson Education, Limited
- Publish Date: 2015
“Basic Math for the Construction Trades Trainee Guide” Subjects and Themes:
- Subjects: Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL40440658M
- All ISBNs: 9780134163703 - 0134163702
Author's Alternative Names:
"Nccer", ". NCCER", "NCCER Staff", "NCCER .", "The National Center for Construction Education and Research" and "Nccer Staff"Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Basic Math for the Construction Trades Trainee Guide at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Basic Picture
By Giovanni Sambin
“Basic Picture” Metadata:
- Title: Basic Picture
- Author: Giovanni Sambin
- Language: English
- Number of Pages: Median: 400
- Publisher: Oxford University Press
- Publish Date: 2019
“Basic Picture” Subjects and Themes:
- Subjects: Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL28744632M
- All ISBNs: 9780199232888 - 0199232881
Access and General Info:
- First Year Published: 2019
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Basic Picture at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Constructivism in Mathematics, Vol 1
By A. S. Troelstra and D. van Dalen
“Constructivism in Mathematics, Vol 1” Metadata:
- Title: ➤ Constructivism in Mathematics, Vol 1
- Authors: A. S. TroelstraD. van Dalen
- Language: English
- Number of Pages: Median: 355
- Publisher: ➤ Elsevier Science & Technology Books
- Publish Date: 1988
“Constructivism in Mathematics, Vol 1” Subjects and Themes:
- Subjects: Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL33389501M
- All ISBNs: 9780080570884 - 0080570887
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Constructivism in Mathematics, Vol 1 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Problems in the Constructive Trend in Mathematics V Pt. V
By V. P. Orevkov and N. A. Sanin

“Problems in the Constructive Trend in Mathematics V Pt. V” Metadata:
- Title: ➤ Problems in the Constructive Trend in Mathematics V Pt. V
- Authors: V. P. OrevkovN. A. Sanin
- Language: English
- Publisher: Amer Mathematical Society
- Publish Date: 1972
“Problems in the Constructive Trend in Mathematics V Pt. V” Subjects and Themes:
- Subjects: Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL11420040M
- All ISBNs: 9780821830130 - 0821830139
Access and General Info:
- First Year Published: 1972
- 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 the Constructive Trend in Mathematics V Pt. V at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Logicism, Intuitionism, and Formalism
By Sten Lindström, Erik Palmgren, Krister Segerberg and Viggo Stoltenberg-Hansen
“Logicism, Intuitionism, and Formalism” Metadata:
- Title: ➤ Logicism, Intuitionism, and Formalism
- Authors: Sten LindströmErik PalmgrenKrister SegerbergViggo Stoltenberg-Hansen
- Language: English
- Publisher: Springer
- Publish Date: 2009
“Logicism, Intuitionism, and Formalism” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL37103354M
- All ISBNs: 9781402089268 - 1402089260
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logicism, Intuitionism, and Formalism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Lectures on constructive mathematical analysis
By B. A. Kushner

“Lectures on constructive mathematical analysis” Metadata:
- Title: ➤ Lectures on constructive mathematical analysis
- Author: B. A. Kushner
- Language: English
- Number of Pages: Median: 346
- Publisher: American Mathematical Society
- Publish Date: 1984
- Publish Location: Providence, R.I
“Lectures on constructive mathematical analysis” Subjects and Themes:
- Subjects: Constructive mathematics - Mathematical analysis
Edition Identifiers:
- The Open Library ID: OL2855950M
- Online Computer Library Center (OCLC) ID: 11090538
- Library of Congress Control Number (LCCN): 84018459
- All ISBNs: 9780821845134 - 0821845136
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Lectures on constructive mathematical analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Constructive measure theory
By Errett Bishop
“Constructive measure theory” Metadata:
- Title: Constructive measure theory
- Author: Errett Bishop
- Language: English
- Number of Pages: Median: 85
- Publisher: American Mathematical Society
- Publish Date: 1972
- Publish Location: [Providence, R.I
“Constructive measure theory” Subjects and Themes:
- Subjects: Constructive mathematics - Generalized Integrals - Measure theory
Edition Identifiers:
- The Open Library ID: OL5328279M
- Online Computer Library Center (OCLC) ID: 314804
- Library of Congress Control Number (LCCN): 72181247
- All ISBNs: 0821818163 - 9780821818169
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 Constructive measure theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Predicative arithmetic
By Nelson, Edward

“Predicative arithmetic” Metadata:
- Title: Predicative arithmetic
- Author: Nelson, Edward
- Language: English
- Number of Pages: Median: 189
- Publisher: Princeton University Press
- Publish Date: 1986
- Publish Location: Princeton, N.J
“Predicative arithmetic” Subjects and Themes:
- Subjects: Arithmetic - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL2725012M
- Online Computer Library Center (OCLC) ID: 14001745
- Library of Congress Control Number (LCCN): 86018730
- All ISBNs: 9780691084558 - 0691084556
Access and General Info:
- First Year Published: 1986
- 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 Predicative arithmetic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Fondements des mathématiques
By Yvon Gauthier

“Fondements des mathématiques” Metadata:
- Title: Fondements des mathématiques
- Author: Yvon Gauthier
- Language: fre
- Number of Pages: Median: 460
- Publisher: ➤ Presses de l'Université de Montréal
- Publish Date: 1976
- Publish Location: Montréal
“Fondements des mathématiques” Subjects and Themes:
- Subjects: Constructive mathematics - Mathematics - Philosophy
Edition Identifiers:
- The Open Library ID: OL4633844M
- Library of Congress Control Number (LCCN): 77465419
- All ISBNs: 0840503482 - 9780840503480
Access and General Info:
- First Year Published: 1976
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Fondements des mathématiques at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Teorii͡a︡ priblizheniĭ i atomarnye funkt͡s︡ii
By Vladimir Logvinovich Rvachev
“Teorii͡a︡ priblizheniĭ i atomarnye funkt͡s︡ii” Metadata:
- Title: ➤ Teorii͡a︡ priblizheniĭ i atomarnye funkt͡s︡ii
- Author: Vladimir Logvinovich Rvachev
- Language: rus
- Number of Pages: Median: 64
- Publisher: Znanie
- Publish Date: 1978
- Publish Location: Moskva
“Teorii͡a︡ priblizheniĭ i atomarnye funkt͡s︡ii” Subjects and Themes:
- Subjects: Approximation theory - Constructive mathematics - Functions
Edition Identifiers:
- The Open Library ID: OL4363744M
- Online Computer Library Center (OCLC) ID: 10377304
- Library of Congress Control Number (LCCN): 78420517
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Teorii͡a︡ priblizheniĭ i atomarnye funkt͡s︡ii at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Simmetricheskai͡a︡ konstruktivnai͡a︡ logika
By I. D. Zaslavskiĭ
“Simmetricheskai͡a︡ konstruktivnai͡a︡ logika” Metadata:
- Title: ➤ Simmetricheskai͡a︡ konstruktivnai͡a︡ logika
- Author: I. D. Zaslavskiĭ
- Language: rus
- Number of Pages: Median: 281
- Publisher: ➤ Izd-vo Akademii nauk Armi͡a︡nskoĭ SSR
- Publish Date: 1978
- Publish Location: Erevan
“Simmetricheskai͡a︡ konstruktivnai͡a︡ logika” Subjects and Themes:
- Subjects: ➤ Constructive mathematics - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL3840026M
- Library of Congress Control Number (LCCN): 81155226
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Simmetricheskai͡a︡ konstruktivnai͡a︡ logika at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Proof complexity and feasible arithmetics
By Paul W. Beame and Samuel R. Buss

“Proof complexity and feasible arithmetics” Metadata:
- Title: ➤ Proof complexity and feasible arithmetics
- Authors: Paul W. BeameSamuel R. Buss
- Language: English
- Number of Pages: Median: 320
- Publisher: American Mathematical Society
- Publish Date: 1998
- Publish Location: Providence, R.I
“Proof complexity and feasible arithmetics” Subjects and Themes:
- Subjects: Computational complexity - Congresses - Proof theory - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL682436M
- Library of Congress Control Number (LCCN): 97029122
- All ISBNs: 9780821805770 - 0821805770
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Proof complexity and feasible arithmetics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Constructivism in Mathematics Vol. 2
By A. S. Troelstra and D. Van Dalen
“Constructivism in Mathematics Vol. 2” Metadata:
- Title: ➤ Constructivism in Mathematics Vol. 2
- Authors: A. S. TroelstraD. Van Dalen
- Language: English
- Number of Pages: Median: 129
- Publisher: Elsevier Science & Technology
- Publish Date: 1988
“Constructivism in Mathematics Vol. 2” Subjects and Themes:
- Subjects: Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL28942823M
- Online Computer Library Center (OCLC) ID: 471058900
- Library of Congress Control Number (LCCN): 88005240
- All ISBNs: 9780444703583 - 0444703586
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Constructivism in Mathematics Vol. 2 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Berechenbarkeit, Komplexität, Logik
By Egon Börger
“Berechenbarkeit, Komplexität, Logik” Metadata:
- Title: ➤ Berechenbarkeit, Komplexität, Logik
- Author: Egon Börger
- Language: ger
- Number of Pages: Median: 470
- Publisher: Springer
- Publish Date: 1986
“Berechenbarkeit, Komplexität, Logik” Subjects and Themes:
- Subjects: ➤ Constructive mathematics - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL34381268M
- Online Computer Library Center (OCLC) ID: 17570061
- All ISBNs: 9783528189280 - 3528189282
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Berechenbarkeit, Komplexität, Logik at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Introduccion a las Matemiticas de la Construccion
By NCCER
“Introduccion a las Matemiticas de la Construccion” Metadata:
- Title: ➤ Introduccion a las Matemiticas de la Construccion
- Author: NCCER
- Language: English
- Publisher: Prentice Hall PTR
- Publish Date: 2007
“Introduccion a las Matemiticas de la Construccion” Subjects and Themes:
- Subjects: Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL34391859M
- All ISBNs: 0136144926 - 9780136144922
Author's Alternative Names:
"NCCER Staff", ". NCCER", "Nccer Staff", "Nccer", "The National Center for Construction Education and Research" and "NCCER ."Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Introduccion a las Matemiticas de la Construccion at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Five papers on logic and foundations

“Five papers on logic and foundations” Metadata:
- Title: ➤ Five papers on logic and foundations
- Language: English
- Number of Pages: Median: 275
- Publisher: American Mathematical Society
- Publish Date: 1972
- Publish Location: Providence, R.I
“Five papers on logic and foundations” Subjects and Themes:
- Subjects: ➤ Addresses, essays, lectures - Symbolic and mathematical Logic - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL5325204M
- Library of Congress Control Number (LCCN): 72177998
- All ISBNs: 082181799X - 9780821817995
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 Five papers on logic and foundations at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44There's something about Gödel
By Francesco Berto
“There's something about Gödel” Metadata:
- Title: There's something about Gödel
- Author: Francesco Berto
- Language: English
- Number of Pages: Median: 233
- Publisher: Wiley-Blackwell
- Publish Date: 2009
- Publish Location: Malden, MA
“There's something about Gödel” Subjects and Themes:
- Subjects: ➤ Mathematics - Incompleteness theorems - Philosophy - Gödel's theorem - Goedel's theorem - Mathematics, philosophy - Goedel, kurt, 1906-1978 - Constructive mathematics - Incompleteness theorem - Gödel, kurt - Mathematics--philosophy - Qa9.54 .b4713 2009 - 511.3
- People: Kurt Gödel (1906-1978)
Edition Identifiers:
- The Open Library ID: OL24103291M
- Online Computer Library Center (OCLC) ID: 361965956
- Library of Congress Control Number (LCCN): 2009020156
- All ISBNs: 1405197668 - 1405197676 - 9781405197670 - 9781405197663
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find There's something about Gödel at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Perspectives in logic
By Stephen Cook

“Perspectives in logic” Metadata:
- Title: Perspectives in logic
- Author: Stephen Cook
- Language: English
- Number of Pages: Median: 479
- Publisher: Cambridge University Press
- Publish Date: 2010
- Publish Location: Cambridge - New York
“Perspectives in logic” Subjects and Themes:
- Subjects: ➤ Computational complexity - Symbolic and mathematical Logic - Proof theory - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL23994352M
- Online Computer Library Center (OCLC) ID: 466341175
- Library of Congress Control Number (LCCN): 2009051396
- All ISBNs: 052151729X - 9780521517294
Access and General Info:
- First Year Published: 2010
- 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 Perspectives in logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Constructive physics
By I︠U︡. I. Ozhigov
“Constructive physics” Metadata:
- Title: Constructive physics
- Author: I︠U︡. I. Ozhigov
- Language: English
- Publisher: Nova Science Publishers
- Publish Date: 2011
- Publish Location: Hauppauge, N.Y
“Constructive physics” Subjects and Themes:
- Subjects: Quantum theory - Mathematical models - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL25075208M
- Online Computer Library Center (OCLC) ID: 694829615
- Library of Congress Control Number (LCCN): 2010049668
- All ISBNs: 1612095534 - 9781612095530
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 Constructive physics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Stochastic automata; constructive theory
By Aivar Arvidovich Lorents
“Stochastic automata; constructive theory” Metadata:
- Title: ➤ Stochastic automata; constructive theory
- Author: Aivar Arvidovich Lorents
- Language: English
- Number of Pages: Median: 174
- Publisher: Wiley
- Publish Date: 1974
- Publish Location: New York
“Stochastic automata; constructive theory” Subjects and Themes:
- Subjects: Constructive mathematics - Probabilistic automata
Edition Identifiers:
- The Open Library ID: OL21777166M
Access and General Info:
- First Year Published: 1974
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Stochastic automata; constructive theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Der Riemannsche Abbildungssatz in der Konstruktiven Analysis
By Rita Jeltsch
“Der Riemannsche Abbildungssatz in der Konstruktiven Analysis” Metadata:
- Title: ➤ Der Riemannsche Abbildungssatz in der Konstruktiven Analysis
- Author: Rita Jeltsch
- Language: ger
- Number of Pages: Median: 77
- Publisher: Juris
- Publish Date: 1971
- Publish Location: Zürich
“Der Riemannsche Abbildungssatz in der Konstruktiven Analysis” Subjects and Themes:
- Subjects: Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL16587923M
Access and General Info:
- First Year Published: 1971
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Der Riemannsche Abbildungssatz in der Konstruktiven Analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49PHENOMENOLOGY, LOGIC, AND THE PHILOSOPHY OF MATHEMATICS
By RICHARD L. TIESZEN

“PHENOMENOLOGY, LOGIC, AND THE PHILOSOPHY OF MATHEMATICS” Metadata:
- Title: ➤ PHENOMENOLOGY, LOGIC, AND THE PHILOSOPHY OF MATHEMATICS
- Author: RICHARD L. TIESZEN
- Language: und
- Number of Pages: Median: 357
- Publisher: CAMBRIDGE UNIV PRESS
- Publish Date: 2010
- Publish Location: NEW YORK
“PHENOMENOLOGY, LOGIC, AND THE PHILOSOPHY OF MATHEMATICS” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Constructive mathematics - Intuitionistic mathematics - Phenomenology - Philosophy - Mathematics - Logica - Filosofie van de wiskunde - Fenomenologie - History & Philosophy - Mathematics, philosophy
Edition Identifiers:
- The Open Library ID: OL22631311M
- Online Computer Library Center (OCLC) ID: 57211302
- Library of Congress Control Number (LCCN): 2004062888
- All ISBNs: 9780521837828 - 0521837820
Access and General Info:
- First Year Published: 2010
- 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 PHENOMENOLOGY, LOGIC, AND THE PHILOSOPHY OF MATHEMATICS at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Ot algoritmoy - k suzhdeniiam
By Samuil Iosifovich Shapiro
“Ot algoritmoy - k suzhdeniiam” Metadata:
- Title: Ot algoritmoy - k suzhdeniiam
- Author: Samuil Iosifovich Shapiro
- Language: rus
- Number of Pages: Median: 287
- Publisher: "Sov. radio"
- Publish Date: 1973
- Publish Location: Moskva
“Ot algoritmoy - k suzhdeniiam” Subjects and Themes:
- Subjects: Model theory - Algorithms - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL21325985M
Access and General Info:
- First Year Published: 1973
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Ot algoritmoy - k suzhdeniiam at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.