Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Herman Geuvers - Typentheorie und formaler Beweis eine Einführung - neu - J555z

Ø 0.0

0 Bewertungen

113,88 €

This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs.

Jetzt bei Ebay:

Zum Angebot *

Fiction/Non-Fiction:

Non-Fiction
Genre/Subject:

COMPUTERS / Machine Theory
Brand:

Cambridge University Press
Weight:

0.94
Style:

NA
Title:

Type Theory and Formal Proof An Introduction
Release Title:

Type Theory and Formal Proof An Introduction
Record Grading:

New
Sleeve Grading:

New
Platform:

NA
Size:

NA
Film/TV Title:

Type Theory and Formal Proof An Introduction
Colour:

NA
Material:

NA
Department:

NA
Binding Type:

Hardcover
Item Length:

244.09
Main Stone:

NA
Metal Purity:

NA
Metal:

NA
Connectivity:

NA
Model:

NA
ISBN:

9781107036505

Expressversand:

International Priority Shipping 14,20 EUR - Lieferung zwischen 05. June 2025 und 11. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Großbritannien, Antigua und Barbuda, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Spanien, Schweden, Australien, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Israel, Hongkong, Norwegen, Indonesien, Malaysia, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Thailand, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Aruba, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Bahamas, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam, USA
Versand ausgeschlossen:

Postfach , Laos , Afghanistan , Armenien , Aserbaidschan , Bhutan , Georgien , Indien , Kasachstan , Kirgisistan , ... und weitere