Електронна книга > Наука > Математика > Petr Hajek & Pavel Pudlak: Metamathematics of First-Order Arithmetic (PDF)

Petr Hajek & Pavel Pudlak
Metamathematics of First-Order Arithmetic

Підтримка

Обкладинка Petr Hajek & Pavel Pudlak: Metamathematics of First-Order Arithmetic (PDF)

€182.18

Мова Англійська ● Формат PDF ● ISBN 9781316731734 ● Видавець Cambridge University Press ● Опубліковано 2017 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 5307734 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Petr Hajek Pavel Pudlak

47 391 Електронні книги в цій категорі

Обкладинка David Alfredo Baez Villegas & David Baez-Lopez: Introduction to Python

David Alfredo Baez Villegas & David Baez-Lopez: Introduction to Python

Introduction to Python: with Applications in Optimization, Image and Video Processing, and Machine Learning is intended primarily for advanced undergraduate and graduate students in quantitative …

Обкладинка David A. Burton & Adam Noble: A Geometrical Approach to Physics

David A. Burton & Adam Noble: A Geometrical Approach to Physics

This book provides an accessible introduction to using the tools of differential geometry to tackle a wide range of topics in physics, with the concepts developed through numerous examples to help th …

Обкладинка Stephen Lynch: A Simple Introduction to Python

Stephen Lynch: A Simple Introduction to Python

A Simple Introduction to Python is aimed at pre-university students and complete novices to programming. The whole book has been created using Jupyter notebooks. After introducing Python as a powerfu …

Обкладинка P. Mohana Shankar: Differential Equations

P. Mohana Shankar: Differential Equations

The book takes a problem solving approach in presenting the topic of differential equations. It provides a complete narrative of differential equations showing the theoretical aspects of the problem …

Обкладинка Rasajit Kumar (Department of Science, NITTTR, Kolkata, India) Bera & Arabinda (Department of Applied Mathematics, University of Calcutta, Kolkata, INDIA) Roy: Linear and Non-Linear Deformations of Elastic Solids

Rasajit Kumar (Department of Science, NITTTR, Kolkata, India) Bera & Arabinda (Department of Applied Mathematics, University of Calcutta, Kolkata, INDIA) Roy: Linear and Non-Linear Deformations of Elastic Solids

Linear and Non-Linear Deformations of Elastic Solids aims to compile the advances in the field of linear and non-linear elasticity through discussion of advanced topics. Broadly classified into two p …

Обкладинка G.E. Vekstein: Physics of Continuous Media

G.E. Vekstein: Physics of Continuous Media

This textbook is based on lectures and tutorials given for several years at the Physics Department of Novosibirsk State University. It is constructed as a set of problems followed by detailed …

Обкладинка Ana (University of Exeter, UK) Rodrigues: One-Dimensional Dynamical Systems

Ana (University of Exeter, UK) Rodrigues: One-Dimensional Dynamical Systems

For almost every phenomenon in physics, chemistry, biology, medicine, economics, and other sciences, one can make a mathematical model that can be regarded as a dynamical system. One-Dimensional Dyna …

Обкладинка Ranjan (Viasat Inc., Phoenix, USA) Ganguli: Isospectral Vibrating Systems

Ranjan (Viasat Inc., Phoenix, USA) Ganguli: Isospectral Vibrating Systems

This book presents an isospectral approach for several important mechanical vibrating systems. Discrete and continuous isospectral systems are discussed using a simple multi-degree of freedom spring- …

Обкладинка Ali Ahmadian & Soheil Salahshour: Soft Computing Approach for Mathematical Modeling of Engineering Problems

Ali Ahmadian & Soheil Salahshour: Soft Computing Approach for Mathematical Modeling of Engineering Problems

This book describes different mathematical modeling and soft computing techniques used to solve practical engineering problems. It gives an overview of the current state of soft computing techniques …

Обкладинка Barbara Di Eugenio & Davide Fossati: Intelligent Support for Computer Science Education

Barbara Di Eugenio & Davide Fossati: Intelligent Support for Computer Science Education

Intelligent Support for Computer Science Education presents the authors’ research journey into the eﬀectiveness of human tutoring, with the goal of developing educational technology that can be used …

Наступна сторінка >>>