Narrow your search
Listing 1 - 10 of 96 << page
of 10
>>
Sort by
From Peirce to Skolem : a neglected chapter in the history of logic
Author:
ISBN: 9780444503343 044450334X 0080532020 9780080532028 Year: 2000 Publisher: New York North-Holland/Elsevier Science BV

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schröder, Leopold Löwenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.

The nothing that is: a natural history of zero
Author:
ISBN: 0195128427 Year: 2000 Publisher: Oxford Oxford University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Modal logics and philosophy
ISBN: 1902683145 Year: 2000 Publisher: Chesham Acumen

Loading...
Export citation

Choose an application

Bookmark

Abstract

To mock a mockingbird and other logic puzzles including an amazing adventure in combinatory logic
Author:
ISBN: 0192801422 9780192801425 Year: 2000 Publisher: Oxford Oford University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Socratic puzzles
Author:
ISBN: 9780674816534 Year: 2000 Publisher: Cambridge, Mass. Harvard University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Forever undecided : a puzzle guide to Gödel
Author:
ISBN: 0192801414 Year: 2000 Publisher: Oxford Oxford University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

The lady or the tiger? And other logic puzzles including a mathematical novel that features gödel's great discovery
Author:
ISBN: 0192801430 Year: 2000 Publisher: Oxford Oford University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract


Multi
Meta-mathematical aspects of Martin-Löf's type theory
Authors: ---
ISBN: 8880981226 Year: 2000

Loading...
Export citation

Choose an application

Bookmark

Abstract

Mathematical logic : a course with exercises
Authors: --- ---
ISBN: 0198500483 Year: 2000 Publisher: Oxford : Oxford university press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Mathematical logic : a course with exercises
Authors: --- ---
ISBN: 0198500491 0198500513 9780198500490 Year: 2000 Publisher: Oxford: Oxford university press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 96 << page
of 10
>>
Sort by