adicionar à lista de desejos
A Short Introduction To Intuitionistic Logic
language: english
Publisher:
SPRINGER-VERLAG NEW YORK INC., April of 2013 ‧
see product details
177,78€
10% OFF
CARD
VTNKemRVUjRValZpWW04Mk4wYzJlbFl4VUhKTmRuSklTbFptTjJWMldtWnZNSEZNTjBaWWJsUlNjeXRWU0VOdlEyaE1LM0FyY1cxWmJHeGFaRVJ3UkZZMFluQjJkRWRKT1hFdlEzZHFMekYxVkN0MFoyOUpNak5JZG5VNWVtNHdhVlpPY2s1clYyVldSa2RRUVM5eGNUSllVVFpETmxWcWMyeE9PU3RSTWt0SVpWaEdhSFp1VVc5bFZHSkRibk16ZFVWbk9YYzVPVmxQYkZVd1VsTnhWM0oxWW5oVlNuZ3hNVE0xVnpCS2FsbFBNeXRHWkhkamFXSk5SMnhoY0ZCelMwODBVbUoyYW1NeWVVeGFRVTFMYlc1aFNtcDRkVUpEV0hrMlJWY3JMMDFKVWpWT1YxQkNNVmc0U1VoVWVsbzFUME5aV21WV1kzUnRkakl6WjJkMldqVllPVkJ6ZDJReFpHdENTREJzVkZsb2QwNHdaa2h0VVc5c2VsRkNkbFZ4Y0hoUlVXd3daR3BNZUdFMVMyOUVOMmMyWlhsdE5XUktNRlYzSzB3clpHTmxOVVJDWm10NFIyTkhjR05hWkVjMlRucFZOM3BWUlc0dlZIZG1NakY0ZG01RksxUTNheko0U2tVME1EQjNORE14U1VVdk9UQndZVEJRVURBcmRXeEthRE5EVDAxSGFURjVWV1ZFWm13eVRVZHhTbVZxUzFSU2NEVllXbWxuSzNoeFVXTlpVVTFEVVhGUGNTOVBLMlJQYVhJeVpTc3JhVkl3YUhScWVYWkVUVlJyVEZOQmJrRXZhVFpHVjBWQ2FXczRRbGRwUm1kclNWUklVVE56VW5GeGRXWlFjR1V2VVZOc2JYaFRkRVo1VVVsak5VaEhkeTlHVERkdGIxRXJkbGRtUVZoNGNFSjZhMkptVFd3dmNtcEtUMnBDYjNKT1FWSm1PRm8xWlhwcVprOWxURVpNWXk4d1JFazJla1JxUjJWRmFGTmxkMEoyZEV4VlVFaFljMEl5V0RWQ1VqVjRibkIwU1U5cVFVaENWMWtyVnprMUsybGFVbXRFTjBOaVlYSnlhVE5aYVdNeVJuaEtSR1ZpUTIxUE0zUTJNMWgyVnpseVFqUXZXRWRSVlVsbGN6aDRUMGhTVFZZMldIbEtha3BYYmtWTFdDdFNZMlUwZURKNldtUTNOMWMzTURGa2VtbzBhRTFNY2k5MU1qUlNjMUJPWm5KVWFsUTRRV1kyWldKdVpsRlpWVTFKVDFGb1FYRjZValJxTVZobmJVODViRXBDWjJ3cllqSTFaMDVtYWxwdU9HcGFPSGRvZVd0ckswRktZMEpaUnpoWFIxUTRTMmcwTTFwcVIxZHhVME0xYVc4dmVUWmlhMU5XUjNVd1EycHBaejA5OjZrR2xQajZIcS9neHJ5TzVsSFVtSmc9PQ==
free shipping
Sell your book
SYNOPSIS
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781475773194 |
| Publisher: | SPRINGER-VERLAG NEW YORK INC. |
| Release Date: | April of 2013 |
| Language: | English |
| Dimensions: | 155 x 235 x 20 mm |
| Cover: | Softcover |
| Pages: | 131 |
| Format: | Book |
| Collection: | University Series In Mathematics |
| Categories: |
Books in English
>
Social Sciences and Humanities
>
Philosophy
|
| EAN: | 9781475773194 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Elliptic Differential Equations And Obstacle ProblemsSPRINGER US237,84€ 10% CARD
-
eBook10%Matrix Theory: A Second CourseSPRINGER US118,59€ 10% CARD
-
10%A Short Introduction To Intuitionistic LogicSpringer Science+Business Media166,28€ 10% CARDfree shipping