Roger Penrose : collected works /

Roger Penrose : collected works /

Includes bibliographical references

书目详细资料
主要作者:	Penrose, Roger, author
格式:
语言:	eng
出版:	Oxford ; New York : Oxford University Press, 2011
主题:	Mathematical physics Logic, Symbolic and mathematical Physics

相似书籍

Mathematical logic : collected works of A. M. Turing /
由: 450742 Turing, Alan Mathison, et al.
出版: (2001)

Foundational studies : selected works /
由: 355713 Mostowski, Andrzej
出版: (1979)

Jan Lukasiewicz : selected works /
由: 457497 Lukassiewicz, Jan, et al.
出版: (1970)

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /
由: De Alcantara, Luiz Paulo
出版: (1985)

Understanding Mathematical Logic and its Applications /
由: Swafford, Brenden, author 648092
出版: (2012)

A First Course in Logic /
由: Lawson, Mark V., author
出版: (2019)

Logic, methodology and philosophy of science IV : proceedings /
由: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), et al.
出版: (1973)

Mantik : penggunaan dalam pendidikan matematik dan pemikiran /
由: Zaidatun Tasir, 1972-
出版: (1995)

Computation, logic, philosophy : a collection of essays /
由: 263016 Wang, Hao
出版: (1990)

Transition to higher mathematics : structure and proof /
由: 222490 Dumas, Bob A., et al.
出版: (2007)

Symbolic logic /
由: 372615 Jacquette, Dale
出版: (2001)

Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996 /
由: Asian Logic Conference (6th. : 1996 : Beijing, China), et al.
出版: (1998)

Handbook of Spatial Logics [electronic resource] /
由: Aiello, Marco, et al.
出版: (2007)

Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa /
出版: (c201)

Introduction to mathematical logic /
出版: (2012)

Mathematics and mathematical logic : new research /
由: Milosav, Peter, et al.
出版: (c201)

A concise introduction to pure mathematics /
由: Liebeck, M. W. (Martin W.), 1954-
出版: (c201)

Introduction to mathematical logic /
由: 341948 Mendelson, Elliott
出版: (c201)

Logic and structure /
由: Dalen, D. van (Dirk), 1932-
出版: (2004)

Lectures on mathematical logic /
由: 314449 Felscher, Walter
出版: (2000)

Logic coach III plus : symbolic logic / [cakera padat]
由: 194067 Pole, Nelson, et al.
出版: (2001)

Introduction to mathematical logic /
由: 341948 Mendelson, Elliott
出版: (1997)

A concise introduction to pure mathematics /
由: Liebeck, M. W. (Martin W.), 1954-
出版: (2006)

The mathematics of logic : a guide to completeness theorems and their applications /
由: 186853 Kaye, Richard
出版: (2007)

Logic, sets, and recursion /
由: 332434 Causey, Robert L.
出版: (2006)

A course on mathematical logic /
由: Srivastava, S. M. (Shashi Mohan), et al.
出版: (2008)

Mathematical logic for computer science /
由: 288973 Ben-Ari, Mordechai
出版: (2003)

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedings /
由: Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), et al.
出版: (2008)

Logic as algebra /
由: 181502 Halmos, Paul, et al.
出版: (1998)

The oxford handbook of philosophy of mathematics and logic /
由: Shapiro, Stewart, 1951-
出版: (2005)

A four-flagged lemma
由: Sertel, Murat R.
出版: (2009)

CABAL Seminar 76-77 : proceedings, Caltech - UCLA Logic Seminar 1976-77 /
由: Kechris, A. S.
出版: (1978)

Combinatory logic /
由: 351193 Curry, Haskell Brooks, et al.
出版: (1974)

Mathematical logic /
由: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
出版: (1978)

Proceedings of the summer school and colloqium in mathematical logic /
由: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), et al.
出版: (1969)

Languages, logic and mathematics /
由: Kilmister, C. W. (Clive William)
出版: (1967)

Mathematical foundation of programming /
由: 390126 Beckman, Frank S.
出版: (1980)

Conference in Mathematical Logic, Bedford College, London, 24-28th Aug, 1970 : Proceedings /
由: Conference in Mathematical Logic (1970 : Bedford College, London), et al.
出版: (1972)

Logic of mathematics : a modern course of classical logic /
由: 454206 Adamowicz, Zofia, et al.
出版: (1997)