The divine proportion a study in mathematical beauty

The divine proportion a study in mathematical beauty

Bibliographic Details
Main Author:	Huntley, H. E.
Format:	Book
Language:	English
Published:	New York Dover Publications 1970
Subjects:	Μαθηματικά > Γενικές αρχές Λογική, Συμβολική και μαθηματική

Similar Items

The continuum and other types of serial order
by: Huntington, Edward V.
Published: (1917)

Introduction to the foundations of mathematics
by: Wilder, Raymond Louis 1896-1982
Published: (1965)

Foundations of mathematics questions of analysis,geometry & algorithmics
by: Engeler, Erwin
Published: (1983)

Schaum's outline of theory and problems of discrete mathematics
by: Lipschutz, Seymour
Published: (1976)

Computability and complexity from a programming perpective
by: Jones, Neil D.
Published: (1997)

A first course in formal logic and its applications in computer science
by: Dowsing, R.D
Published: (1986)

First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1996)

The resolution calculus /
by: Leitsch, Alexander
Published: (1997)

Teaching and learning formal methods
Published: (1996)

Arithmetic complexity of computations
by: Winograd, Shmuel
Published: (1980)

Computing in Horn clause theories
by: Padawitz, Peter
Published: (1988)

Introduction to the theory of computation
by: Sipser, Michael
Published: (1996)

Introduction to the theory of computation
by: Sipser, Michael
Published: (1996)

Unconventional models of computation
Published: (1998)

The limits of mathematics a course on information theory and limits of formal reasoning
by: Chaitin, Gregory J.
Published: (1998)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2008)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2012)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2007)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2020)

Foundations of abstract mathematics
by: Kurtz, David C.
Published: (1992)

DNA computing new computing paradigms
by: Paun, G.
Published: (1998)

The search for certainty a philosophical account of foundations of mathematics
by: Gianquinto, M. ((Marcus))
Published: (2002)

Proofs and refutations the logic of mathematical discovery
by: Lakatos, Imre
Published: (1976)

Proofs and refutations the logic of mathematical discovery
by: Lakatos, Imre
Published: (1981)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
by: Keisler, H. Jerome
Published: (1971)

Discrete mathematics mathematical reasoning and proof with puzzles, patterns and games
by: Ensley, Douglas E.
Published: (2006)

Computability and logic
by: Boolos, George S.
Published: (2002)

Four colours suffice how the map problem was solved
by: Wilson, Robin J.
Published: (2002)

Τα θεμέλια των μαθηματικών /
by: Stewart, Ian, 1945-
Published: (2020)

Mathematics the study of axiom systems
by: Witter, G. E.
Published: (1964)

A formalization of set theory without variables
by: Tarski, Alfred
Published: (1987)

A guide to classical and modern model theory
by: Marcja, A. ((Annalisa)), et al.
Published: (2003)

The principles of mathematics revisited
by: Hintikka, Jaakko, 1929-
Published: (1998)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
by: Gödel, Kurt
Published: (1940)

Modern uses of multiple-valued logic invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
Published: (1977)

Introduction to Logic and to the methology of deductive sciences
by: Tarski, Alfred
Published: (1965)

Computability and unsolvability
by: Davis, Martin, 1928-
Published: (1982)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)

Model-theoretic logics
Published: (1985)

Logic and discrete mathematics a computer science perspective
by: Grassmann, Winfried Karl
Published: (1996)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών