Chapter: The Use of Mizar MSE in a Course in Foundations of Geometry

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Initiatives in Logic > The Use of Mizar MSE in a Course in Foundations of Geometry

Initiatives in Logic |

Jan J.T. Srzednicki

Springer Netherlands

The Use of Mizar MSE in a Course in Foundations of Geometry

Chapter Info

Authors

Lesław W. Szczerba

ARI Id

1664818217466_3642986

Access

Not Available Free

Pages

231-232

DOI

10.1007/978-94-009-3673-7_14

Chapter URL

https://rd.springer.com/chapter/10.1007/978-94-009-3673-7_14

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 16 of 16 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		i-x
Leibniz’s Calculus of Strict Implication	Wolfgang Lenzen	1-35
Leibniz’s Modal Calculus of Concepts	Maciej Juniewicz	36-51
The Logic of Conditions	Ingemund Gullvåg	52-69
Philosophical Pragmatism in Poincare	Gerhard Heinzmann	70-80
A Note on Zeno B3	Nicholas Denyer	81-83
Generalizations and Strengthenings of Gödel’s Incompleteness Theorem	Roman Murawski	84-100
The Logical Work of Mordchaj Wajsberg	Stanisław J. Surma	101-115
Notes on Wajsberg’s Proof of the Separation Theorem	M. N. Bezhanishvili	116-127
Logical Analysis of Thomism	Edward Nieznański	128-155
On Justification of Questions	Leon Koj	156-179
The Logic of Types	Wojciech Buszkowski	180-206
Systems of Computer-Aided Reasoning for Mathematics and Natural Language	Witold Marciszewski	207-223
An Application of Mizar MSE in a Course in Logic	Anna Zalewska	224-230
The Use of Mizar MSE in a Course in Foundations of Geometry	Lesław W. Szczerba	231-232
Back Matter		233-261
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 16 of 16 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries