Posted by **libr** at Oct. 7, 2017

English | 1993 | ISBN: 0821845764 | ISBN-13: 9780821845769 | 153 pages | DJVU | 1,6 MB

Posted by **arundhati** at Aug. 17, 2017

2011 | ISBN-10: 0521115817 | 376 pages | PDF | 2 MB

Posted by **interes** at March 7, 2014

English | 1993 | ISBN: 0821845764 | ISBN-13: 9780821845769 | 153 pages | DJVU | 1,6 MB

The aim of this work is to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories.

Posted by **manamba13** at Feb. 21, 2015

English | 2011 | ISBN: 0262015862 | 178 Pages | PDF | 6 MB

In The Tarskian Turn, Leon Horsten investigates the relationship between formal theories of truth and contemporary philosophical approaches to truth.

Posted by **arundhati** at June 30, 2013

2011 | ISBN: 0262015862 | 178 pages | PDF | 5,5 MB

Posted by **Jeembo** at June 22, 2018

English | 2001 | ISBN: 0805840451 | 480 Pages | PDF | 53.2 MB

Written by one of the masters of the foundation of measurement, Louis Narens' new book thoroughly examines the basis for the measurement-theoretic concept of meaningfulness and presents a new theory about the role of numbers and invariance in science.

Posted by **AvaxGenius** at Sept. 25, 2017

English | PDF | 2014 | 410 Pages | ISBN : 3319017292 | 6.94 MB

Focusing methodologically on those historical aspects that are relevant to supporting intuition in axiomatic approaches to geometry, the book develops systematic and modern approaches to the three core aspects of axiomatic geometry: Euclidean, non-Euclidean and projective. Historically, axiomatic geometry marks the origin of formalized mathematical activity.

Posted by **DZ123** at Feb. 20, 2018

English | 2016 | ISBN: 3319402188 | PDF | pages: 221 | 2.3 mb

Posted by **AvaxGenius** at Jan. 6, 2018

English | PDF | 2006 | 180 Pages | ISBN : 3540308326 | 2.51 MB

Written in the tradition of G. Ludwig’s groundbreaking works, this book aims to clarify and formulate more precisely the fundamental ideas of physical theories. By introducing a basic descriptive language of simple form, in which it is possible to formulate recorded facts, ambiguities of physical theories are avoided as much as possible. In this approach the field of physics that should be described by a theory is determined by basic concepts only, i.e. concepts that can be explained without a theory.

Posted by **ChrisRedfield** at Nov. 21, 2017

Published: 2005-11-10 | ISBN: 0195178777 | PDF | 732 pages | 10.19 MB