Skip to content
NovaLib
  • Sample Page
  • library
NovaLib
  • Sample Page
Library / Notes on constructive mathematics

File hashes

MD5
df7f0f107aad09a25bd6bac38c0a7050
SHA1
8262dbc42ffff81defe238c8a36f4dac1fd8becc
SHA256
d5280d493843cdc801c106100216edb4 0bb85e173bdc6650f8fea585e136db32
AICH
SEOF434LW42IOMGQCVM7NLAGRHEGV5JX
CRC32
d951535e
eDonkey
10ac6052039dcdaddc75ba56b2cf58e8
TTH
JJSC7PFEFMN52V6NGYHSXDKVTVLNSLBCKGRXZGY

Available files

  • PDF

Download Link

Direct link IPFS Cloudflare Pinata
ENGLISH

Notes on constructive mathematics

By Per Martin-Lof

Book information

Publisher
Almqvist & Wiksell
Year
1970
Language
english
Format
PDF
Filesize
31 MB (32637516 bytes)
Pages
\54
Time added
2022-10-31 15:50:58

Similar books

Notes on Constructive Mathematics

Notes on Constructive Mathematics

1970 · PDF

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

1985 · PDF

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

PDF

COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings

COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings

1990 · DJVU

Intuitionistic type theory

Intuitionistic type theory

1985 · DJVU

Intuitionistic Type Theory

Intuitionistic Type Theory

1985 · DJVU

MySQL® Notes for Professionals book

MySQL® Notes for Professionals book

2018 · PDF

MrExcel 2022: Boosting Excel

MrExcel 2022: Boosting Excel

2022 · PDF

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme