gdmcbain > 03-01-mathematical-logic-and-foundations-instructional-exposition

Lesezeichen (verstecken)1
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

1Sorites Paradox (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/sorites-paradox/
vor 4 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03-01-mathematical-logic-and-foundations-instructional-exposition
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags

⟨⟨
⟨
1
⟩
⟩⟩

Publikationen (verstecken)75
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

1Ontology: Or, The Theory of Being; an Introduction to General Metaphysics
P. Coffey. Longmans, Green and Company, (1914)
vor einem Monat von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
ontology
03-01-mathematical-logic-and-foundations-instructional-expositionontology
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1A Primer of Infinitesimal Analysis
J. Bell. Cambridge University Press, Cambridge, Second Edition, (2008)
vor 4 Monaten von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03h05-nonstandard-models-in-mathematics
26-01-real-functions-instructional-exposition
26e35-nonstandard-analysis
03-01-mathematical-logic-and-foundations-instructional-exposition03h05-nonstandard-models-in-mathematics26-01-real-functions-instructional-exposition26e35-nonstandard-analysis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1A Primer of Infinitesimal Analysis
J. Bell. Cambridge University Press, First Edition, (1998)
vor 4 Monaten von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03h05-nonstandard-models-in-mathematics
26-01-real-functions-instructional-exposition
26e35-nonstandard-analysis
03-01-mathematical-logic-and-foundations-instructional-exposition03h05-nonstandard-models-in-mathematics26-01-real-functions-instructional-exposition26e35-nonstandard-analysis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Gödel, Escher, Bach: an Eternal Golden Braid
D. Hofstadter. Basic Books Inc., (1979)
vor 2 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03d20-recursive-functions-and-relations
68t-artificial-intelligence
03-01-mathematical-logic-and-foundations-instructional-exposition03d20-recursive-functions-and-relations68t-artificial-intelligence
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Modal logic for philosophers
J. Garson. Cambridge University Press, Cambridge, (2006)
vor 2 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03b45-modal-logic-including-the-logic-of-norms
03-01-mathematical-logic-and-foundations-instructional-exposition03b45-modal-logic-including-the-logic-of-norms
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer.
N. Wolchover. Quanta Magazine, (Juli 2021)
vor 3 Jahren von @gdmcbain
alle anzeigen
00a06-mathematics-for-nonmathematicians
03-01-mathematical-logic-and-foundations-instructional-exposition
03-03-mathematical-logic-and-foundations-historical
03e17-cardinal-characteristics-of-the-continuum
03e50-continuum-hypothesis-and-martins-axiom
00a06-mathematics-for-nonmathematicians03-01-mathematical-logic-and-foundations-instructional-exposition03-03-mathematical-logic-and-foundations-historical03e17-cardinal-characteristics-of-the-continuum03e50-continuum-hypothesis-and-martins-axiom
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
3An introduction to lambda calculi for computer scientists
C. Hankin. Texts in Computing King's College Publ., London, (2004)
vor 3 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03b40-combinatory-logic-and-lambda-calculus
68-01-computer-science-instructional-exposition
68n18-functional-programming-and-lambda-calculus
03-01-mathematical-logic-and-foundations-instructional-exposition03b40-combinatory-logic-and-lambda-calculus68-01-computer-science-instructional-exposition68n18-functional-programming-and-lambda-calculus
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1First order mathematical logic
A. Margaris. Dover Publications, New York, (1990)
vor 3 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03b10-classical-first-order-logic
03b25-decidability-of-theories-and-sets-of-sequences
03b30-foundations-of-classical-theories
03c07-basic-properties-of-first-order-language-and-structure
03c35-categoricity-and-completeness-of-theories
03f30-first-order-arithmetic-and-fragments
03-01-mathematical-logic-and-foundations-instructional-exposition03b10-classical-first-order-logic03b25-decidability-of-theories-and-sets-of-sequences03b30-foundations-of-classical-theories03c07-basic-properties-of-first-order-language-and-structure03c35-categoricity-and-completeness-of-theories03f30-first-order-arithmetic-and-fragments
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2What is mathematical logic?
J. Crossley, C. Ash, C. Brickhill, J. Stillwell, und N. Williams. Dover, New York, (1990)
vor 3 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03-01-mathematical-logic-and-foundations-instructional-exposition
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Logic for Mathematicians
A. Hamilton. Cambridge University Press, Cambridge, (1988)
vor 3 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03-01-mathematical-logic-and-foundations-instructional-exposition
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Pleasure : A History
L. Shapiro (Hrsg.) Oxford Philosophical Concepts Oxford University Press, (2018)
vor 4 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
91e10-cognitive-psychology
03-01-mathematical-logic-and-foundations-instructional-exposition91e10-cognitive-psychology
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Logic
D. Kalish, und R. Montague. Harcourt, Brace & World, New York, (1964)
vor 4 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03b05-classical-propositional-logic
03b10-classical-first-order-logic
03-01-mathematical-logic-and-foundations-instructional-exposition03b05-classical-propositional-logic03b10-classical-first-order-logic
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1A Primer on Homotopy Type Theory Part 1: The Formal Type Theory
J. Ladyman, und S. Presnell. (November 2014)
vor 5 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03a05-philosophical-and-critical-aspects-of-mathematical-logic-and-foundations
03-01-mathematical-logic-and-foundations-instructional-exposition03a05-philosophical-and-critical-aspects-of-mathematical-logic-and-foundations
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Science de la logique
G. Hegel. Bibliothèque philosophique Aubier Montaigne, (1976)
vor 5 Jahren von @gdmcbain
alle anzeigen
01a75-collected-or-selected-works-reprintings-or-translations-of-classics
03-01-mathematical-logic-and-foundations-instructional-exposition
01a75-collected-or-selected-works-reprintings-or-translations-of-classics03-01-mathematical-logic-and-foundations-instructional-exposition
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Science de la logique. Livre troisième. Le Concept
G. Hegel. Bibliothèque des textes philosophiques Librairie philosophique J. Vrin, (2016)
vor 5 Jahren von @gdmcbain
alle anzeigen
01a75-collected-or-selected-works-reprintings-or-translations-of-classics
03-01-mathematical-logic-and-foundations-instructional-exposition
01a75-collected-or-selected-works-reprintings-or-translations-of-classics03-01-mathematical-logic-and-foundations-instructional-exposition
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Science de la logique. La Doctrine de l'essence. Premier tome
G. Hegel. Kimé, (2010)
vor 5 Jahren von @gdmcbain
alle anzeigen
01a75-collected-or-selected-works-reprintings-or-translations-of-classics
03-01-mathematical-logic-and-foundations-instructional-exposition
01a75-collected-or-selected-works-reprintings-or-translations-of-classics03-01-mathematical-logic-and-foundations-instructional-exposition
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Encyclopédie des Sciences Philosophiques. Vol. I
G. Hegel. Librairie Philosophique J. Vrin, (1994)
vor 5 Jahren von @gdmcbain
alle anzeigen
01a75-collected-or-selected-works-reprintings-or-translations-of-classics
03-01-mathematical-logic-and-foundations-instructional-exposition
01a75-collected-or-selected-works-reprintings-or-translations-of-classics03-01-mathematical-logic-and-foundations-instructional-exposition
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Mathematical Logic
W. Quine. Harper Torchbooks: The Science Library Harper & Row, (1962)
vor 5 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03-01-mathematical-logic-and-foundations-instructional-exposition
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Mathematical Logic
W. Quine. Harvard University Press, Revised Edition, (1951)
vor 5 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03-01-mathematical-logic-and-foundations-instructional-exposition
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Introduction to Mathematical Philosophy
B. Russell. Allen & Unwin, London, (1948)
vor 5 Jahren von @gdmcbain
alle anzeigen
03-01-mathematical-logic-and-foundations-instructional-exposition
03-01-mathematical-logic-and-foundations-instructional-exposition
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen

⟨⟨
⟨
1
2
3
⟩
⟩⟩

BibSonomy

Lesezeichen (verstecken)1
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

1Sorites Paradox (Stanford Encyclopedia of Philosophy)

Publikationen (verstecken)75
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

1Ontology: Or, The Theory of Being; an Introduction to General Metaphysics

1A Primer of Infinitesimal Analysis

1A Primer of Infinitesimal Analysis

2Gödel, Escher, Bach: an Eternal Golden Braid

2Modal logic for philosophers

1How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer.

3An introduction to lambda calculi for computer scientists

1First order mathematical logic

2What is mathematical logic?

1Logic for Mathematicians

1Pleasure : A History

1Logic

1A Primer on Homotopy Type Theory Part 1: The Formal Type Theory

1Science de la logique

1Science de la logique. Livre troisième. Le Concept

1Science de la logique. La Doctrine de l'essence. Premier tome

1Encyclopédie des Sciences Philosophiques. Vol. I

1Mathematical Logic

1Mathematical Logic

1Introduction to Mathematical Philosophy

Stöbern

Verwandte Tags

Konzepte

Tags

Lesezeichen (verstecken)1 Anzeigeallesnur LesezeichenLesezeichen pro Seite5102050100 sortieren nachhinzugefügt amTitel RSSBibTeXXML

Publikationen (verstecken)75 Anzeigeallesnur PublikationenPublikationen pro Seite5102050100 sortieren nachhinzugefügt amTitelAutorErscheinungsdatumEintragstypHilfe für erweiterte Sortierung... RSSBibTeXRDFmehr...

Stöbern

Verwandte Tags

Tags

Lesezeichen (verstecken)1
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

Publikationen (verstecken)75
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...