Sách điện tử > Khoa học > Toán > Petr Hajek & Pavel Pudlak: Metamathematics of First-Order Arithmetic (PDF)

Petr Hajek & Pavel Pudlak
Metamathematics of First-Order Arithmetic

Ủng hộ

Bìa của Petr Hajek & Pavel Pudlak: Metamathematics of First-Order Arithmetic (PDF)

€182.18

Ngôn ngữ Anh ● định dạng PDF ● ISBN 9781316731734 ● Nhà xuất bản Cambridge University Press ● Được phát hành 2017 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 5307734 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Petr Hajek Pavel Pudlak

47.391 Ebooks trong thể loại này

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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- …

Bìa của 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 …

Bìa của 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 …

Trang tiếp theo >>>