adicionar à lista de desejos
Mathematical Logic eBook
Foundations For Information Science
language: english
Publisher:
Birkhauser Basel, February of 2010 ‧
see product details
71,54€
10% OFF
CARD
UWxSd1N6aGtZVzVMVjJaT2ExUkZZbUpKV2psWGFIcEVhMEZCYm1OdVVXMVFWRXB6VDI5dWNrVjJSV3RTYjJOUlVTdDBaVVk0Ulc5VGEyOWtWR0ZQVkdKUVYwcEdXVlJSYUhKTGFXMW5ia1kxY21acWNVVnpNMG8wYm5kdUwwTnpjMU5MY1hobGFFTXZWM28zYjJ4T1dVNTBXVmRpYTNWUFYweHBZbEZIZUZSbVltUnRSMUZaZUVWNldFRnFkamRVU0ZSVmR6VnVWVXc1YWxaMmF6azRTM1UwWVdaSmEyZHZURVZ4Y1dkNmMyaFVZVVpVVTBGRk1teDNNMjh5VlZVM1NrcHhWSEpGYTNnMmVIRnhjVXh0Ykd0M1UwNTRSbkJRZG5rMGNrMU9TSE5VWjJWa1JHcFJPVVlyWTI1aFozaFZhMVl6UmxFeGJ6VkVZaTl0UkV4SVYydFZUa3A0V2paSGRrNDRRbmRvTUZKelVFSlRTRnBXWldaak1HaExXVVJYVFc5RE1FNTZlVTFXTUdoc01sWTRaVzk1UlZWRVVVUnVPR3BXZGxkNlRqUTRZbUpuU0hWUFdqWjFiMWREZG1SNGFtNVRSekJzWkVKUWNIUjBXREkyTkc4clNVdEhWME0xVkZsMGQyUkRjVFU0VTNWdVozcFRRbXhMWVc5cVExQldWRkJEUzFOclZGRnlTekJhVW05WGRsTlFVM1ZESzBkMk9VeGlkbEJ5UVdZMFNWRndhMEZtUzBGc0szSjZhMHRETURoR1Z6a3lkamsyTjFRdlVrOWpNMHBPVGxST1kyTjNhMmRhVDB4eFVFVnlTamRvTWt0WldXOVlkRk5GZERjelJFVlVSMHRuVVZwQ1FXb3pXblpGVTJ0RldraDZVMUJtVW1WRGVFcDRUa281VEd4TU5FRkRTakJ1YzJSMllUZDVNVWR4UkhCUlFsQk1ZMmhLUmpWT1dGaGhNWE5HY25Zd1kwNVRlR05MT1hRNFpWWjBOalpzV21GdVRVZGlOMUJvYVdjdlVISTNka001TlZGb1NGWlhTR0ZpU1RGMlUyNU5WV3RWZUVaNU0xWTNWalJCTVd4M2FIaExSWFZJVmxZd1MwRlZiVVkwUldzck9VeFZPR0ZzUVVKcmRqSkJUREEzVGxKTWQxVkJUak01YUZVNVVHYzBla1ZyYWtaU1IwcFVhRTV0U0dSWFJFSmFZblJpVVRCWVMxbHVZMUZ1Y1hncmRuVnViM0l2ZEhOM01XYzBNV001ZUVaNVoweDRkVEpQV1VVeFNXcEVObVJXTWpWRWFXTnlka3RtZDJWdmVWcDVjMlE0UFE9PTpvS2JuaXZQTHczVEVEMUZMSzZUeHBnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Presents basic principles and formal calculus of mathematical logic systematically. This book covers the core contents of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9783764399771 |
| Publisher: | Birkhauser Basel |
| Release Date: | February of 2010 |
| Language: | English |
| Format: | eBook |
| Collection: | Progress In Computer Science And Applied Logic |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9783764399771 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Temporal Type TheorySpringer International Publishing145,09€ 10% CARD
-
10%Communism And Nationalism In Postwar Cyprus, 1945-1955Springer International Publishing AG60,82€ 10% CARDfree shipping
-
10%Recent Development Of Alternating Current Field Measurement Combine With New TechnologySPRINGER VERLAG, SINGAPORE54,74€
60,82€free shipping -
10%R-Calculus, Iv: Propositional LogicSPRINGER VERLAG, SINGAPORE182,49€
202,77€free shipping