Proof in geometry/

Proof in geometry/

41

Opis bibliograficzny
1. autor:	240194 Fetisov, A. I.
Format:
Wydane:	Boston : D C Heath, 1963
Hasła przedmiotowe:	Geometry Logic, Symbolic and mathematical

Podobne zapisy

Mistakes in geometric proofs/
od: 424568 Dubnov, Ya. S.
Wydane: (1963)

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry /
od: Bucur, Ionel, 1930-1976
Wydane: (1984)

Logic : proof
od: Open University. Mathematics Foundation Course Team
Wydane: (1971)

Transition to higher mathematics : structure and proof /
od: 222490 Dumas, Bob A., i wsp.
Wydane: (2007)

Proofs and refutations : the logic of mathematical discovery /
od: 339570 Lakatos, Imre, i wsp.
Wydane: (1976)

How to read and do proofs : an introduction to mathematical thought processes /
od: 419318 Solow, Daniel
Wydane: (1990)

Proofs and types /
od: 291662 Girard, Jean-Yves, i wsp.
Wydane: (1989)

What logics mean : from proof theory to model-theoretic semantics /
od: Garson, James W., 1943-
Wydane: (2013)

BUILDING PROOFS : A Practical Guide /
od: 209827 Oliveira, Suely, i wsp.
Wydane: (2016)

Granularity analysis for tutoring mathematical proofs /
od: Schiller, Marvin R. G. 525500
Wydane: (2011)

Introduction to mathematical proofs : a transition /
od: Roberts, Charles E., 1942-
Wydane: (2009)

Intuitionism and proof theory : proceedings /
od: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), i wsp.
Wydane: (1970)

Conditional and preferential logics : proof methods and theorem proving /
od: 518526 Pozzato, Gian Luca
Wydane: (c201)

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
od: Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-
Wydane: (c201)

How to read and do proofs : an introduction to mathematical thought processes /
od: 419318 Solow, Daniel
Wydane: (2005)

Logic, proof and sets /
od: 388844 Bittinger, Marvin L.
Wydane: (1982)

Non-algebraic Zariski geometries
od: Sustretov, D
Wydane: (2012)

Proof, logic and conjecture : the mathematician's toolbox /
od: 267708 Wolf, Robert S
Wydane: (1998)

Foundations of geometry & induction
od: 447333 Nicod, Jean

A course in mathematical logic /
od: Manin, Iu I
Wydane: (1977)

Logic, methodology and philosophy of science IV : proceedings /
od: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), i wsp.
Wydane: (1973)

Mantik : penggunaan dalam pendidikan matematik dan pemikiran /
od: Zaidatun Tasir, 1972-
Wydane: (1995)

Mathematical logic in Latin America : proceedings of the 4th Latin America Symposium on mathematical logic /
od: Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile), i wsp.
Wydane: (1980)

Mathematical logic /
od: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), i wsp.
Wydane: (1978)

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

Studies in constructive mathematics and mathematical logic /
od: 321705 Slisenko, A. O.
Wydane: (1970)

Studies in constructive mathematics and mathematical logic /
od: 321705 Slisenko, A. O.
Wydane: (1971)

Studies in constructive mathematics and mathematical logic /
od: 321705 Slisenko, A. O.
Wydane: (1969)

Logic for mathematicians /
od: 391265 Hamilton, A. G.
Wydane: (1988)

Cambridge summer school in mathematical logic /
od: Mathias, A. R. D., i wsp.
Wydane: (1973)

Introduction to symbolic logic /
od: 389591 Basson, A. H., i wsp.
Wydane: (1957)

A four-flagged lemma
od: Sertel, Murat R.
Wydane: (2009)

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

Combinatory logic /
od: 351193 Curry, Haskell Brooks, i wsp.
Wydane: (1974)

Symbolic logic /
od: 372615 Jacquette, Dale
Wydane: (2001)

Proceedings of the summer school and colloqium in mathematical logic /
od: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), i wsp.
Wydane: (1969)

Languages, logic and mathematics /
od: Kilmister, C. W. (Clive William)
Wydane: (1967)

Mathematical foundation of programming /
od: 390126 Beckman, Frank S.
Wydane: (1980)

Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996 /
od: Asian Logic Conference (6th. : 1996 : Beijing, China), i wsp.
Wydane: (1998)

Conference in Mathematical Logic, Bedford College, London, 24-28th Aug, 1970 : Proceedings /
od: Conference in Mathematical Logic (1970 : Bedford College, London), i wsp.
Wydane: (1972)