Matches in Wikidata for { <http://www.wikidata.org/entity/Q120429690> ?p ?o ?g. }
Showing items 1 to 31 of
31
with 100 items per page.
- Q120429690 name "Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 8" @default.
- Q120429690 type Item @default.
- Q120429690 label "Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 8" @default.
- Q120429690 prefLabel "Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 8" @default.
- Q120429690 P136 Q120429690-7E7A73F9-601B-4F1F-8EB7-3DDDF2E21AD3 @default.
- Q120429690 P1433 Q120429690-B7460CC8-D7F5-4E61-8402-4F0BC10960E6 @default.
- Q120429690 P1476 Q120429690-559E0AAF-5F18-42BF-B08C-BB3021F4513C @default.
- Q120429690 P2093 Q120429690-9F9EF578-9278-4108-893E-1A6D13991988 @default.
- Q120429690 P304 Q120429690-AB71D865-CB50-4874-9756-7D6BBAD473B9 @default.
- Q120429690 P31 Q120429690-4F2B6E3D-B018-494A-8AFD-4368546E60EC @default.
- Q120429690 P356 Q120429690-03F726BA-C592-41E6-8DF0-24D1138DDD60 @default.
- Q120429690 P433 Q120429690-8BE79BF3-23BC-48E4-929B-A3FBE2809545 @default.
- Q120429690 P478 Q120429690-B9F95498-0F7D-47F3-B236-C48A12A4C3A2 @default.
- Q120429690 P577 Q120429690-94AC2CF5-B258-48F8-96A3-FD539012D660 @default.
- Q120429690 P6104 Q120429690-51E1BFBC-4F68-46B6-8816-C54A9729D247 @default.
- Q120429690 P6977 Q120429690-890102A3-0D9F-4E7D-8447-AE69B9DF8617 @default.
- Q120429690 P921 Q120429690-2EFFA648-0446-404E-9705-80F31A131367 @default.
- Q120429690 P356 2271271 @default.
- Q120429690 P136 Q637866 @default.
- Q120429690 P1433 Q6295979 @default.
- Q120429690 P1476 "Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 8" @default.
- Q120429690 P2093 "J. A. Robinson" @default.
- Q120429690 P304 "119-119" @default.
- Q120429690 P31 Q13442814 @default.
- Q120429690 P356 "10.2307/2271271" @default.
- Q120429690 P433 "1" @default.
- Q120429690 P478 "32" @default.
- Q120429690 P577 "1967-06-01T00:00:00Z" @default.
- Q120429690 P6104 Q8487137 @default.
- Q120429690 P6977 Q120429476 @default.
- Q120429690 P921 Q11538 @default.