Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Buridan on mathematics

Thijssen, J.M.M.H.

Publication date

January 1985

DOI

10.1163/156853485x00032

ISSN

0042-7543

Abstract

Contains fulltext : 357104.pdf (publisher's version ) (Closed access)24 p

Extracted data

Related items

John Buridan, Metaphysician and Natural Philosopher. An Introductory Survey

Thijssen, J.M.M.H.
Zupko, J.

January 2001

Contains fulltext : 160641.pdf (publisher's version ) (Closed access

Betekenis en consequenties van theoretische generalisatie

Hillebrand, B.
Kok, R.A.W.

January 1999

Contains fulltext : 183747.PDF (publisher's version ) (Closed access

An Interactive Viewer for Mathematical Content Based On Type Theory

Oostdijk, M.

January 2000

Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p

Thijssen, J.M.M.H.

January 2007

Contains fulltext : 277743.pdf (publisher's version ) (Open Access

The Metaphysics and Natural Philosophy of John Buridan

Thijssen, J.M.M.H.
Zupko, J.

January 2001

Contains fulltext : 205228.pdf (publisher's version ) (Closed access)XVII + 300 p

Prolegomena to a Study of John Buridan's Physics

Thijssen, J.M.M.H.

January 2005

Contains fulltext : 248932.pdf (publisher's version ) (Closed access) ...

Computerising Mathematical Text

Kamareddine, F.
Wells, J.
Zengler, C.
Barendregt, H.

January 2014

Contains fulltext : 134655.pdf (preprint version ) (Open Access

Definitions (and Concepts) in Mathematical Practice

Coumans, V.J.W.

January 2021

Contains fulltext : 239465.pdf (Publisher’s version ) (Closed access

Herman Geuvers
Rob Nederpelt

September 2016

The following full text is a preprint version which may differ from the publisher's version. Fo...

Computing with Classical Real Numbers

Kaliszyk, C.S.
O'Connor, R.S.S.

January 2009

Contains fulltext : 75367.pdf (publisher's version ) (Open Access)14 p

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

The Buridan School Reassessed. John Buridan and Albert of Saxony

Thijssen, J.M.M.H.

January 2004

Contains fulltext : 216746.pdf (publisher's version ) (Open Access) ...

N.G. de bruijn’s contribution to the formalization of mathematics

Geuvers, H.
Nederpelt, R.

January 2013

Contains fulltext : 119907.pdf (preprint version ) (Open Access

Mathematica utens

Farkas, J.
Sarbo, J.J.

January 2004

Contains fulltext : 60490.pdf (preprint version ) (Open Access)14 p

John Buridan’s Quaestiones de secretis mulierum: Edition and Introduction

Beneduce, C.
Bakker, P.J.J.M.

January 2019

Contains fulltext : 207185.pdf (publisher's version ) (Closed access

John Buridan, Metaphysician and Natural Philosopher. An Introductory Survey

Thijssen, J.M.M.H.
Zupko, J.

January 2001

Contains fulltext : 160641.pdf (publisher's version ) (Closed access

Betekenis en consequenties van theoretische generalisatie

Hillebrand, B.
Kok, R.A.W.

January 1999

Contains fulltext : 183747.PDF (publisher's version ) (Closed access

An Interactive Viewer for Mathematical Content Based On Type Theory

Oostdijk, M.

January 2000

Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p

Thijssen, J.M.M.H.

January 2007

Contains fulltext : 277743.pdf (publisher's version ) (Open Access

The Metaphysics and Natural Philosophy of John Buridan

Thijssen, J.M.M.H.
Zupko, J.

January 2001

Contains fulltext : 205228.pdf (publisher's version ) (Closed access)XVII + 300 p

Prolegomena to a Study of John Buridan's Physics

Thijssen, J.M.M.H.

January 2005

Contains fulltext : 248932.pdf (publisher's version ) (Closed access) ...

Computerising Mathematical Text

Kamareddine, F.
Wells, J.
Zengler, C.
Barendregt, H.

January 2014

Contains fulltext : 134655.pdf (preprint version ) (Open Access

Definitions (and Concepts) in Mathematical Practice

Coumans, V.J.W.

January 2021

Contains fulltext : 239465.pdf (Publisher’s version ) (Closed access

Herman Geuvers
Rob Nederpelt

September 2016

The following full text is a preprint version which may differ from the publisher's version. Fo...

Computing with Classical Real Numbers

Kaliszyk, C.S.
O'Connor, R.S.S.

January 2009

Contains fulltext : 75367.pdf (publisher's version ) (Open Access)14 p

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

The Buridan School Reassessed. John Buridan and Albert of Saxony

Thijssen, J.M.M.H.

January 2004

Contains fulltext : 216746.pdf (publisher's version ) (Open Access) ...

N.G. de bruijn’s contribution to the formalization of mathematics

Geuvers, H.
Nederpelt, R.

January 2013

Contains fulltext : 119907.pdf (preprint version ) (Open Access

Mathematica utens

Farkas, J.
Sarbo, J.J.

January 2004

Contains fulltext : 60490.pdf (preprint version ) (Open Access)14 p

John Buridan’s Quaestiones de secretis mulierum: Edition and Introduction

Beneduce, C.
Bakker, P.J.J.M.

January 2019

Contains fulltext : 207185.pdf (publisher's version ) (Closed access

John Buridan, Metaphysician and Natural Philosopher. An Introductory Survey

Thijssen, J.M.M.H.
Zupko, J.

January 2001

Contains fulltext : 160641.pdf (publisher's version ) (Closed access

Betekenis en consequenties van theoretische generalisatie

Hillebrand, B.
Kok, R.A.W.

January 1999

Contains fulltext : 183747.PDF (publisher's version ) (Closed access

An Interactive Viewer for Mathematical Content Based On Type Theory

Oostdijk, M.

January 2000

Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p