Practical Foundations

Lots more to add from list in Everything Flows.

TITT

@book{book:694889,

title = {Treatise on Intuitionistic Type Theory},

author = {Johan Georg Granström},

publisher = {Springer},

isbn = {9400717350,9789400717350},

year = {2011},

series = {Logic, Epistemology, and the Unity of Science 22},

edition = {},

volume = {},

url = {http://gen.lib.rus.ec/book/index.php?md5=F54C47275837DBC876940E067DB9FF0E}

}

https://intuitionistic.wordpress.com/works-on-martin-lofs-type-theory/

@book{book:1123078,
title = {Introduction to higher-order categorical logic},
author = {Lambek J., Scott P.J.},
publisher = {Cambridge University Press},
isbn = {0521356539},
year = {1994},
series = {Cambridge Studies in Advanced Mathematics},
edition = {4pr.},
volume = {},
url = {http://gen.lib.rus.ec/book/index.php?md5=4fe3e9b95b89c7aeb6bc81733fafd735}
}

@book{book:1198602,
title = {The Logical Foundations of Mathematics},
author = {William S. Hatcher and Mario Bunge (Auth.)},
publisher = {Elsevier Ltd, Pergamon Press},
isbn = {978-0-08-025800-3,008025800X},
year = {1982},
series = {Foundations and philosophy of science and technology},
edition = {1st},
volume = {},
url = {http://gen.lib.rus.ec/book/index.php?md5=47d24a4d6effa1c2639008d757af2afa}
}

Advertisements

One thought on “Practical Foundations

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

w

Connecting to %s